avoid spurious vertical whitespace preceeding heading which are marked
with a \label
diff --git a/Doc/html/style.css b/Doc/html/style.css
index e69eac1..7cc4947 100644
--- a/Doc/html/style.css
+++ b/Doc/html/style.css
@@ -49,6 +49,14 @@
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;