Update style sheet for XHTML output of Doxygen 1.6

* util/doxygen.css: Refine style definitions to cope with the change
in behavior of user agents due to Doxygen's recent adoption of XHTML
as default output format.

1 files changed, 18 insertions, 5 deletions

diff --git a/util/doxygen.css b/util/doxygen.css
index 8a18a7d..56705e5 100644
--- a/util/doxygen.css
+++ b/util/doxygen.css
@@ -16,23 +16,37 @@ table {
   font-size: inherit;
 }
 
+img {
+  border-style: none;
+}
+
+address img {
+  vertical-align: middle;
+}
+
 h1 {
   font-size: 150%;
   text-align: center;
 }
 
-div h2 {
+h2 {
   font-size: 120%;
+  text-align: center;
 }
 
-div h3 {
+h3 {
   font-size: 100%;
+  text-align: center;
 }
 
 caption {
   font-weight: bold;
 }
 
+.center {
+  text-align: center;
+}
+
 div.qindex {
   width: 100%;
   line-height: 140%;
@@ -71,7 +85,6 @@ dl.el {
 
 code, .fragment {
   font-family: monospace, fixed;
-  font-size: 90%;
 }
 
 pre.fragment {
@@ -137,7 +150,7 @@ span.charliteral {
 }
 
 .tiny {
-  font-size: 75%;
+  font-size: 80%;
 }
 
 hr {
@@ -169,7 +182,7 @@ hr {
 
 .memtemplate {
   color: #606060;
-  font-size: 80%;
+  font-size: 90%;
   font-weight: normal;
   margin-left: 3px;
 }