diff --git a/basis/help/html/html.factor b/basis/help/html/html.factor index d494ad71c7..0a428172cd 100644 --- a/basis/help/html/html.factor +++ b/basis/help/html/html.factor @@ -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 <->
<->
XML] ] bi simple-page ; : generate-help-file ( topic -- ) diff --git a/basis/help/html/stylesheet.css b/basis/help/html/stylesheet.css index 0103d04334..d30de6c836 100644 --- a/basis/help/html/stylesheet.css +++ b/basis/help/html/stylesheet.css @@ -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%; }