From eabc83fb920fe9e7aa957593532676cc37c06add Mon Sep 17 00:00:00 2001
From: Trustin Lee <trustin@gmail.com>
Date: Thu, 18 Jun 2009 10:29:30 +0000
Subject: [PATCH] Improved the custom Javadoc stylesheet

---
 src/javadoc/stylesheet.css | 29 ++++++++++++++++++++++++-----
 1 file changed, 24 insertions(+), 5 deletions(-)

diff --git a/src/javadoc/stylesheet.css b/src/javadoc/stylesheet.css
index e10287f10c..c1d0c188a6 100644
--- a/src/javadoc/stylesheet.css
+++ b/src/javadoc/stylesheet.css
@@ -55,13 +55,32 @@ h5 {
 }
 
 /* Tables */
-th { text-align: left; background: #CCCCFF; color:#000000; }
-td { vertical-align: top; }
+th {
+  text-align: left;
+  background: #CCCCFF;
+  color:#000000;
+}
+
+td {
+  vertical-align: top;
+}
 
 /* Table colors */
-.TableHeadingColor     { background: #CCCCFF; color:#000000 } /* Dark mauve */
-.TableSubHeadingColor  { background: #EEEEFF; color:#000000 } /* Light mauve */
-.TableRowColor         { background: #FFFFFF; color:#000000 } /* White */
+.TableHeadingColor {
+  background: #CCCCFF; /* Dark mauve */
+  color:#000000;
+}
+.TableHeadingColor TH * {
+  font-size: 1.2em !important;
+}
+.TableSubHeadingColor {
+  background: #EEEEFF; /* Light mauve */
+  color:#000000
+}
+.TableRowColor {
+  background: #FFFFFF; /* White */
+  color:#000000
+}
 
 /* Font used in left-hand frame lists */
 .FrameTitleFont   { font-size: 100%; color:#000000 }