webman: Remove colored list bullets

Fixes ocaml#10671.
wikku · Oct 2, 2021 · f78d2c0 · f78d2c0
1 parent e0d1668
commit f78d2c0
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 16 deletions.
diff --git a/manual/src/html_processing/scss/_common.scss b/manual/src/html_processing/scss/_common.scss
@@ -249,16 +249,6 @@ html {
     margin-left:-1em
 }
 
-@mixin disc {
-    content:"●";
-    color:$logocolor;
-    margin-right:4px;
-    margin-left:-1em;
-    font-family: $font-sans;
-    font-size:13px;
-    vertical-align:1px;
-}
-
 @mixin diamond {
     content:"◆";
     color:$logocolor;

diff --git a/manual/src/html_processing/scss/manual.scss b/manual/src/html_processing/scss/manual.scss
@@ -23,7 +23,7 @@
 	}
     }
     ul{list-style:none;}
-    ul.itemize li::before{@include disc;}
+    ul.itemize { list-style: initial; }
 
     /* When the TOC is repeated in the main content */
     ul.ul-content {
@@ -44,7 +44,6 @@
     ul{
 	list-style: none;
 	li {
-	    margin-left: 0.5ex;
 	    span {
 		color:#c88b5f;
 	    }
@@ -54,10 +53,7 @@
 	}
     }
     /* only for Contents/Foreword in index.html: */
-    ul.ul-content li::before{
-	@include disc;
-	margin-left: 0;
-    }
+    ul.ul-content { list-style: initial; }
     /* table of contents: (manual.001.html): */
     ul.toc ul.toc ul.toc{
 	font-size:smaller;