]> gitweb.factorcode.org Git - factor.git/commit
help.html: a bit more padding
authorJohn Benediktsson <mrjbq7@gmail.com>
Thu, 2 Feb 2023 04:30:34 +0000 (20:30 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Thu, 2 Feb 2023 04:30:34 +0000 (20:30 -0800)
commit6475d935b1f6504c017e5a51442336341769c94d
tree7b12d19304b7703e9b137175b0753157a7fb1b2e
parentc6c845f073335dc59f0aa80cf84e24aa4df8b709
help.html: a bit more padding
basis/help/html/html.factor
extra/webapps/pastebin/pastebin.css
extra/websites/factorcode/master.css