]> gitweb.factorcode.org Git - factor.git/commit
help.html: some style fixes
authorJohn Benediktsson <mrjbq7@gmail.com>
Tue, 31 Jan 2023 06:09:58 +0000 (22:09 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Tue, 31 Jan 2023 06:10:14 +0000 (22:10 -0800)
commita545482669c8b1c1690ed8a23255a71ae68e2484
tree1b9fd4aa28ec6b1ed5f0fd61f23e8259ff5f23c3
parent554b2834debc1a4fe7d529b5b05db5ef17d6abd4
help.html: some style fixes
basis/help/html/html.factor
basis/help/html/stylesheet.css