help.html: tweak the navbar a bit.

diff --git a/basis/help/html/html.factor b/basis/help/html/html.factor
index 0a428172cd970cf762680b986ff4878368675bdd..410520821839a94d0f27607ef02e0edc238c493c 100644 (file)
--- a/basis/help/html/html.factor
+++ b/basis/help/html/html.factor
@@ -76,11 +76,12 @@ M: pathname url-of
     [XML
         <div class="navbar">
         <b> Factor Documentation </b> |
-        <a href="/">Home</a> |
-        <a href=<->>Glossary</a> |
+        <a href="http://factorcode.org">Factor</a>
+        <a href="/">Home</a>
+        <a href=<->>Glossary</a>
         <form method="get" action="/search" style="display:inline;">
-            <input name="search" type="text"/>
-            <button type="submit">Search</button>
+            <input placeholder="Search" name="search" type="text"/>
+            <input type="submit" value="Go"/>
         </form>
         <a href="http://factorcode.org" style="float:right; padding: 4px;">factorcode.org</a>
         </div>

diff --git a/basis/help/html/stylesheet.css b/basis/help/html/stylesheet.css
index 4d1f56375b1ebb63e9044dcd5103a45f1d86b280..411de0620db2cc76fd7eab3d194fd1b737a293e4 100644 (file)
--- a/basis/help/html/stylesheet.css
+++ b/basis/help/html/stylesheet.css
@@ -17,6 +17,12 @@ a:visited { text-decoration: none; color: #104e8b; }
 a:active { text-decoration: none; color: #104e8b; }
 a:hover { text-decoration: underline; color: #104e8b; }
 
+input {
+    border: 1px solid #999999;
+    font-size: smaller;
+    border-radius: 3px;
+}
+
 .navbar {
     background-color: #f3f2ea;
     padding: 10px;
@@ -24,6 +30,12 @@ a:hover { text-decoration: underline; color: #104e8b; }
     font: 12pt sans-serif;
 }
 
+.navbar a {
+    border-right: 1px solid #999;
+    padding-right: 10px;
+    margin-right: 5px;
+}
+
 .page {
     font-size: 120%;
     margin: 20px;