]> gitweb.factorcode.org Git - factor.git/commitdiff
help.html: go back to previous code colors
authorJohn Benediktsson <mrjbq7@gmail.com>
Tue, 7 Feb 2023 04:46:57 +0000 (20:46 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Tue, 7 Feb 2023 04:46:57 +0000 (20:46 -0800)
basis/help/html/html.factor

index 47b4d58114b21656060467afdd6dd4c684e7de53..f39aa2b46083466c8ab06c00647569f0296a6e99 100644 (file)
@@ -164,10 +164,6 @@ 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