##// 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 #.main {
20 #.main {
21 width:98%;
21 width: 98%;
22 }
22 }
23
23
24 .overflow {
24 .overflow {
@@ -188,7 +188,7 b' h3 {'
188 padding: 1px 4px;
188 padding: 1px 4px;
189 font-size: 90%;
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 .sourcelast { border-top: 1px solid #999; }
192 .sourcelast { border-top: 1px solid #999; }
193 .source a { color: #999; font-size: smaller; font-family: monospace;}
193 .source a { color: #999; font-size: smaller; font-family: monospace;}
194 .bottomline { border-bottom: 1px solid #999; }
194 .bottomline { border-bottom: 1px solid #999; }
@@ -220,6 +220,7 b' div.description {'
220 padding: .3em;
220 padding: .3em;
221 }
221 }
222
222
223 /* Graph */
223 div#wrapper {
224 div#wrapper {
224 position: relative;
225 position: relative;
225 border-top: 1px solid black;
226 border-top: 1px solid black;
@@ -54,7 +54,7 b' body {'
54 font-weight: bold;
54 font-weight: bold;
55 }
55 }
56
56
57 .menu img {
57 .menu img {
58 width: 75px;
58 width: 75px;
59 height: 90px;
59 height: 90px;
60 border: 0;
60 border: 0;
@@ -225,6 +225,14 b' canvas {'
225 margin: 0;
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 ul#nodebgs {
236 ul#nodebgs {
229 list-style: none inside none;
237 list-style: none inside none;
230 padding: 0;
238 padding: 0;
@@ -236,14 +244,6 b' ul#graphnodes li, ul#nodebgs li {'
236 height: 39px;
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 ul#graphnodes li .info {
247 ul#graphnodes li .info {
248 display: block;
248 display: block;
249 font-size: 70%;
249 font-size: 70%;
General Comments 0
You need to be logged in to leave comments. Login now