Add horizontal scrollbar to TOC when required

MapServer · Aug 17, 2023 · 3b53a91 · 3b53a91
1 parent 1b653a6
commit 3b53a91
Show file tree

Hide file tree

Showing 3 changed files with 12 additions and 7 deletions.
diff --git a/_static/custom.css b/_static/custom.css
@@ -0,0 +1,11 @@
+/*
+    Added for MapScript API docs
+*/
+
+table.align-default {
+    margin-left: 0px;
+}
+
+div.sphinxsidebarwrapper {
+    overflow-y: scroll;
+}
diff --git a/_static/sphinx.css b/_static/sphinx.css
@@ -284,10 +284,3 @@ div.service-provider {
 span.pre {
     font-family: 'Consolas', 'Menlo', 'DejaVu Sans Mono', 'Bitstream Vera Sans Mono';
 }
-
-/*
-    Added for MapScript API docs
-*/
-table.align-default {
-    margin-left: 0px;
-}
diff --git a/conf.py b/conf.py
@@ -162,6 +162,7 @@ def __getattr__(cls, name):
 html_last_updated_fmt = '%Y-%m-%d'
 
 html_css_files = [
+    'custom.css',
     'ribbon.css'
 ]