From 364f4facf3819356e213eaaf41ddf9733c4ec6a4 Mon Sep 17 00:00:00 2001
From: John Benediktsson <mrjbq7@gmail.com>
Date: Thu, 27 Feb 2020 13:15:53 -0800
Subject: [PATCH] help.html: make these match new wiki css.

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

diff --git a/basis/help/html/html.factor b/basis/help/html/html.factor
index c0d1f02c73..76f87a58e8 100644
--- a/basis/help/html/html.factor
+++ b/basis/help/html/html.factor
@@ -74,13 +74,15 @@ M: pathname url-of
     "conventions" >link topic>filename
     [XML
         <div class="navbar">
-        <a href="http://factorcode.org">factorcode.org</a>
         <a href="/">Handbook</a>
         <a href=<->>Glossary</a>
         <form method="get" action="/search" style="display:inline;">
             <input placeholder="Search" name="search" type="text"/>
             <input type="submit" value="Go"/>
         </form>
+        <div style="float: right;">
+        <a href="http://factorcode.org"><b>factorcode.org</b></a>
+        </div>
         </div>
      XML] ;
 
@@ -131,7 +133,7 @@ M: pathname url-of
     [
         [ print-topic ] with-html-writer css-styles-to-classes
         [ help-stylesheet help-navbar ] dip
-        [XML <-><div class="page"><-></div> XML]
+        [XML <div id="container"><-><div class="page"><-></div></div> XML]
     ] bi simple-page ;
 
 : generate-help-file ( topic -- )
diff --git a/basis/help/html/stylesheet.css b/basis/help/html/stylesheet.css
index e53a8471eb..2d5d64efb2 100644
--- a/basis/help/html/stylesheet.css
+++ b/basis/help/html/stylesheet.css
@@ -11,10 +11,14 @@ body, h1, h2, h3, h4, h5, h6, p, ol, ul {
     padding: 0;
 }
 
-a:link { text-decoration: none; color: #104e8b; }
-a:visited { text-decoration: none; color: #104e8b; }
-a:active { text-decoration: none; color: #104e8b; }
-a:hover { text-decoration: underline; color: #104e8b; }
+a, .link { color: #104e8b; }
+a:link, a:visited, a:active, .link { text-decoration: none; }
+a:hover, .link:hover { text-decoration: underline; }
+
+body {
+    font-family: sans-serif;
+    line-height: 140%;
+}
 
 input {
     border: 1px solid #999999;
@@ -37,20 +41,19 @@ tr:hover {
 }
 
 .navbar {
-    background-color: #f3f2ea;
-    padding: 10px;
+    margin: 0;
+    padding: 15px;
     border-bottom: 1px solid #ccc;
-    font-family: sans-serif;
 }
 
 .navbar a {
-    border-right: 1px solid #999;
-    padding-right: 10px;
-    margin-right: 5px;
+    margin-right: 10px;
+}
+
+#container {
+    max-width: 800px;
 }
 
 .page {
-    margin: 20px;
-    max-width: 800px;
-    line-height: 140%;
+    margin: 15px;
 }