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

help.html: make these match new wiki css.

master
John Benediktsson 2020-02-27 13:15:53 -08:00
parent de6d2e2ccd
commit 83f47eb209
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 "conventions" >link topic>filename
[XML [XML
<div class="navbar"> <div class="navbar">
<a href="http://factorcode.org">factorcode.org</a>
<a href="/">Handbook</a> <a href="/">Handbook</a>
<a href=<->>Glossary</a> <a href=<->>Glossary</a>
<form method="get" action="/search" style="display:inline;"> <form method="get" action="/search" style="display:inline;">
<input placeholder="Search" name="search" type="text"/> <input placeholder="Search" name="search" type="text"/>
<input type="submit" value="Go"/> <input type="submit" value="Go"/>
</form> </form>
<div style="float: right;">
<a href="http://factorcode.org"><b>factorcode.org</b></a>
</div>
</div> </div>
XML] ; XML] ;
@ -131,7 +133,7 @@ M: pathname url-of
[ [
[ print-topic ] with-html-writer css-styles-to-classes [ print-topic ] with-html-writer css-styles-to-classes
[ help-stylesheet help-navbar ] dip [ help-stylesheet help-navbar ] dip
[XML <-><div class="page"><-></div> XML] [XML <div id="container"><-><div class="page"><-></div></div> XML]
] bi simple-page ; ] bi simple-page ;
: generate-help-file ( topic -- ) : 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; padding: 0;
} }
a:link { text-decoration: none; color: #104e8b; } a, .link { color: #104e8b; }
a:visited { text-decoration: none; color: #104e8b; } a:link, a:visited, a:active, .link { text-decoration: none; }
a:active { text-decoration: none; color: #104e8b; } a:hover, .link:hover { text-decoration: underline; }
a:hover { text-decoration: underline; color: #104e8b; }
body {
font-family: sans-serif;
line-height: 140%;
}
input { input {
border: 1px solid #999999; border: 1px solid #999999;
@ -37,20 +41,19 @@ tr:hover {
} }
.navbar { .navbar {
background-color: #f3f2ea; margin: 0;
padding: 10px; padding: 15px;
border-bottom: 1px solid #ccc; border-bottom: 1px solid #ccc;
font-family: sans-serif;
} }
.navbar a { .navbar a {
border-right: 1px solid #999; margin-right: 10px;
padding-right: 10px; }
margin-right: 5px;
#container {
max-width: 800px;
} }
.page { .page {
margin: 20px; margin: 15px;
max-width: 800px;
line-height: 140%;
} }