]> gitweb.factorcode.org Git - factor.git/commitdiff
help.html: inverse dashed colors
authorJohn Benediktsson <mrjbq7@gmail.com>
Mon, 30 Jan 2023 06:53:37 +0000 (22:53 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 30 Jan 2023 06:53:50 +0000 (22:53 -0800)
basis/help/html/html.factor

index 113c832ae2c508b294fa998c16249c2e6a35028a..a9b7aac1bd903a06bb9372ddd75b645f90bc6313 100644 (file)
@@ -211,6 +211,7 @@ M: pathname url-of
                         { "#333333;" "#d5d5d5;" }
                         { "#373e48;" "#ffffff;" }
                         { "#8b4500;" "orange;" }
+                        { "#d5d5d5;" "#666;" }
                         { "#e3e2db;" "#444444;" }
                         { "white;" "#202124;" }
                         { "black;" "white;" }