changed to garamond

2023-03-24 14:58:03 -04:00
parent d5f4a8402e
commit c5b5f367c6
2 changed files with 6 additions and 6 deletions
@@ -5,7 +5,7 @@
    white-space: pre-wrap;
    padding: 0.10em;
    font-size: 1.0em;
-    line-height: 1.4em;
+    line-height: 1.5em;
 }

 .highlight .hll {