]> gitweb.factorcode.org Git - factor.git/commit
help.html: fix nav header padding
authorJohn Benediktsson <mrjbq7@gmail.com>
Thu, 2 Feb 2023 04:20:20 +0000 (20:20 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Thu, 2 Feb 2023 04:20:20 +0000 (20:20 -0800)
commitc6c845f073335dc59f0aa80cf84e24aa4df8b709
treeb70092e5b763e1ce449317ba5286ffae2a48411f
parent262d318c924413b63709b2bacdc4e318de66cc87
help.html: fix nav header padding
basis/help/html/html.factor