New jokes.

2019-10-30 00:31:14 +01:00
parent 12e659935c
commit 8d5c9c708f
2 changed files with 31 additions and 6 deletions
--- a/site/style.css
+++ b/site/style.css
@@ -97,6 +97,9 @@ dd {
  margin-left: 1.5em;
 }

+hr {
+  margin-top: 1em;
+}

 pre {
  margin-top: 0.8em;