]> gitweb.factorcode.org Git - factor.git/commit
help.html: change fixed font-size to relative.
authorJohn Benediktsson <mrjbq7@gmail.com>
Mon, 17 Feb 2020 22:50:30 +0000 (14:50 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 17 Feb 2020 22:50:30 +0000 (14:50 -0800)
commitff35f79f3e36465a3d8406acc2c16caa206070af
tree324d6f1cd26b18004a31c039fa2156ad1ab7be8b
parentc8e4d9fa692b15a0457efebb3d646a5d81462ebb
help.html: change fixed font-size to relative.
basis/help/html/html.factor