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

diff --git a/basis/help/html/html.factor b/basis/help/html/html.factor
index d494ad71c72b756a4cf24b4a90bb42deec268081..0a428172cd970cf762680b986ff4878368675bdd 100644 (file)
--- 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 <-><div class="page"><-></div> XML]
     ] bi simple-page ;
 
 : generate-help-file ( topic -- )

diff --git a/basis/help/html/stylesheet.css b/basis/help/html/stylesheet.css
index 0103d04334960912adc1b552694511bb822b7b80..d30de6c836afbe91ae94d613cb1e334e75a84257 100644 (file)
--- 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%;
 }