Push a little more here to avoid style information in the generation
scripts as much as possible.
diff --git a/Doc/html/style.css b/Doc/html/style.css
index acfdd7f..b1101ee 100644
--- a/Doc/html/style.css
+++ b/Doc/html/style.css
@@ -51,6 +51,9 @@
.url { font-family: avantgarde, sans-serif }
.file { font-family: avantgarde, sans-serif }
+.tableheader td { background-color: #99ccff; }
+.tableheader th { background-color: #99ccff; }
+
.refcount-info { font-style: italic }
.refcount-info .value { font-weight: bold;
color: #006600 }