From b4b49c8918b58e33cc53c7c1dcf22cb3065e620a Mon Sep 17 00:00:00 2001
From: Casey Reas <reas@reas.com>
Date: Fri, 2 Sep 2011 21:55:58 +0000
Subject: [PATCH] New stylesheet for JavaDoc

---
 build/javadoc/stylesheet.css | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/build/javadoc/stylesheet.css b/build/javadoc/stylesheet.css
index b68ded03b..a9b2311d4 100644
--- a/build/javadoc/stylesheet.css
+++ b/build/javadoc/stylesheet.css
@@ -49,7 +49,7 @@ h1 { font-size: 120% }
 	background: #CCCCCC;
 	color: #5A5A5A;
  }
-.TableSubHeadingColor  { background: #EEEEFF } /* Gray */
+.TableSubHeadingColor  { background: #EEEEEE } /* Gray */
 .TableRowColor         { background: #FFFFFF } /* White */
 
 
@@ -144,7 +144,7 @@ pre
 /* force the table-headers small .. */
 b
 {
-	font-size: medium;
+	font-size: small;
 }