equal
deleted
inserted
replaced
7 table { font-size: 12px; } |
7 table { font-size: 12px; } |
8 .errmsg { font-size: 200%; color: red; } |
8 .errmsg { font-size: 200%; color: red; } |
9 .filename { font-size: 150%; color: purple; } |
9 .filename { font-size: 150%; color: purple; } |
10 .manifest { font-size: 150%; color: purple; } |
10 .manifest { font-size: 150%; color: purple; } |
11 .filehist { font-size: 150%; color: purple; } |
11 .filehist { font-size: 150%; color: purple; } |
|
12 .annotation { font-size: 150%; color: purple; } |
12 .plusline { color: green; } |
13 .plusline { color: green; } |
13 .minusline { color: red; } |
14 .minusline { color: red; } |
14 .atline { color: purple; } |
15 .atline { color: purple; } |
|
16 a.annlinelink { text-decoration: none; color: black; } |
|
17 a.revnumlink { text-decoration: none; color: black; } |
|
18 a.annlinelink:hover { text-decoration: none; color: blue; } |
|
19 a.revnumlink:hover { text-decoration: none; color: blue; } |
15 </style> |
20 </style> |
16 </HEAD> |
21 </HEAD> |
17 <BODY> |
22 <BODY> |
18 |
23 |