]> gitweb.factorcode.org Git - factor.git/commit
help.html: bit more style
authorJohn Benediktsson <mrjbq7@gmail.com>
Tue, 28 Jun 2022 03:08:44 +0000 (20:08 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Tue, 28 Jun 2022 03:08:44 +0000 (20:08 -0700)
commit3175af6a779e9f112c9cc8fb7f7cb930ac4061ca
tree1c4877c05a81be5abc9fcca1d353f9e235e5065c
parent98c7791732b4857aed2161e0a21c43543c9757ee
help.html: bit more style
basis/help/html/html.factor
basis/help/html/stylesheet.css