@@ -417,4 +417,4 @@ h6:hover .jp-InternalAnchorLink {
.jp-RenderedPDF {
font-size: var(--jp-ui-font-size1);
-}
+}