diff options
Diffstat (limited to 'Doc')
| -rw-r--r-- | Doc/html/style.css | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Doc/html/style.css b/Doc/html/style.css index ed9c342..4ac1b33 100644 --- 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; |