equal
deleted
inserted
replaced
40 .string { color: #008B00; } |
40 .string { color: #008B00; } |
41 .altstring { color: #8B8B00; } |
41 .altstring { color: #8B8B00; } |
42 .verbatim { color: #00008B; } |
42 .verbatim { color: #00008B; } |
43 .comment { color: #8B0000; } |
43 .comment { color: #8B0000; } |
44 .control { background-color: #FF6A6A; } |
44 .control { background-color: #FF6A6A; } |
45 .malformed { background-color: #FF6A6A; } |
45 .bad { background-color: #FF6A6A; } |
46 |
46 |
47 .malformed_span { background-color: #FF6A6A; } |
47 .malformed_span { background-color: #FF6A6A; } |
48 |
48 |