]> gitweb.factorcode.org Git - factor.git/commit
help.html: default font size should be 12pt, less line-height for pre.
authorJohn Benediktsson <mrjbq7@gmail.com>
Fri, 28 Feb 2020 05:44:32 +0000 (21:44 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Fri, 28 Feb 2020 05:44:32 +0000 (21:44 -0800)
commit086269ba3475070ccd8934f260e0093e923aa827
tree3cc56c11ac0c003c96f23e374ce00d0356603158
parent2379d27950f14f0501741af5d64258bb58792bd9
help.html: default font size should be 12pt, less line-height for pre.
basis/help/html/html.factor