diff --git a/basis/help/html/html.factor b/basis/help/html/html.factor index 9805ce5fc6..4a11cff736 100644 --- a/basis/help/html/html.factor +++ b/basis/help/html/html.factor @@ -70,6 +70,12 @@ M: pathname url-of "vocab:help/html/stylesheet.css" ascii file-contents swap "\n" glue [XML XML] ; +: help-meta ( -- xml ) + [XML XML] ; + : help-navbar ( -- xml ) "conventions" >link topic>filename [XML @@ -105,7 +111,11 @@ M: pathname url-of number>string "padding: " "px;" surround ] re-replace-with - R/ white-space: pre;/ [ + R/ width: \d+px;/ [ + drop "" + ] re-replace-with + + R/ font-family: monospace;/ [ " line-height: 125%;" append ] re-replace-with ; @@ -136,7 +146,7 @@ M: pathname url-of [ article-title " - Factor Documentation" append ] [ [ print-topic ] with-html-writer css-styles-to-classes - [ help-stylesheet help-navbar ] dip + [ help-stylesheet help-meta prepend help-navbar ] dip [XML