help.html: wrap contents in a div, update style a little.

flac
John Benediktsson 2020-02-13 21:01:47 -08:00 committed by Steve Ayerhart
parent a7aca0ca75
commit 627b550bf0
No known key found for this signature in database
GPG Key ID: 5BFD39C5359E967D
2 changed files with 26 additions and 5 deletions

View File

@ -120,7 +120,8 @@ M: pathname url-of
[ article-title " - Factor Documentation" append ]
[
[ print-topic ] with-html-writer css-styles-to-classes
[ help-stylesheet ] [ help-navbar prepend ] bi*
[ help-stylesheet help-navbar ] dip
[XML <-><div class="page"><-></div> XML]
] bi simple-page ;
: generate-help-file ( topic -- )

View File

@ -1,3 +1,17 @@
html {
box-sizing: border-box;
font-size: 16px;
}
*, *:before, *:after {
box-sizing: inherit;
}
body, h1, h2, h3, h4, h5, h6, p, ol, ul {
margin: 0;
padding: 0;
}
a:link { text-decoration: none; color: #104e8b; }
a:visited { text-decoration: none; color: #104e8b; }
a:active { text-decoration: none; color: #104e8b; }
@ -5,8 +19,14 @@ a:hover { text-decoration: underline; color: #104e8b; }
.navbar {
background-color: #f3f2ea;
padding: 5px;
border: 1px solid #ccc;
font: 9pt sans-serif;
margin-bottom: 10px;
padding: 10px;
border-bottom: 1px solid #ccc;
font: 12pt sans-serif;
}
.page {
font-size: 120%;
margin: 20px;
width: 800px;
line-height: 125%;
}