equal
deleted
inserted
replaced
|
1 Content-type: text/html |
|
2 |
|
3 <html> |
|
4 <head> |
|
5 </head> |
|
6 <style type="text/css"> |
|
7 a { text-decoration:none; } |
|
8 .parity0 { background-color: #eeeeee; } |
|
9 .parity1 { background-color: #ffffff; } |
|
10 .lineno { width: 60px; color: #cccccc; font-size: smaller; } |
|
11 .plusline { color: green; } |
|
12 .minusline { color: red; } |
|
13 .atline { color: purple; } |
|
14 .annotate { font-size: smaller; text-align: right; padding-right: 1em; } |
|
15 .buttons a { |
|
16 background-color: #666666; |
|
17 padding: 2pt; |
|
18 color: white; |
|
19 font-family: sans; |
|
20 font-weight: bold; |
|
21 } |
|
22 .metatag { |
|
23 background-color: #888888; |
|
24 color: white; |
|
25 text-align: right; |
|
26 } |
|
27 |
|
28 </style> |
|
29 </head> |
|
30 <body> |
|
31 |