Skip to content
Permalink
Browse files

help.html: tweak the navbar a bit.

  • Loading branch information
mrjbq7 committed Feb 14, 2020
1 parent d890f41 commit ba81ca3fa6785e1939b3981f7eeffa3562290c40
Showing with 17 additions and 4 deletions.
  1. +5 −4 basis/help/html/html.factor
  2. +12 −0 basis/help/html/stylesheet.css
@@ -76,11 +76,12 @@ M: pathname url-of
[XML
<div class="navbar">
<b> Factor Documentation </b> |
<a href="/">Home</a> |
<a href=<->>Glossary</a> |
<a href="http://factorcode.org">Factor</a>
<a href="/">Home</a>
<a href=<->>Glossary</a>
<form method="get" action="/search" style="display:inline;">
<input name="search" type="text"/>
<button type="submit">Search</button>
<input placeholder="Search" name="search" type="text"/>
<input type="submit" value="Go"/>
</form>
<a href="http://factorcode.org" style="float:right; padding: 4px;">factorcode.org</a>
</div>
@@ -17,13 +17,25 @@ a:visited { text-decoration: none; color: #104e8b; }
a:active { text-decoration: none; color: #104e8b; }
a:hover { text-decoration: underline; color: #104e8b; }

input {
border: 1px solid #999999;
font-size: smaller;
border-radius: 3px;
}

.navbar {
background-color: #f3f2ea;
padding: 10px;
border-bottom: 1px solid #ccc;
font: 12pt sans-serif;
}

.navbar a {
border-right: 1px solid #999;
padding-right: 10px;
margin-right: 5px;
}

.page {
font-size: 120%;
margin: 20px;

0 comments on commit ba81ca3

Please sign in to comment.
You can’t perform that action at this time.