]> gitweb.factorcode.org Git - factor.git/commitdiff
help.html: dark gray footer text
authorJohn Benediktsson <mrjbq7@gmail.com>
Tue, 11 Jan 2022 21:44:09 +0000 (13:44 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Tue, 11 Jan 2022 21:44:09 +0000 (13:44 -0800)
basis/help/html/html.factor

index ddc491ca3597200896549714cfd5c37fb8290849..014eaa32460f30a6b5e3120112e2eb35b591e9ab 100644 (file)
@@ -96,7 +96,7 @@ M: pathname url-of
     version-info "\n" split1 drop
     [XML
         <br />
-        <p style="font-size: smaller;">
+        <p style="color: #666; font-size: smaller;">
         This documentation was generated offline from a
         <code>load-all</code> image.  If you want, you can also
         browse the documentation from within the <a
@@ -104,7 +104,7 @@ M: pathname url-of
         the <a href="https://factorcode.org">Factor website</a>
         for more information.
         </p>
-        <p style="font-size: smaller;"><-></p>
+        <p style="color: #666; font-size: smaller;"><-></p>
     XML] ;
 
 : bijective-base26 ( n -- name )