Style ol as well as ul in navbar (#2164)

brucemiller · Jul 25, 2023 · 817856a · 817856a
1 parent 24b27a5
commit 817856a
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 0 deletions.
diff --git a/doc/latexmldoc.css b/doc/latexmldoc.css
@@ -20,6 +20,7 @@ body { margin:0; background:#cfd2e6; color:#000000; }
    position:absolute; left:240px;
    margin:0 20px 0 0; padding:0;
  }
+.ltx_page_navbar ol,
 .ltx_page_navbar ul {
    list-style:none;
    margin:0 0 0 15px; padding:0;

diff --git a/lib/LaTeXML/resources/CSS/LaTeXML-navbar-left.css b/lib/LaTeXML/resources/CSS/LaTeXML-navbar-left.css
@@ -4,6 +4,7 @@
     display:block!important; position:fixed; left:0px; top:0px; width:170px;
     margin:0em; padding:1em; font: bold 75% sans-serif; 
     border: 3px double; overflow-y: auto; max-height: 95vh; }
+.ltx_page_navbar ol,
 .ltx_page_navbar ul {
     margin-left:-2em; }
 .ltx_page_main {

diff --git a/lib/LaTeXML/resources/CSS/LaTeXML-navbar-right.css b/lib/LaTeXML/resources/CSS/LaTeXML-navbar-right.css
@@ -3,6 +3,7 @@
 .ltx_page_navbar {
     display:block!important; position:fixed; left:80%; top:0px; width:20%;
     margin:0em; padding:1em; font: bold 75% sans-serif; overflow-y: auto; max-height: 95vh; }
+.ltx_page_navbar ol,
 .ltx_page_navbar ul {
     margin-left:-2em; }
 .ltx_page_main {