steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

help.html: tweak the navbar a bit.

master
John Benediktsson 2020-02-13 21:43:24 -08:00
parent d890f410bf
commit ba81ca3fa6
2 changed files with 17 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
basis/help/html/html.factor
View File

@ -76,11 +76,12 @@ M: pathname url-of
[XML [XML
<div class="navbar"> <div class="navbar">
<b> Factor Documentation </b> | <b> Factor Documentation </b> |
<a href="/">Home</a> | <a href="http://factorcode.org">Factor</a>
<a href=<->>Glossary</a> | <a href="/">Home</a>
<a href=<->>Glossary</a>
<form method="get" action="/search" style="display:inline;"> <form method="get" action="/search" style="display:inline;">
<input name="search" type="text"/> <input placeholder="Search" name="search" type="text"/>
<button type="submit">Search</button> <input type="submit" value="Go"/>
</form> </form>
<a href="http://factorcode.org" style="float:right; padding: 4px;">factorcode.org</a> <a href="http://factorcode.org" style="float:right; padding: 4px;">factorcode.org</a>
</div> </div>

12
basis/help/html/stylesheet.css
View File

@ -17,6 +17,12 @@ a:visited { text-decoration: none; color: #104e8b; }
a:active { text-decoration: none; color: #104e8b; } a:active { text-decoration: none; color: #104e8b; }
a:hover { text-decoration: underline; color: #104e8b; } a:hover { text-decoration: underline; color: #104e8b; }
input {
border: 1px solid #999999;
font-size: smaller;
border-radius: 3px;
}
.navbar { .navbar {
background-color: #f3f2ea; background-color: #f3f2ea;
padding: 10px; padding: 10px;
@ -24,6 +30,12 @@ a:hover { text-decoration: underline; color: #104e8b; }
font: 12pt sans-serif; font: 12pt sans-serif;
} }
.navbar a {
border-right: 1px solid #999;
padding-right: 10px;
margin-right: 5px;
}
.page { .page {
font-size: 120%; font-size: 120%;
margin: 20px; margin: 20px;