Remove excessive indentation of sidebar on top page

modelica · Jan 7, 2021 · 0f74988 · 0f74988
1 parent 20c1921
commit 0f74988
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/css/MLS-navbar-left.css b/css/MLS-navbar-left.css
@@ -71,6 +71,10 @@ nav > div.ltx_TOC {
   padding: 0em;
 }
 
+.ltx_tocentry_document > ul.ltx_toclist {
+  padding: 0em;
+}
+
 .ltx_toclist ul {
   padding-left: 1em; /* Indentation of each table of contents level below the top. */
 }