]> gitweb.factorcode.org Git - factor.git/commit
webapps.help: more borders
authorJohn Benediktsson <mrjbq7@gmail.com>
Sun, 19 Jun 2022 04:21:31 +0000 (21:21 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sun, 19 Jun 2022 04:21:31 +0000 (21:21 -0700)
commit464fc88bf0f4b29053f412fbe536dd9118ff4045
tree756b8e990c0b3b27ccd129fcc866d41d9e4716ad
parentb2f2a10a61e5be1ae36896fcd187d68b874b9a28
webapps.help: more borders
extra/webapps/help/search.css