help.html: more space below $code blocks

diff --git a/basis/help/html/html.factor b/basis/help/html/html.factor
index 426ef60fea581fcfff1d1122601843b7c803ad6b..806acf7d38ef048553036713457a30ecf1cb4757 100644 (file)
--- 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 )