help.html: more space below $code blocks

mrjbq7 · Aug 22, 2023 · 1c4ec36 · 1c4ec36
1 parent cd42332
commit 1c4ec36
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/basis/help/html/html.factor b/basis/help/html/html.factor
@@ -171,7 +171,7 @@ M: pathname url-of
     ] re-replace-with
 
     R/ font-family: monospace;/ [
-        " margin-top: 0.5em; width: fit-content; white-space: pre-wrap; line-height: 125%;" append
+        " margin-top: 0.5em; margin-bottom: 0.5em; width: fit-content; white-space: pre-wrap; line-height: 125%;" append
     ] re-replace-with ;
 
 : fix-help-header ( classes -- classes )