help.html: adding back the link to factorcode.org.

It should probably be a cool logo or something...

diff --git a/basis/help/html/html.factor b/basis/help/html/html.factor
index 07a507a7ebedc6e36c3da7ba627c67ecd025b993..433c467ebab420f9a9c36bb1f51a1a6dfe311f4c 100644 (file)
--- 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 d0b1805fd9887b49a0cdb39c0eae817967d4fd0f..0bc89019b0e3f60ec3266f834c48e216e5f33cbf 100644 (file)
--- 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;
+    }
+}