equal
deleted
inserted
replaced
|
1 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> |
|
2 <HTML> |
|
3 <!-- created by hgweb 0.1 - jake@edge2.net --> |
|
4 <HEAD><TITLE>#title#</TITLE> |
|
5 <style type="text/css"> |
|
6 body { font-family: sans-serif; font-size: 12px; } |
|
7 table { font-size: 12px; } |
|
8 .errmsg { font-size: 200%; color: red; } |
|
9 .filename { font-size: 150%; color: purple; } |
|
10 .manifest { font-size: 150%; color: purple; } |
|
11 .filehist { font-size: 150%; color: purple; } |
|
12 .plusline { color: green; } |
|
13 .minusline { color: red; } |
|
14 .atline { color: purple; } |
|
15 </style> |
|
16 </HEAD> |
|
17 <BODY> |
|
18 |