Specify the sizes of H? relative to the normal font size as

percentages; using "large", "x-large" makes them too big for
some troublemakers.  ;-)

(Not specifying them at all causes some browsers to make them the same
size as normal text.  ;-(  )

diff --git a/Doc/html/style.css b/Doc/html/style.css
index 0ae3cb7f3894c9449dc59cb482f15bf8ea714b61..afb1855caa543894999d528409022c7d724a5da7 100644 (file)
--- a/Doc/html/style.css
+++ b/Doc/html/style.css
@@ -29,8 +29,9 @@ BIG.XHUGE             { font-size : xx-large }
 
 h1, h2, h3, h4, h5, h6 { font-family: avantgarde, sans-serif;
                          font-weight: bold }
-h1, h2                 { font-size: x-large }
-h3, h4                 { font-size: large }
+h1                     { font-size: 180% }
+h2                     { font-size: 150% }
+h3, h4                 { font-size: 120% }
 code, tt               { font-family: courier }
 var                    { font: italic normal serif }