From 2d4dfeffaa6c87a3de7b278188112d38182246ea Mon Sep 17 00:00:00 2001
From: Trustin Lee <trustin@gmail.com>
Date: Mon, 20 Jul 2009 05:08:04 +0000
Subject: [PATCH] Stylesheet that is easier on eyes

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

diff --git a/src/javadoc/stylesheet.css b/src/javadoc/stylesheet.css
index 328a2f1366..07cd1c3192 100644
--- a/src/javadoc/stylesheet.css
+++ b/src/javadoc/stylesheet.css
@@ -1,11 +1,11 @@
 * {
-  font-family: "Lucida Grande", Geneva, Verdana, "Liberation Sans", Helvetica, Arial, sans-serif;
+  font-family: "Liberation Sans", "DejaVu Sans", "Lucida Grande", Geneva, Verdana, Helvetica, Arial, sans-serif;
 }
 
 body {
   background-color: #FFFFFF;
   color:#000000;
-  font-size: 10pt;
+  font-size: 11pt;
 }
 
 a:link {color:#0033cc;}