From 87a5e547235b6868cba26559570e7cd4b1b00bea Mon Sep 17 00:00:00 2001
From: uriel <uriel@soma>
Date: Sat, 7 Mar 2009 23:14:33 +0000
Subject: [PATCH] Ok, I give up, reverting part of last checking because CSS
 sucks.

Also make style of top-mini-bar more minimal.
---
 pub/style/style.css | 21 +++++++++------------
 1 file changed, 9 insertions(+), 12 deletions(-)

diff --git a/pub/style/style.css b/pub/style/style.css
index 21ba57c..24ee56b 100644
--- a/pub/style/style.css
+++ b/pub/style/style.css
@@ -14,7 +14,7 @@ body {
 .superHeader {
   color: white;
   background-color: rgb(100,135,220);
-  height: 2em;
+  height: 1.6em;
 }
 
 .superHeader img {
@@ -34,17 +34,13 @@ body {
   text-decoration: underline;
 }
 
-.superHeader .left {
+.superHeader div {
   position: absolute;
-  left: 1.5mm;
-  top: 0.75ex;
+  top: 0.40ex;
 }
 
-.superHeader .right {
-  position: absolute;
-  right: 1.5mm;
-  top: 0.75ex;
-}
+.superHeader .left { left: 0.4em; }
+.superHeader .right { right: 0.4em; }
 
 .midHeader {
   color: rgb(39,78,144);
@@ -104,10 +100,11 @@ body {
   width: 16em;
   float: left;
   clear: left;
+  border-right: 1px solid #ddd;
 }
 
 #side-bar div {
-  border-bottom: 1px solid #eee;
+  border-bottom: 1px solid #ddd;
 }
 
 .sideBarTitle {
@@ -193,7 +190,7 @@ li ul {
   line-height: 1.5em;
   margin: 0em 0 0 16em;
   padding: 0.5mm 5mm 5mm 5mm;
-  border-left: 1px solid #eee;
+  border-left: 1px solid #ddd;
 }
 
 #bodyText {
@@ -315,7 +312,7 @@ hr {
 }
 
 acronym, .titleTip {
-  border-bottom: 1px solid #eee;
+  border-bottom: 1px solid #ddd;
   cursor: help;
   margin: 0;
   padding: 0 0 0.4px 0;