help.html: assume even padding started out odd.

diff --git a/basis/help/html/html.factor b/basis/help/html/html.factor
index a69a92706de9d13aa62394ba872165361f8649fd..c0d1f02c73902a2aa53982c26b28ca64fd35775d 100644 (file)
--- 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 b41604c8634aa70cdedf684d9d36d58fa72f5666..e53a8471ebd58b7db7f3fd0b1703b84173957536 100644 (file)
--- 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 {