]> gitweb.factorcode.org Git - factor.git/commit
help.stylesheet: provide a mechanism to adjust the help fonts.
authorJohn Benediktsson <mrjbq7@gmail.com>
Tue, 7 Aug 2012 15:36:16 +0000 (08:36 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Tue, 7 Aug 2012 15:36:16 +0000 (08:36 -0700)
commit7e616a4d55787621e3b6a4adb6e213a7727ce857
tree446994bf4ef324be271fcdd11838942ac7181b02
parent463e9dafb2af5b5aad819d3a3e1642d7cdfa8cc6
help.stylesheet: provide a mechanism to adjust the help fonts.
basis/help/stylesheet/stylesheet.factor