help.html: cleanup nav

diff --git a/basis/help/html/html.factor b/basis/help/html/html.factor
index 03de5a4eb88d030e41bccf05e8da85e2792a4666..aba0d61f95696aa6f03b5fd4438f11ed0dc09a15 100644 (file)
--- a/basis/help/html/html.factor
+++ b/basis/help/html/html.factor
@@ -95,17 +95,15 @@ M: pathname url-of
     "conventions" >link topic>filename
     [XML
         <nav>
-            <div class="navrow">
-                <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>
-            </div>
+            <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] ;
 

diff --git a/basis/help/html/stylesheet.css b/basis/help/html/stylesheet.css
index a8b32ef2c826a71bd5e3fac36722c9807c96a431..4333efe04d2726fecd8076662365e4a456cdee12 100644 (file)
--- a/basis/help/html/stylesheet.css
+++ b/basis/help/html/stylesheet.css
@@ -44,18 +44,16 @@ tr:hover {
 nav {
     border-bottom: 1px solid #ccc;
     background-color: #f5f5f5;
+    padding: 10px;
+    padding-left: calc(max(50% - 500px, 10px));
 }
 
-.navrow {
-    max-width: 800px;
-    position: relative;
-    left: calc(max(-400px,-50%) + 50%);
-    margin: 0;
-    padding: 10px 15px 10px 15px;
+nav a, nav .link {
+    margin-right: 5px;
 }
 
-.navrow a {
-    margin-right: 10px;
+nav img {
+    vertical-align: middle;
 }
 
 .page {