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

help.html: make these match new wiki css.

flac
John Benediktsson 2020-02-27 13:15:53 -08:00 committed by Steve Ayerhart
parent b758c9f310
commit 364f4facf3
No known key found for this signature in database
GPG Key ID: 5BFD39C5359E967D
2 changed files with 20 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -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 -- )

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

@ -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;
}