]> gitweb.factorcode.org Git - factor.git/commit
help.html: make search box bigger
authorJohn Benediktsson <mrjbq7@gmail.com>
Sun, 29 Jan 2023 19:34:11 +0000 (11:34 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sun, 29 Jan 2023 19:34:11 +0000 (11:34 -0800)
commit646f21cf483dae95a4874f5b2a3bac0c09e1b9e7
treeb8fae7eda4d32973ef5b999db8f1bb841a12b900
parentb6ab87a18193622474f7a7b983b580810bb132c2
help.html: make search box bigger
basis/help/html/stylesheet.css