help.html: better navbar on iPhone.

diff --git a/basis/help/html/html.factor b/basis/help/html/html.factor
index 3a6b65b1520a6facb2ff202dcbfc23ffb27ec6dd..07a507a7ebedc6e36c3da7ba627c67ecd025b993 100644 (file)
--- a/basis/help/html/html.factor
+++ b/basis/help/html/html.factor
@@ -83,13 +83,10 @@ M: pathname url-of
         <div class="navbar">
         <a href="/">Handbook</a>
         <a href=<->>Glossary</a>
-        <form method="get" action="/search" style="display:inline;">
+        <form method="get" action="/search" style="float: right;">
             <input placeholder="Search" name="search" type="text"/>
             <input type="submit" value="Go"/>
         </form>
-        <div style="float: right;">
-            <a href="//factorcode.org"><b>factorcode.org</b></a>
-        </div>
         </div>
      XML] ;
 

diff --git a/basis/help/html/stylesheet.css b/basis/help/html/stylesheet.css
index 803af0c8f02d359b9f495736378e3cbb813fa780..d0b1805fd9887b49a0cdb39c0eae817967d4fd0f 100644 (file)
--- a/basis/help/html/stylesheet.css
+++ b/basis/help/html/stylesheet.css
@@ -18,8 +18,12 @@ body {
 
 input {
     border: 1px solid #999999;
-    font-size: smaller;
     border-radius: 3px;
+    font-size: 1.0em;
+}
+
+input[type=text] {
+    width: 200px;
 }
 
 img {
@@ -62,3 +66,14 @@ tr:hover {
     width: 16px;
     height: 16px;
 }
+
+@media screen and (max-width: 480px) {
+
+    input {
+        font-size: smaller;
+    }
+
+    input[type=text] {
+        width: 100px;
+    }
+}