toc style

ga4gh · Mar 5, 2024 · 727ecbe · 727ecbe
1 parent c0c5d24
commit 727ecbe
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 0 deletions.
diff --git a/docs/stylesheets/extra.css b/docs/stylesheets/extra.css
@@ -0,0 +1,4 @@
+/* TOC by default theme has too much space between list items*/
+.toc ul {
+    line-height: 1.0;
+  }
diff --git a/mkdocs.yml b/mkdocs.yml
@@ -49,6 +49,9 @@ theme:
     # - navigation.tabs
     - navigation.top
 
+extra_css:
+  - stylesheets/extra.css
+
 markdown_extensions:
   - pymdownx.highlight:
       use_pygments: true