]> gitweb.factorcode.org Git - factor.git/commit
help.html: tweak the navbar a bit.
authorJohn Benediktsson <mrjbq7@gmail.com>
Fri, 14 Feb 2020 05:43:24 +0000 (21:43 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Fri, 14 Feb 2020 05:43:24 +0000 (21:43 -0800)
commitba81ca3fa6785e1939b3981f7eeffa3562290c40
treee2ac3d6515a77f5f9bbeb8d275ffa80d53dc28cd
parentd890f410bf78adb85534e433f162be74374bb709
help.html: tweak the navbar a bit.
basis/help/html/html.factor
basis/help/html/stylesheet.css