equal
deleted
inserted
replaced
1 Content-type: text/html |
1 Content-type: text/html |
2 |
2 |
|
3 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> |
3 <html> |
4 <html> |
4 <head> |
5 <head> |
5 </head> |
|
6 <style type="text/css"> |
6 <style type="text/css"> |
7 a { text-decoration:none; } |
7 a { text-decoration:none; } |
8 .parity0 { background-color: #eeeeee; } |
8 .parity0 { background-color: #eeeeee; } |
9 .parity1 { background-color: #ffffff; } |
9 .parity1 { background-color: #ffffff; } |
10 .lineno { width: 60px; color: #cccccc; font-size: smaller; } |
10 .lineno { width: 60px; color: #cccccc; font-size: smaller; } |
24 color: white; |
24 color: white; |
25 text-align: right; |
25 text-align: right; |
26 } |
26 } |
27 |
27 |
28 </style> |
28 </style> |
29 </head> |
|
30 <body> |
|
31 |
|