equal
deleted
inserted
replaced
16 |
16 |
17 /* hide hr for this style */ |
17 /* hide hr for this style */ |
18 hr { height: 0px; border: 0px; } |
18 hr { height: 0px; border: 0px; } |
19 |
19 |
20 |
20 |
21 /* inner and outer syntax markup */ |
21 /* basic syntax markup */ |
22 |
22 |
|
23 .hidden, hidden { font-size: 0.1pt; visibility: hidden; } |
|
24 |
|
25 .tclass, tclass { color: red; } |
23 .tfree, tfree { color: purple; } |
26 .tfree, tfree { color: purple; } |
24 .tvar, tvar { color: purple; } |
27 .tvar, tvar { color: purple; } |
25 .free, free { color: blue; } |
28 .free, free { color: blue; } |
26 .skolem, skolem { color: brown; } |
29 .skolem, skolem { color: brown; } |
27 .bound, bound { color: green; } |
30 .bound, bound { color: green; } |
29 .numeral, numeral { } |
32 .numeral, numeral { } |
30 .literal, literal { font-weight: bold; } |
33 .literal, literal { font-weight: bold; } |
31 .inner_string, inner_string { color: brown; } |
34 .inner_string, inner_string { color: brown; } |
32 .inner_comment, inner_comment { color: #8B0000; } |
35 .inner_comment, inner_comment { color: #8B0000; } |
33 |
36 |
34 .loc, loc { color: brown; } |
37 .bold, bold { font-weight: bold; } |
35 .tclass, tclass { color: red; } |
38 .loc, loc { color: brown; } |
36 |
39 |
37 .keyword, keyword { font-weight: bold; } |
40 .keyword, keyword { font-weight: bold; } |
38 .command, command { font-weight: bold; } |
41 .command, command { font-weight: bold; } |
39 .ident, ident { } |
42 .ident, ident { } |
40 .string, string { color: #008B00; } |
43 .string, string { color: #008B00; } |
43 .comment, comment { color: #8B0000; } |
46 .comment, comment { color: #8B0000; } |
44 .control, control { background-color: #FF6A6A; } |
47 .control, control { background-color: #FF6A6A; } |
45 .malformed, malformed { background-color: #FF6A6A; } |
48 .malformed, malformed { background-color: #FF6A6A; } |
46 |
49 |
47 .malformed_span, malformed_span { background-color: #FF6A6A; } |
50 .malformed_span, malformed_span { background-color: #FF6A6A; } |
|
51 |