help.html: a bit more padding

diff --git a/basis/help/html/html.factor b/basis/help/html/html.factor
index f2bd621e40c769089d3f27abb64fb01960161c53..f39aa2b46083466c8ab06c00647569f0296a6e99 100644 (file)
--- a/basis/help/html/html.factor
+++ b/basis/help/html/html.factor
@@ -158,6 +158,12 @@ M: pathname url-of
         "font-size: %dpt;" sprintf
     ] re-replace-with
 
+    R/ padding: \d+px;/ [
+        "padding: " ?head drop "px;" ?tail drop
+        string>number 2 * number>string
+        "padding: " "px;" surround
+    ] re-replace-with
+
     R/ width: \d+px;/ [
        drop ""
     ] re-replace-with
@@ -170,7 +176,7 @@ M: pathname url-of
     dup [
         [ ".a" head? ] [ "#f4efd9;" subseq-of? ] bi and
     ] find [
-        "padding: 5px;" "" replace
+        "padding: 10px;" "" replace
         "background-color: #f4efd9;" "" replace
         "}" ?tail drop
         " border-bottom: 1px dashed #d5d5d5; width: 100%; padding-top: 10px; padding-bottom: 10px; }"

diff --git a/extra/webapps/pastebin/pastebin.css b/extra/webapps/pastebin/pastebin.css
index f9e75c921af46c40cbbc2b3711c763d4f2244ded..e5ade797dd9f88f6b357e77203606f83ac9b4130 100644 (file)
--- a/extra/webapps/pastebin/pastebin.css
+++ b/extra/webapps/pastebin/pastebin.css
@@ -11,7 +11,7 @@ textarea {
 pre.code {
     border: 1px solid #dbdbdb;
     background-color: #f7f7f7;
-    padding: 5px;
+    padding: 10px;
     color: black;
 }
 

diff --git a/extra/websites/factorcode/master.css b/extra/websites/factorcode/master.css
index 79b3f4269e878bc595b913b724d25e417d84cbef..730b09d1b7e73769ff9b457fbc1ac02af4805cd1 100644 (file)
--- a/extra/websites/factorcode/master.css
+++ b/extra/websites/factorcode/master.css
@@ -31,7 +31,7 @@ img {
 pre {
     background-color: #f7f7f7;
     border: 1px solid #dbdbdb;
-    padding: 5px;
+    padding: 10px;
     margin-top: 10px;
     font-size: smaller;
     width: 100%;