]> gitweb.factorcode.org Git - factor.git/commit
help.html: better navbar on iPhone.
authorJohn Benediktsson <mrjbq7@gmail.com>
Fri, 22 May 2020 17:03:39 +0000 (10:03 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Fri, 22 May 2020 17:03:39 +0000 (10:03 -0700)
commit802bb073b053605638b1cc350adb2e47e41c75aa
tree240ad3706093fa73f8e3c38a5bd5439d64566b72
parente2fa0a6392717c6458097836540d351def70b4f0
help.html: better navbar on iPhone.
basis/help/html/html.factor
basis/help/html/stylesheet.css