From f3552130e225dbdc4073ace1c05f45a41f94d484 Mon Sep 17 00:00:00 2001
From: Fred Drake <fdrake@acm.org>
Date: Sat, 6 Sep 2003 01:10:14 +0000
Subject: [PATCH] avoid spurious vertical whitespace preceeding heading which
 are marked with a \label

---
 Doc/html/style.css | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/Doc/html/style.css b/Doc/html/style.css
index e69eac15fd..7cc49478ee 100644
--- a/Doc/html/style.css
+++ b/Doc/html/style.css
@@ -49,6 +49,14 @@ h1, h2, h3, h4, h5, h6  { font-family: avantgarde, sans-serif;
 h1                      { font-size: 180%; }
 h2                      { font-size: 150%; }
 h3, h4                  { font-size: 120%; }
+
+/* LaTeX2HTML insists on inserting <br> elements into headers which
+ * are marked with \label.  This little bit of CSS magic ensures that
+ * these elements don't cause spurious whitespace to be added.
+ */
+h1>br, h2>br, h3>br,
+h4>br, h5>br, h6>br     { display: none; }
+
 code, tt                { font-family: "lucida typewriter", lucidatypewriter,
                                        monospace; }
 var                     { font-family: times, serif;
-- 
2.50.1