]> gitweb.factorcode.org Git - factor.git/commit
help.html: tweak styles
authorJohn Benediktsson <mrjbq7@gmail.com>
Thu, 2 Feb 2023 02:48:43 +0000 (18:48 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Thu, 2 Feb 2023 02:48:43 +0000 (18:48 -0800)
commit262d318c924413b63709b2bacdc4e318de66cc87
tree18c6d964294bcb28d1ba8941be33991dbf214582
parentede254060cc9c45bf948ba89201c1710ae9df54f
help.html: tweak styles
basis/help/html/html.factor
basis/help/html/stylesheet.css