comparison templates/static/style-coal.css @ 8509:5cd232ebc317

coal/paper: minimize whitespace differences in CSS files
author Martin Geisler <mg@lazybytes.net>
date Tue, 19 May 2009 00:57:36 +0200
parents 8c5e32a4f2f9
children de6bb29e208a
comparison
equal deleted inserted replaced
8508:8c5e32a4f2f9 8509:5cd232ebc317
16 border-right: 15px solid black; 16 border-right: 15px solid black;
17 border-bottom: 15px solid black; 17 border-bottom: 15px solid black;
18 } 18 }
19 19
20 #.main { 20 #.main {
21 width:98%; 21 width: 98%;
22 } 22 }
23 23
24 .overflow { 24 .overflow {
25 width: 100%; 25 width: 100%;
26 overflow: auto; 26 overflow: auto;
186 font-family: monospace; 186 font-family: monospace;
187 white-space: pre; 187 white-space: pre;
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; }
195 195
196 .fileline { font-family: monospace; } 196 .fileline { font-family: monospace; }
218 border-left: 3px solid #999; 218 border-left: 3px solid #999;
219 margin: 1em 0 1em 0; 219 margin: 1em 0 1em 0;
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;
226 border-bottom: 1px solid black; 227 border-bottom: 1px solid black;
227 margin: 0; 228 margin: 0;