equal
deleted
inserted
replaced
3 .date { white-space:nowrap; } |
3 .date { white-space:nowrap; } |
4 .indexlinks { white-space:nowrap; } |
4 .indexlinks { white-space:nowrap; } |
5 .parity0 { background-color: #ddd; } |
5 .parity0 { background-color: #ddd; } |
6 .parity1 { background-color: #eee; } |
6 .parity1 { background-color: #eee; } |
7 .lineno { width: 60px; color: #aaa; font-size: smaller; |
7 .lineno { width: 60px; color: #aaa; font-size: smaller; |
8 text-align: right; padding-right:1em; } |
8 text-align: right; } |
9 .plusline { color: green; } |
9 .plusline { color: green; } |
10 .minusline { color: red; } |
10 .minusline { color: red; } |
11 .atline { color: purple; } |
11 .atline { color: purple; } |
12 .annotate { font-size: smaller; text-align: right; padding-right: 1em; } |
12 .annotate { font-size: smaller; text-align: right; padding-right: 1em; } |
13 .buttons a { |
13 .buttons a { |