update lists

tildearrow · Sep 10, 2023 · b93b9c9 · b93b9c9
1 parent 72cf852
commit b93b9c9
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/res/docpdf/make_paper.py b/res/docpdf/make_paper.py
@@ -131,6 +131,15 @@ def fix_headings(match):
           code {
             font-family: 'IBM Plex Mono';
           }
+          ul {
+            padding-left: 4pt;
+            margin-right: 4pt;
+            list-style-type: none;
+          }
+          li:before {
+            content: '-';
+            padding-right: 3pt;
+          }
           h1 {
             hyphens: none;
             text-align: left;