Add overflow: scroll (#761)

FEniCS · Jan 4, 2024 · 6528ccc · 6528ccc
1 parent 6c5bd40
commit 6528ccc
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 0 deletions.
diff --git a/doc/web/assets/sty.css b/doc/web/assets/sty.css
@@ -14,3 +14,6 @@
 
 .fenicsnav {display:inline-block;font-size:20px;padding:0px 15px}
 
+.sphinxsidebarwrapper {
+    overflow: scroll
+}
diff --git a/doc/web/make_html.py b/doc/web/make_html.py
@@ -130,6 +130,10 @@ def system(command):
 template = template.replace("!!</p>", "!!")
 template = template.replace("=\"/", "=\"https://fenicsproject.org/")
 template = template.replace("(/assets", "(https://fenicsproject.org/assets")
+template = template.replace(
+    "/assets/css/customsty.css\">",
+    "/assets/css/customsty.css\">\n"
+    "   <link rel=\"stylesheet\" type=\"text/css\" href=\"/assets/sty.css\">")
 
 intro, outro = template.split("!!CONTENT!!")