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 {