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 0ae3cb7..afb1855 100644
--- a/Doc/html/style.css
+++ b/Doc/html/style.css
@@ -29,8 +29,9 @@
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 }