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 acfdd7fd036e22bd9d8053da7b9abb0abe62a9ff..b1101ee56104d2b91ebdea8ab9ab29834f5832db 100644 (file)
--- a/Doc/html/style.css
+++ b/Doc/html/style.css
@@ -51,6 +51,9 @@ var                   { font-family: serif;
 .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 }