]> gitweb.factorcode.org Git - factor.git/commit
help.html: softer search box.
authorJohn Benediktsson <mrjbq7@gmail.com>
Fri, 5 Aug 2022 23:53:59 +0000 (16:53 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Fri, 5 Aug 2022 23:53:59 +0000 (16:53 -0700)
commitc31ebe33c515c4f83bf6aee28478a9eafd4dc820
tree73e1cbb6c04dbb4df6b70fc49d02add943997be1
parentc5475012af6d40d9fc576f179d6603247e7c5117
help.html: softer search box.
basis/help/html/stylesheet.css