]> gitweb.factorcode.org Git - factor.git/commitdiff
help.html: no need to change background-color now
authorJohn Benediktsson <mrjbq7@gmail.com>
Tue, 11 Jan 2022 17:56:15 +0000 (09:56 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Tue, 11 Jan 2022 17:56:15 +0000 (09:56 -0800)
basis/help/html/html.factor
basis/help/html/stylesheet.css

index 1c41f694ca346ba7bc7607f1e5a05d0312122a51..ddc491ca3597200896549714cfd5c37fb8290849 100644 (file)
@@ -136,9 +136,8 @@ M: pathname url-of
 
 : fix-help-header ( classes -- classes )
     dup [
-        [ ".a" head? ] [ "#f3f2ea;" swap subseq? ] bi and
+        [ ".a" head? ] [ "#f4efd9;" swap subseq? ] bi and
     ] find [
-        "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; }"
index 0bc89019b0e3f60ec3266f834c48e216e5f33cbf..74a313874b5d3f5735366c75cbf9426eb77142c9 100644 (file)
@@ -6,7 +6,7 @@ html {
     box-sizing: inherit;
 }
 
-a, .link { color: #104e8b; }
+a, .link { color: #2A5DB0; }
 a:link, a:visited, a:active, .link { text-decoration: none; }
 a:hover, .link:hover { text-decoration: underline; }