From 994ecb655ba5c5d5c1ef4b0a4324be5ff0b8c930 Mon Sep 17 00:00:00 2001
From: John Benediktsson <mrjbq7@gmail.com>
Date: Wed, 26 Feb 2020 10:03:35 -0800
Subject: [PATCH] help.html: assume even padding started out odd.

---
 basis/help/html/html.factor    | 4 ++--
 basis/help/html/stylesheet.css | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/basis/help/html/html.factor b/basis/help/html/html.factor
index a69a92706d..c0d1f02c73 100644
--- a/basis/help/html/html.factor
+++ b/basis/help/html/html.factor
@@ -99,8 +99,8 @@ M: pathname url-of
 
     R/ padding: \d+px;/ [
         "padding: " ?head drop "px;" ?tail drop
-        string>number dup even? [ 1 + ] when 2 * number>string
-        "padding: " "px;" surround
+        string>number dup even? [ 2 * 1 + ] [ 2 * ] if
+        number>string "padding: " "px;" surround
     ] re-replace-with ;
 
 : css-classes ( classes -- stylesheet )
diff --git a/basis/help/html/stylesheet.css b/basis/help/html/stylesheet.css
index b41604c863..e53a8471eb 100644
--- a/basis/help/html/stylesheet.css
+++ b/basis/help/html/stylesheet.css
@@ -28,8 +28,8 @@ img {
 
 table {
     border-collapse: collapse;
-    margin-top: 10px;
-    margin-bottom: 10px;
+    margin-top: 5px;
+    margin-bottom: 5px;
 }
 
 tr:hover {