From bd43bae45ac97c9410dfeba52adfa0a773f24ab4 Mon Sep 17 00:00:00 2001
From: Uriel <u@berlinblue.org>
Date: Wed, 21 Jan 2009 10:26:09 +0000
Subject: [PATCH] Try to make default css font setup saner.

---
 pub/style/style.css | 15 ++++++---------
 1 file changed, 6 insertions(+), 9 deletions(-)

diff --git a/pub/style/style.css b/pub/style/style.css
index 897d8ec..b7129d5 100644
--- a/pub/style/style.css
+++ b/pub/style/style.css
@@ -4,15 +4,11 @@ body {
   color: black;
   background-color: white;
   font-family: verdana, helvetica, arial, sans-serif;
-  font-size: 71%;  /* Enables font size scaling in MSIE */
+  font-size: 88%;  /* Enables font size scaling in MSIE */
   margin: 0;
   padding: 0;
 }
 
-html > body {
-  font-size: 0.7em;
-}
-
 
 /* # Header # */
 .superHeader {
@@ -56,7 +52,7 @@ html > body {
 
 .headerTitle {
   color: black;
-  font-size: 337%;
+  font-size: 256%;
   font-weight: normal;
   margin: 0 0 0 4mm;
   padding: 0.25ex 0;
@@ -132,7 +128,7 @@ li ul {
   padding: 0.1ex 0;  /* Circumvents a rendering bug (?) in MSIE 6.0 */
 }
 
-#side-bar a, .thisPage {
+#side-bar a {
   color: rgb(0,102,204);
   background-color: transparent;
   text-decoration: none;
@@ -140,19 +136,20 @@ li ul {
   padding: 0.35em 1ex 0.35em 2mm;
   display: block;
   text-transform: capitalize;
-  font-weight: bold;
+  font-weight: bold!important;
+  font-size: 104%;
 }
 
 .thisPage, .thisPage a {
   color: black!important;
   background-color: white;
   padding-left: 5mm;
-  font-weight: 600;
 }
 
 #side-bar a:hover {
   color: white;
   background-color: rgb(100,135,220);
+  border-left: black solid 0.2em;
   text-decoration: none;
 }