help.html: making search box have first tab index
authorJohn Benediktsson <mrjbq7@gmail.com>
Fri, 26 Aug 2022 21:22:37 +0000 (14:22 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Fri, 26 Aug 2022 21:28:03 +0000 (14:28 -0700)
commit4f53e9aeeee799bd13ba16d7546da755e103c15a
tree3d71e235559a88884873852873b146bcea562dc6
parentcda1e5f9ad1d6b55077b7a88f18e89e882e8ffef
help.html: making search box have first tab index
basis/help/html/html.factor