help.html: specify tabindex

[factor.git] / basis / help / html / html.factor

diff --git a/basis/help/html/html.factor b/basis/help/html/html.factor
index 156e97810a4e304a66e03a4c276bff05fd623168..d179b3ef3ac402be630b87d165cf67a007c65a43 100644 (file)
--- a/basis/help/html/html.factor
+++ b/basis/help/html/html.factor
@@ -95,15 +95,15 @@ M: pathname url-of
     "conventions" >link topic>filename
     [XML
         <nav>
+            <form method="get" action="/search" style="float: right;">
+                <input placeholder="Search" name="search" type="text" tabindex="1" />
+                <input type="submit" value="Go" tabindex="1" />
+            </form>
             <a href="https://factorcode.org">
             <img src="favicon.ico" width="24" height="24" />
             </a>
             <a href="/">Handbook</a>
             <a href=<->>Glossary</a>
-            <form method="get" action="/search" style="float: right;">
-                <input placeholder="Search" name="search" type="text"/>
-                <input type="submit" value="Go"/>
-            </form>
         </nav>
      XML] ;
 
@@ -165,7 +165,7 @@ M: pathname url-of
         "padding: 10px;" "padding: 0px;" replace
         "background-color: #f4efd9;" "background-color: white;" replace
         "}" ?tail drop
-        " border-bottom: 1px dashed #ccc; width: 100%; padding-top: 15px; padding-bottom: 10px; }"
+        " border-bottom: 1px dashed #d5d5d5 width: 100%; padding-top: 15px; padding-bottom: 10px; }"
         append swap pick set-nth {
             ".a a { color: black; font-size: 24pt; line-height: 100%; }"
             ".a * a { color: #2a5db0; font-size: 12pt; }"
@@ -186,7 +186,7 @@ M: pathname url-of
                     >string H{
                         { "#000000;" "#bdc1c6;" }
                         { "#2a5db0;" "#8ab4f8;" }
-                        { "#333333;" "#cccccc;" }
+                        { "#333333;" "#d5d5d5;" }
                         { "#373e48;" "#ffffff;" }
                         { "#8b4500;" "orange;" }
                         { "#e3e2db;" "#444444;" }