Minor simplification.

diff --git a/Doc/html/style.css b/Doc/html/style.css
index 075fdb321c40760b96afa035f048717734ec7524..7bfa16ff897b0df0157d363850eb328a7357a17f 100644 (file)
--- a/Doc/html/style.css
+++ b/Doc/html/style.css
@@ -63,8 +63,7 @@ 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;
+.tableheader            { background-color: #99ccff;
                           font-family: avantgarde, sans-serif; }
 
 .refcount-info          { font-style: italic }