annotate trunk/src/format.css @ 312:fa0b6f32c1ae

- Added Special to enum TOK. - Added special tokens to keyword list. - Added case T.Special for parsing SpecialTokenExpression.
author aziz
date Wed, 15 Aug 2007 19:19:00 +0000
parents 9c866aadcb5b
children 29c33ce6c5bb
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
44
5055947e0f98 - Specific operators and comments can be formatted with CSS now.
aziz
parents: 33
diff changeset
1 @charset "utf-8";
51
cadd2bfe686c - Displaying error messages in XML.
aziz
parents: 44
diff changeset
2 compilerinfo, sourcetext {
6
9980a2a34236 - Added style sheet.
aziz
parents:
diff changeset
3 display: block;
9980a2a34236 - Added style sheet.
aziz
parents:
diff changeset
4 white-space: pre;
9980a2a34236 - Added style sheet.
aziz
parents:
diff changeset
5 font-family: Monospace;
9980a2a34236 - Added style sheet.
aziz
parents:
diff changeset
6 font-size: 0.8em;
9980a2a34236 - Added style sheet.
aziz
parents:
diff changeset
7 }
52
f65a83c27638 - Fixed the raw string literal scanner. Newlines weren't copied to the buffer. Converting LS and PS to '\n' as well.
aziz
parents: 51
diff changeset
8 compilerinfo {
f65a83c27638 - Fixed the raw string literal scanner. Newlines weren't copied to the buffer. Converting LS and PS to '\n' as well.
aziz
parents: 51
diff changeset
9 white-space: normal;
f65a83c27638 - Fixed the raw string literal scanner. Newlines weren't copied to the buffer. Converting LS and PS to '\n' as well.
aziz
parents: 51
diff changeset
10 border: 1px solid #A22;
f65a83c27638 - Fixed the raw string literal scanner. Newlines weren't copied to the buffer. Converting LS and PS to '\n' as well.
aziz
parents: 51
diff changeset
11 padding: 0.5em;
f65a83c27638 - Fixed the raw string literal scanner. Newlines weren't copied to the buffer. Converting LS and PS to '\n' as well.
aziz
parents: 51
diff changeset
12 margin: 1em;
f65a83c27638 - Fixed the raw string literal scanner. Newlines weren't copied to the buffer. Converting LS and PS to '\n' as well.
aziz
parents: 51
diff changeset
13 }
51
cadd2bfe686c - Displaying error messages in XML.
aziz
parents: 44
diff changeset
14 compilerinfo error { display: block; }
312
fa0b6f32c1ae - Added Special to enum TOK.
aziz
parents: 306
diff changeset
15 /* Number */
58
50bb7fc9db44 - The types of integers are recognized now.
aziz
parents: 52
diff changeset
16 n { color: teal; }
312
fa0b6f32c1ae - Added Special to enum TOK.
aziz
parents: 306
diff changeset
17 /* Keyword */
28
3a9daccf7d96 - Added table for identifiers to Lexer.
aziz
parents: 14
diff changeset
18 k { color: darkblue; font-weight: bold; }
312
fa0b6f32c1ae - Added Special to enum TOK.
aziz
parents: 306
diff changeset
19 /* Line and block comments */
306
9c866aadcb5b - Moved code out of main() to separate functions.
aziz
parents: 58
diff changeset
20 c[c=l], c[c=b] { color: green; }
312
fa0b6f32c1ae - Added Special to enum TOK.
aziz
parents: 306
diff changeset
21 /* Nested comments */
306
9c866aadcb5b - Moved code out of main() to separate functions.
aziz
parents: 58
diff changeset
22 c[c=n] { color: darkgreen; }
312
fa0b6f32c1ae - Added Special to enum TOK.
aziz
parents: 306
diff changeset
23 /* Identifier */
44
5055947e0f98 - Specific operators and comments can be formatted with CSS now.
aziz
parents: 33
diff changeset
24 i { color: black; }
312
fa0b6f32c1ae - Added Special to enum TOK.
aziz
parents: 306
diff changeset
25 /* String literal */
9
5d6968cc751e - Parsing string and character literals now (rudimentary implementation.)
aziz
parents: 6
diff changeset
26 sl { color: red; }
312
fa0b6f32c1ae - Added Special to enum TOK.
aziz
parents: 306
diff changeset
27 /* Character literal */
14
cdf788d8bdaf - Parsing /= now.
aziz
parents: 9
diff changeset
28 cl { color: purple; }
312
fa0b6f32c1ae - Added Special to enum TOK.
aziz
parents: 306
diff changeset
29 /* Operator */
33
cf3047cf3cd2 - Added code for parsing back quote and raw strings.
aziz
parents: 28
diff changeset
30 op { color: royalblue; }
312
fa0b6f32c1ae - Added Special to enum TOK.
aziz
parents: 306
diff changeset
31 /* All bracket types */
28
3a9daccf7d96 - Added table for identifiers to Lexer.
aziz
parents: 14
diff changeset
32 br { color: orange; }
312
fa0b6f32c1ae - Added Special to enum TOK.
aziz
parents: 306
diff changeset
33 /* Special tokens */
fa0b6f32c1ae - Added Special to enum TOK.
aziz
parents: 306
diff changeset
34 st { color: green; font-weight: bold; }
fa0b6f32c1ae - Added Special to enum TOK.
aziz
parents: 306
diff changeset
35 /* Particular operators */
44
5055947e0f98 - Specific operators and comments can be formatted with CSS now.
aziz
parents: 33
diff changeset
36 op[c=aa] { content: "and"; } /*&& ∧*/
5055947e0f98 - Specific operators and comments can be formatted with CSS now.
aziz
parents: 33
diff changeset
37 op[c=oo] { content: "or"; } /*|| ∨*/
5055947e0f98 - Specific operators and comments can be formatted with CSS now.
aziz
parents: 33
diff changeset
38 op[c=n] { content: "¬"; } /*!*/
5055947e0f98 - Specific operators and comments can be formatted with CSS now.
aziz
parents: 33
diff changeset
39 op[c=ne] { content: "≠"; } /*!=*/
5055947e0f98 - Specific operators and comments can be formatted with CSS now.
aziz
parents: 33
diff changeset
40 op[c=le] { content: "≤"; } /*<=*/
5055947e0f98 - Specific operators and comments can be formatted with CSS now.
aziz
parents: 33
diff changeset
41 op[c=ge] { content: "≥"; } /*>=*/
5055947e0f98 - Specific operators and comments can be formatted with CSS now.
aziz
parents: 33
diff changeset
42 op[c=lg] { content: "≶"; } /*<>*/