From df5d50d8899c6da323bfa4702f37a712bcda1e55 Mon Sep 17 00:00:00 2001
From: Fred Drake <fdrake@acm.org>
Date: Fri, 19 Feb 1999 23:03:04 +0000
Subject: [PATCH] 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.  ;-(  )
---
 Doc/html/style.css | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/Doc/html/style.css b/Doc/html/style.css
index 0ae3cb7f389..afb1855caa5 100644
--- 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 }