ref: 312113b264e06becf17fda7e8ec2e5f9ff4f4498
parent: 64f4cc39a0dec328a7c124ff4d766e0ece2abfa6
author: sl <[email protected]>
date: Sat Mar 7 16:53:55 EST 2009
Make sidebar borders more light, and remove a superfluous double-border.
--- a/pub/style/style.css
+++ b/pub/style/style.css
@@ -104,11 +104,10 @@
width: 16em;
float: left;
clear: left;
- border-right: 1px solid rgb(153,153,153);
}
#side-bar div {
- border-bottom: 1px solid rgb(153,153,153);
+ border-bottom: 1px solid #eee;
}
.sideBarTitle {
@@ -194,7 +193,7 @@
line-height: 1.5em;
margin: 0em 0 0 16em;
padding: 0.5mm 5mm 5mm 5mm;
- border-left: 1px solid rgb(153,153,153);
+ border-left: 1px solid #eee;
}
#bodyText {
@@ -316,7 +315,7 @@
}
acronym, .titleTip {
- border-bottom: 1px dotted rgb(153,153,153);
+ border-bottom: 1px solid #eee;
cursor: help;
margin: 0;
padding: 0 0 0.4px 0;