diff --git a/Doc/html/style.css b/Doc/html/style.css index acfdd7fd036..b1101ee5610 100644 --- a/Doc/html/style.css +++ b/Doc/html/style.css @@ -51,6 +51,9 @@ .newsgroup { font-family: avantgarde, sans-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 }