From 150c6a6554fca1925ef6e450c263ab6c79499acc Mon Sep 17 00:00:00 2001
From: John Benediktsson <mrjbq7@gmail.com>
Date: Fri, 22 May 2020 10:14:28 -0700
Subject: [PATCH] help.html: adding back the link to factorcode.org.

It should probably be a cool logo or something...
---
 basis/help/html/html.factor    |  1 +
 basis/help/html/stylesheet.css | 13 +++++++++++++
 2 files changed, 14 insertions(+)

diff --git a/basis/help/html/html.factor b/basis/help/html/html.factor
index 07a507a7eb..433c467eba 100644
--- a/basis/help/html/html.factor
+++ b/basis/help/html/html.factor
@@ -86,6 +86,7 @@ M: pathname url-of
         <form method="get" action="/search" style="float: right;">
             <input placeholder="Search" name="search" type="text"/>
             <input type="submit" value="Go"/>
+            <a href="//factorcode.org">factorcode.org</a>
         </form>
         </div>
      XML] ;
diff --git a/basis/help/html/stylesheet.css b/basis/help/html/stylesheet.css
index d0b1805fd9..0bc89019b0 100644
--- a/basis/help/html/stylesheet.css
+++ b/basis/help/html/stylesheet.css
@@ -54,6 +54,12 @@ tr:hover {
     margin-right: 10px;
 }
 
+.navbar form a {
+    margin-left: 10px;
+    font-size: 1.0em;
+    font-weight: bold;
+}
+
 #container {
     max-width: 800px;
 }
@@ -77,3 +83,10 @@ tr:hover {
         width: 100px;
     }
 }
+
+@media screen and (max-width: 600px) {
+
+    .navbar form a {
+        display: none;
+    }
+}