]> gitweb.factorcode.org Git - factor.git/commit
help.html: set footer font size
authorJohn Benediktsson <mrjbq7@gmail.com>
Wed, 19 Jan 2022 23:33:30 +0000 (15:33 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Wed, 19 Jan 2022 23:33:30 +0000 (15:33 -0800)
commit2f73b92e776d47116fe685af4e315b16f9ae6723
tree910c181289156198f211d861f19d0f5b97d47d67
parentb151ad615cb23f7be34f9a3d3cc1111b4762f093
help.html: set footer font size
basis/help/html/stylesheet.css