]> gitweb.factorcode.org Git - factor.git/commit
help.html: more padding
authorJohn Benediktsson <mrjbq7@gmail.com>
Sun, 7 Aug 2022 19:38:32 +0000 (12:38 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sun, 7 Aug 2022 19:38:32 +0000 (12:38 -0700)
commit58a7a85ff39dd826c21f60de6042aa43e4d2c2e9
tree612fd7710ef77b5fe3e2ab0b9e964adac9a4ebf7
parentac36fb857e6f2fddf97c8d72b0f5f63af9f1975c
help.html: more padding
basis/help/html/stylesheet.css