##// END OF EJS Templates
coal/paper: minimize whitespace differences in CSS files
Martin Geisler -
r8509:5cd232eb default
parent child Browse files
Show More
@@ -18,7 +18,7 b' body {'
18 18 }
19 19
20 20 #.main {
21 width:98%;
21 width: 98%;
22 22 }
23 23
24 24 .overflow {
@@ -188,7 +188,7 b' h3 {'
188 188 padding: 1px 4px;
189 189 font-size: 90%;
190 190 }
191 .sourcefirst { border-bottom: 1px solid #999; font-weight: bold }
191 .sourcefirst { border-bottom: 1px solid #999; font-weight: bold; }
192 192 .sourcelast { border-top: 1px solid #999; }
193 193 .source a { color: #999; font-size: smaller; font-family: monospace;}
194 194 .bottomline { border-bottom: 1px solid #999; }
@@ -220,6 +220,7 b' div.description {'
220 220 padding: .3em;
221 221 }
222 222
223 /* Graph */
223 224 div#wrapper {
224 225 position: relative;
225 226 border-top: 1px solid black;
@@ -54,7 +54,7 b' body {'
54 54 font-weight: bold;
55 55 }
56 56
57 .menu img {
57 .menu img {
58 58 width: 75px;
59 59 height: 90px;
60 60 border: 0;
@@ -225,6 +225,14 b' canvas {'
225 225 margin: 0;
226 226 }
227 227
228 ul#graphnodes {
229 position: absolute;
230 z-index: 10;
231 top: -1.0em;
232 list-style: none inside none;
233 padding: 0;
234 }
235
228 236 ul#nodebgs {
229 237 list-style: none inside none;
230 238 padding: 0;
@@ -236,14 +244,6 b' ul#graphnodes li, ul#nodebgs li {'
236 244 height: 39px;
237 245 }
238 246
239 ul#graphnodes {
240 position: absolute;
241 z-index: 10;
242 top: -1.0em;
243 list-style: none inside none;
244 padding: 0;
245 }
246
247 247 ul#graphnodes li .info {
248 248 display: block;
249 249 font-size: 70%;
General Comments 0
You need to be logged in to leave comments. Login now