]> gitweb.factorcode.org Git - factor.git/commit
help.html: larger fonts
authorJohn Benediktsson <mrjbq7@gmail.com>
Tue, 28 Jun 2022 02:39:39 +0000 (19:39 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Tue, 28 Jun 2022 02:39:53 +0000 (19:39 -0700)
commit5b8fa73d190e5cc4e2fadecef9d85492f92058f0
treeb178a79e72d8022d353c768b5d1d6a23421b0b02
parentf3144b148d6956041ec63088833eba1e3c464848
help.html: larger fonts
basis/help/html/html.factor
basis/help/html/stylesheet.css