33 .hidden { font-family: Vacuous; font-size: 1%; color: rgba(255,255,255,0); } |
33 .hidden { font-family: Vacuous; font-size: 1%; color: rgba(255,255,255,0); } |
34 |
34 |
35 .binding { color: #336655; } |
35 .binding { color: #336655; } |
36 .tfree { color: #A020F0; } |
36 .tfree { color: #A020F0; } |
37 .tvar { color: #A020F0; } |
37 .tvar { color: #A020F0; } |
38 .free { color: blue; } |
38 .free { color: #0000FF; } |
39 .skolem { color: #D2691E; } |
39 .skolem { color: #D2691E; } |
40 .bound { color: green; } |
40 .bound { color: #008000; } |
41 .var { color: #00009B; } |
41 .var { color: #00009B; } |
42 .numeral { } |
42 .numeral { } |
43 .literal { font-weight: bold; } |
43 .literal { font-weight: bold; } |
44 .delimiter { } |
44 .delimiter { } |
45 .inner_string { color: #FF00CC; } |
45 .inner_numeral { color: #FF0000; } |
|
46 .inner_quoted { color: #FF00CC; } |
46 .inner_cartouche { color: #CC6600; } |
47 .inner_cartouche { color: #CC6600; } |
47 .inner_comment { color: #CC0000; } |
48 .inner_comment { color: #CC0000; } |
|
49 .dynamic { color: #7BA428; } |
|
50 .class_parameter_color { color: #D2691E; } |
48 |
51 |
49 .bold { font-weight: bold; } |
52 .bold { font-weight: bold; } |
50 |
53 |
51 .keyword1 { color: #006699; font-weight: bold; } |
54 .main { color: #000000; } |
52 .keyword2 { color: #009966; font-weight: bold; } |
55 .command { font-weight: bold; } |
53 .keyword3 { color: #0099FF; font-weight: bold; } |
56 .keyword { font-weight: bold; } |
54 .operator { } |
57 .keyword1 { color: #006699; } |
|
58 .keyword2 { color: #009966; } |
|
59 .keyword3 { color: #0099FF; } |
|
60 .quasi_keyword { color: #9966FF; } |
|
61 .operator { color: #323232; } |
55 .string { color: #FF00CC; } |
62 .string { color: #FF00CC; } |
56 .alt_string { color: #CC00CC; } |
63 .alt_string { color: #CC00CC; } |
57 .verbatim { color: #6600CC; } |
64 .verbatim { color: #6600CC; } |
58 .cartouche { color: #CC6600; } |
65 .cartouche { color: #CC6600; } |
59 .comment { color: #CC0000; } |
66 .comment { color: #CC0000; } |