]> gitweb.factorcode.org Git - factor.git/commit
help.html: more css changes
authorJohn Benediktsson <mrjbq7@gmail.com>
Tue, 28 Jun 2022 17:41:27 +0000 (10:41 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Tue, 28 Jun 2022 17:41:27 +0000 (10:41 -0700)
commitdf96aba69203125821f1212f49e9e20c7af498ba
tree89a40c50b353a4bdb47571c023494685778f2275
parent3279067f6cc61c5333f339735b2ec50747de6fed
help.html: more css changes
basis/help/html/html.factor
basis/help/html/stylesheet.css
extra/websites/factorcode/master.css