help.html: switch to light gray code blocks

diff --git a/basis/help/html/html.factor b/basis/help/html/html.factor
index f39aa2b46083466c8ab06c00647569f0296a6e99..47b4d58114b21656060467afdd6dd4c684e7de53 100644 (file)
--- a/basis/help/html/html.factor
+++ b/basis/help/html/html.factor
@@ -164,6 +164,10 @@ M: pathname url-of
         "padding: " "px;" surround
     ] re-replace-with
 
+    R/ background-color: #f3f2ea;/ [
+        drop "background-color: #f7f7f7;"
+    ] re-replace-with
+
     R/ width: \d+px;/ [
        drop ""
     ] re-replace-with