coal/paper: minimize whitespace differences in CSS files

coal/paper: minimize whitespace differences in CSS files

--- a/templates/static/style-coal.css	Tue May 19 00:33:23 2009 +0200
+++ b/templates/static/style-coal.css	Tue May 19 00:57:36 2009 +0200
@@ -18,7 +18,7 @@
 }
 
 #.main {
-  width:98%;
+  width: 98%;
 }
 
 .overflow {
@@ -188,7 +188,7 @@
   padding: 1px 4px;
   font-size: 90%;
 }
-.sourcefirst { border-bottom: 1px solid #999; font-weight: bold }
+.sourcefirst { border-bottom: 1px solid #999; font-weight: bold; }
 .sourcelast { border-top: 1px solid #999; }
 .source a { color: #999; font-size: smaller; font-family: monospace;}
 .bottomline { border-bottom: 1px solid #999; }
@@ -220,6 +220,7 @@
   padding: .3em;
 }
 
+/* Graph */
 div#wrapper {
 	position: relative;
 	border-top: 1px solid black;

--- a/templates/static/style-paper.css	Tue May 19 00:33:23 2009 +0200
+++ b/templates/static/style-paper.css	Tue May 19 00:57:36 2009 +0200
@@ -54,7 +54,7 @@
   font-weight: bold;
 }
 
-.menu img { 
+.menu img {
   width: 75px;
   height: 90px;
   border: 0;
@@ -225,6 +225,14 @@
 	margin: 0;
 }
 
+ul#graphnodes {
+	position: absolute;
+	z-index: 10;
+	top: -1.0em;
+	list-style: none inside none;
+	padding: 0;
+}
+
 ul#nodebgs {
 	list-style: none inside none;
 	padding: 0;
@@ -236,14 +244,6 @@
 	height: 39px;
 }
 
-ul#graphnodes {
-	position: absolute;
-	z-index: 10;
-	top: -1.0em;
-	list-style: none inside none;
-	padding: 0;
-}
-
 ul#graphnodes li .info {
 	display: block;
 	font-size: 70%;