From a77855a2cab9fb41c2637b2cfa3f6fc3ed2a7579 Mon Sep 17 00:00:00 2001
From: Uriel <u@berlinblue.org>
Date: Tue, 24 Feb 2009 11:44:22 +0000
Subject: [PATCH] CSS tunning: Slightly lower default font size, and change
 vertical align for images in top_bar.

---
 pub/style/style.css | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/pub/style/style.css b/pub/style/style.css
index eb8e71b..bba9ad4 100644
--- a/pub/style/style.css
+++ b/pub/style/style.css
@@ -4,7 +4,7 @@ body {
   color: black;
   background-color: white;
   font-family: verdana, helvetica, arial, sans-serif;
-  font-size: 88%;  /* Enables font size scaling in MSIE */
+  font-size: 84%;  /* Enables font size scaling in MSIE */
   margin: 0;
   padding: 0;
 }
@@ -17,6 +17,10 @@ body {
   height: 2em;
 }
 
+.superHeader img {
+  vertical-align: bottom;
+}
+
 .superHeader a {
   color: white;
   background-color: transparent;