From c283fd42f1e65b92eb217a36b2002ca5d55635e4 Mon Sep 17 00:00:00 2001
From: John Benediktsson <mrjbq7@gmail.com>
Date: Sat, 6 Aug 2022 17:47:11 -0700
Subject: [PATCH] help.html: cleanup nav

---
 basis/help/html/html.factor    | 20 +++++++++-----------
 basis/help/html/stylesheet.css | 14 ++++++--------
 2 files changed, 15 insertions(+), 19 deletions(-)

diff --git a/basis/help/html/html.factor b/basis/help/html/html.factor
index 03de5a4eb8..aba0d61f95 100644
--- 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 a8b32ef2c8..4333efe04d 100644
--- 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 {
-- 
2.34.1