]> gitweb.factorcode.org Git - factor.git/commitdiff
help.html: use help-header-background color exactly.
authorJohn Benediktsson <mrjbq7@gmail.com>
Tue, 11 Jan 2022 04:51:05 +0000 (20:51 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Tue, 11 Jan 2022 04:51:05 +0000 (20:51 -0800)
basis/help/html/html.factor

index 1f49bc567f16f1f687a0b5e6d25886abf7efeda8..88d90db65dc42355ef4302b86a88abfc7c6cc299 100644 (file)
@@ -123,12 +123,12 @@ M: pathname url-of
     dup [
         [ ".a" head? ] [ "#f3f2ea;" swap subseq? ] bi and
     ] find [
-        "background-color: #f3f2ea;" "background-color: #f5eed6;" replace
+        "background-color: #f3f2ea;" "background-color: #f4efd9;" replace
         "padding: 10px;" "padding: 15px;" replace
         "}" ?tail drop
         " border-bottom: 1px solid #ccc; width: calc(100% + 30px); margin: -15px; }"
         append swap pick set-nth
-        ".a tr:hover { background-color: #f5eed6; }" prefix
+        ".a tr:hover { background-color: #f4efd9; }" prefix
     ] [ drop ] if* ;
 
 : css-classes ( classes -- stylesheet )