annotate trunk/src/dil_xml.css @ 521:772ffdb18fd4

Fix: added 'Cent' to enum TID. Updated CSS files.
author Aziz K?ksal <aziz.koeksal@gmail.com>
date Sat, 15 Dec 2007 22:51:27 +0100
parents 511c14950cac
children 84fde575a2fe
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";
322
ed4ef0173793 - Moved out large TOK switch case to function printToken().
aziz
parents: 315
diff changeset
2 compilerinfo, sourcecode {
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 */
322
ed4ef0173793 - Moved out large TOK switch case to function printToken().
aziz
parents: 315
diff changeset
20 c[t=l], c[t=b] { color: green; }
312
fa0b6f32c1ae - Added Special to enum TOK.
aziz
parents: 306
diff changeset
21 /* Nested comments */
322
ed4ef0173793 - Moved out large TOK switch case to function printToken().
aziz
parents: 315
diff changeset
22 c[t=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 /* All bracket types */
28
3a9daccf7d96 - Added table for identifiers to Lexer.
aziz
parents: 14
diff changeset
30 br { color: orange; }
312
fa0b6f32c1ae - Added Special to enum TOK.
aziz
parents: 306
diff changeset
31 /* Special tokens */
fa0b6f32c1ae - Added Special to enum TOK.
aziz
parents: 306
diff changeset
32 st { color: green; font-weight: bold; }
328
39f93a4ec416 - Added code for printing #line and filespec tokens.
aziz
parents: 322
diff changeset
33 /* #line, hash line */
39f93a4ec416 - Added code for printing #line and filespec tokens.
aziz
parents: 322
diff changeset
34 hl { color: green; }
39f93a4ec416 - Added code for printing #line and filespec tokens.
aziz
parents: 322
diff changeset
35 /* filespec (e.g. #line number [filespec]) */
39f93a4ec416 - Added code for printing #line and filespec tokens.
aziz
parents: 322
diff changeset
36 fs { color: purple;}
315
29c33ce6c5bb - Added method scanShebang to class Lexer.
aziz
parents: 312
diff changeset
37 /* When the first line starts with #! it's a "shebang" */
29c33ce6c5bb - Added method scanShebang to class Lexer.
aziz
parents: 312
diff changeset
38 shebang { color: gray; }
330
44fc02d1eae6 - Renamed format.css to dil_xml.css.
aziz
parents: 328
diff changeset
39 /* Operator */
44fc02d1eae6 - Renamed format.css to dil_xml.css.
aziz
parents: 328
diff changeset
40 op { color: royalblue; }
312
fa0b6f32c1ae - Added Special to enum TOK.
aziz
parents: 306
diff changeset
41 /* Particular operators */
322
ed4ef0173793 - Moved out large TOK switch case to function printToken().
aziz
parents: 315
diff changeset
42 op[t=aa] { content: "and"; } /*&& ∧*/
ed4ef0173793 - Moved out large TOK switch case to function printToken().
aziz
parents: 315
diff changeset
43 op[t=oo] { content: "or"; } /*|| ∨*/
ed4ef0173793 - Moved out large TOK switch case to function printToken().
aziz
parents: 315
diff changeset
44 op[t=n] { content: "¬"; } /*!*/
ed4ef0173793 - Moved out large TOK switch case to function printToken().
aziz
parents: 315
diff changeset
45 op[t=ne] { content: "≠"; } /*!=*/
ed4ef0173793 - Moved out large TOK switch case to function printToken().
aziz
parents: 315
diff changeset
46 op[t=le] { content: "≤"; } /*<=*/
ed4ef0173793 - Moved out large TOK switch case to function printToken().
aziz
parents: 315
diff changeset
47 op[t=ge] { content: "≥"; } /*>=*/
ed4ef0173793 - Moved out large TOK switch case to function printToken().
aziz
parents: 315
diff changeset
48 op[t=lg] { content: "≶"; } /*<>*/
ed4ef0173793 - Moved out large TOK switch case to function printToken().
aziz
parents: 315
diff changeset
49 /*
ed4ef0173793 - Moved out large TOK switch case to function printToken().
aziz
parents: 315
diff changeset
50 d = Declaration
ed4ef0173793 - Moved out large TOK switch case to function printToken().
aziz
parents: 315
diff changeset
51 s = Statement
ed4ef0173793 - Moved out large TOK switch case to function printToken().
aziz
parents: 315
diff changeset
52 e = Expression
ed4ef0173793 - Moved out large TOK switch case to function printToken().
aziz
parents: 315
diff changeset
53 t = Type
ed4ef0173793 - Moved out large TOK switch case to function printToken().
aziz
parents: 315
diff changeset
54 o = Other
ed4ef0173793 - Moved out large TOK switch case to function printToken().
aziz
parents: 315
diff changeset
55 */
521
772ffdb18fd4 Fix: added 'Cent' to enum TID.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents: 359
diff changeset
56 o[t=Linkage] i, o[t=Linkage] op
772ffdb18fd4 Fix: added 'Cent' to enum TID.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents: 359
diff changeset
57 {
772ffdb18fd4 Fix: added 'Cent' to enum TID.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents: 359
diff changeset
58 color: red;
772ffdb18fd4 Fix: added 'Cent' to enum TID.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents: 359
diff changeset
59 }
322
ed4ef0173793 - Moved out large TOK switch case to function printToken().
aziz
parents: 315
diff changeset
60 /* d { background-color: #FFDDDD; } */
521
772ffdb18fd4 Fix: added 'Cent' to enum TID.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents: 359
diff changeset
61 /* e { background-color: #DDDDFF; } */
322
ed4ef0173793 - Moved out large TOK switch case to function printToken().
aziz
parents: 315
diff changeset
62 d[t=Module] i, d[t=Import] i { color: blue; }
521
772ffdb18fd4 Fix: added 'Cent' to enum TID.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents: 359
diff changeset
63 t > i { color: #911; }
772ffdb18fd4 Fix: added 'Cent' to enum TID.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents: 359
diff changeset
64 t > br, t > op { color: #911; }
772ffdb18fd4 Fix: added 'Cent' to enum TID.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents: 359
diff changeset
65 t[t=Integral] k { color: #911; font-weight: normal; }