diff --git a/master/style/svg.css b/master/style/svg.css index 6a0b73dc..f1b5d331 100644 --- a/master/style/svg.css +++ b/master/style/svg.css @@ -140,7 +140,7 @@ dl.definitions > dd > :first-child, dl.definitions > dt > dfn { font-style: normal; font-weight: bold; } /* header/footer with links to next/previous chapter, etc. */ -.header { font-size: 85%; } +.header { font-size: 75%; margin-top: 1em; white-space: nowrap; } /* put more space around the chapter dividers (in the single page version) than there is around section headings */ diff --git a/tools/publish/processing.js b/tools/publish/processing.js index 43512908..d91a9763 100644 --- a/tools/publish/processing.js +++ b/tools/publish/processing.js @@ -143,14 +143,15 @@ exports.addHeaderFooter = function(conf, page, doc) { var markup = '