equal
deleted
inserted
replaced
6 <style type="text/css"> |
6 <style type="text/css"> |
7 <!-- |
7 <!-- |
8 a { text-decoration:none; } |
8 a { text-decoration:none; } |
9 .parity0 { background-color: #dddddd; } |
9 .parity0 { background-color: #dddddd; } |
10 .parity1 { background-color: #eeeeee; } |
10 .parity1 { background-color: #eeeeee; } |
11 .lineno { width: 60px; color: #aaaaaa; font-size: smaller; } |
11 .lineno { width: 60px; color: #aaaaaa; font-size: smaller; |
|
12 text-align: right; padding-right:1em; } |
12 .plusline { color: green; } |
13 .plusline { color: green; } |
13 .minusline { color: red; } |
14 .minusline { color: red; } |
14 .atline { color: purple; } |
15 .atline { color: purple; } |
15 .annotate { font-size: smaller; text-align: right; padding-right: 1em; } |
16 .annotate { font-size: smaller; text-align: right; padding-right: 1em; } |
16 .buttons a { |
17 .buttons a { |