ref: 036fedba3325981676bfafb3fe3432fd7fca44db
parent: 312113b264e06becf17fda7e8ec2e5f9ff4f4498
author: sl <uriel@engel.se.cat-v.org>
date: Sat Mar 7 18:14:33 EST 2009
Ok, I give up, reverting part of last checking because CSS sucks. Also make style of top-mini-bar more minimal.
--- a/pub/style/style.css
+++ b/pub/style/style.css
@@ -14,7 +14,7 @@
.superHeader {
color: white;
background-color: rgb(100,135,220);
- height: 2em;
+ height: 1.6em;
}
.superHeader img {
@@ -34,17 +34,13 @@
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 @@
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 @@
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 @@
}
acronym, .titleTip {
- border-bottom: 1px solid #eee;
+ border-bottom: 1px solid #ddd;
cursor: help;
margin: 0;
padding: 0 0 0.4px 0;