deploy: 97b019b

Eudicods · Oct 24, 2023 · 94e4d7e · 94e4d7e
1 parent 0548f8d
commit 94e4d7e
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/style.css b/style.css
@@ -71,6 +71,10 @@ nav.TOC a, nav.TOC a:visited {
   font-size: 100%;
 }
 
+li {
+  margin-bottom: 0.5em;
+}
+
 /* *** Colors *** */
 
 body {