| changeset 3 | 1b5eb968d2c4 |
| parent 1 | 1ae1a79094fa |
| 2:fdcab4072085 | 3:1b5eb968d2c4 |
|---|---|
33 font-size: 0.7em; |
33 font-size: 0.7em; |
34 line-height: 1em; |
34 line-height: 1em; |
35 padding-top: 2px; |
35 padding-top: 2px; |
36 margin-bottom: 5px; |
36 margin-bottom: 5px; |
37 font-family: sans; |
37 font-family: sans; |
38 } |
|
39 |
|
40 .comment_pre |
|
41 { |
|
42 font-style: normal; |
|
43 font-family: courier; |
|
44 white-space: pre; |
|
38 } |
45 } |
39 |
46 |
40 .counts |
47 .counts |
41 { |
48 { |
42 margin-left: 10px; |
49 margin-left: 10px; |