[mm-common] Improve Doxygen HTML style sheet

[Daniel Elstner <daniel src gnome org>]

commit 8e609fd9e1f17eefdd27854f0b0da27ca4878d83
Author: Daniel Elstner <danielk openismus com>
Date:   Fri Aug 28 14:45:41 2009 +0200

    Improve Doxygen HTML style sheet
    
    * util/doxygen.css: Tweak the styles a bit to improve the look of the
    Doxygen HTML output.  Most importantly, get the text size right.

 util/doxygen.css |   31 ++++++++++---------------------
 1 files changed, 10 insertions(+), 21 deletions(-)
---
diff --git a/util/doxygen.css b/util/doxygen.css
index caeac48..8a18a7d 100644
--- a/util/doxygen.css
+++ b/util/doxygen.css
@@ -1,28 +1,24 @@
 /* GNOME C++ bindings Doxygen style */
 
-html {
+html, body {
   background: #FFFFFF;
-  color: #000000;
+  color: #222222;
   margin: 0;
-  padding: 1em;
 }
 
 body {
-  font-family: sans-serif;
-  font-size: 90%;
-  margin: 0;
-  padding: 0;
+  font: normal 80%/130% sans-serif;
+  padding: 1.5em;
+  min-width: 28em;
 }
 
-h1 {
-  margin: 0;
-  padding: 0.4ex;
-  font-size: 130%;
-  text-align: center;
+table {
+  font-size: inherit;
 }
 
-div h1 {
+h1 {
   font-size: 150%;
+  text-align: center;
 }
 
 div h2 {
@@ -49,7 +45,6 @@ div.qindex {
 
 a {
   color: #153788;
-  font-size: 90%;
   font-weight: normal;
   text-decoration: none;
 }
@@ -74,7 +69,7 @@ dl.el {
   margin-left: -1cm;
 }
 
-.fragment {
+code, .fragment {
   font-family: monospace, fixed;
   font-size: 90%;
 }
@@ -94,10 +89,6 @@ div.ah {
   margin-top: 3px
 }
 
-table {
-  font-size: 90%;
-}
-
 .indexkey {
   font-weight: bold;
   background-color: #E8EEF2;
@@ -155,8 +146,6 @@ hr {
   border-top: 1px solid #666666;
 }
 
-/* @group Member Descriptions */
-
 .mdescLeft, .mdescRight, .memItemLeft, .memItemRight,
 .memTemplItemLeft, .memTemplItemRight, .memTemplParams {
   background-color: #FAFAFA;