Minor stylesheet nit.

diff --git a/Doc/html/style.css b/Doc/html/style.css
index ed9c342fadf5eab31b63b01e837503a94f7111ae..4ac1b33a28fcdc72024fd0d9f6d4acf7cfe45757 100644 (file)
--- a/Doc/html/style.css
+++ b/Doc/html/style.css
@@ -62,7 +62,8 @@ var                     { font-family: serif;
 .file                   { font-family: avantgarde, sans-serif }
 
 .tableheader td         { background-color: #99ccff; }
-.tableheader th         { background-color: #99ccff; }
+.tableheader th         { background-color: #99ccff;
+                          font-family: avantgarde, sans-serif; }
 
 .refcount-info          { font-style: italic }
 .refcount-info .value   { font-weight: bold;