OLD | NEW |
---|---|
1 html { | 1 html { |
dglazkov
2013/06/17 02:04:21
What is happening with these files in tests/resour
| |
2 font-family:DejaVu Sans, Bitstream Vera Sans, Arial, Sans; | 2 font-family:DejaVu Sans, Bitstream Vera Sans, Arial, Sans; |
3 } | 3 } |
4 | 4 |
5 table#results { | 5 table#results { |
6 border-collapse:collapse; | 6 border-collapse:collapse; |
7 } | 7 } |
8 | 8 |
9 table#results th { | 9 table#results th { |
10 padding:0; | 10 padding:0; |
11 padding-bottom:0.5em; | 11 padding-bottom:0.5em; |
12 border-bottom:medium solid black; | 12 border-bottom:medium solid black; |
13 } | 13 } |
14 | 14 |
15 table#results td { | 15 table#results td { |
16 padding:0; | 16 padding:0; |
17 padding-bottom:0.5em; | 17 padding-bottom:0.5em; |
18 border-bottom:thin solid black; | 18 border-bottom:thin solid black; |
19 } | 19 } |
20 | 20 |
21 table#results tr>td:nth-child(1) { | 21 table#results tr>td:nth-child(1) { |
22 font-variant:small-caps; | 22 font-variant:small-caps; |
23 } | 23 } |
24 | 24 |
25 table#results tr>td:nth-child(3) { | 25 table#results tr>td:nth-child(3) { |
26 font-family:DejaVu Sans Mono, Bitstream Vera Sans Mono, Monospace; | 26 font-family:DejaVu Sans Mono, Bitstream Vera Sans Mono, Monospace; |
27 white-space:pre; | 27 white-space:pre; |
28 } | 28 } |
OLD | NEW |