Mercurial > projects > dil

annotate src/xml.css @ 806:bcb74c9b895c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Moved out files in the trunk folder to the root.
author Aziz K?ksal <aziz.koeksal@gmail.com>
date Sun, 09 Mar 2008 00:12:19 +0100
parents trunk/src/xml.css@ef9bee5a2d61
children
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";
771
ef9bee5a2d61 Command 'generate' can print line numbers now.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents: 598
diff changeset
2 compilerinfo, sourcecode, linescolumn {
6
9980a2a34236 - Added style sheet.
aziz
parents:
diff changeset
3 white-space: pre;
9980a2a34236 - Added style sheet.
aziz
parents:
diff changeset
4 font-family: Monospace;
9980a2a34236 - Added style sheet.
aziz
parents:
diff changeset
5 font-size: 0.8em;
9980a2a34236 - Added style sheet.
aziz
parents:
diff changeset
6 }
771
ef9bee5a2d61 Command 'generate' can print line numbers now.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents: 598
diff changeset
7 compilerinfo, sourcecode {
ef9bee5a2d61 Command 'generate' can print line numbers now.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents: 598
diff changeset
8 display: block;
ef9bee5a2d61 Command 'generate' can print line numbers now.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents: 598
diff changeset
9 }
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
10 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
11 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
12 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
13 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
14 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
15 }
51
cadd2bfe686c - Displaying error messages in XML.
aziz
parents: 44
diff changeset
16 compilerinfo error { display: block; }
771
ef9bee5a2d61 Command 'generate' can print line numbers now.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents: 598
diff changeset
17 linescolumn {
ef9bee5a2d61 Command 'generate' can print line numbers now.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents: 598
diff changeset
18 display: block;
ef9bee5a2d61 Command 'generate' can print line numbers now.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents: 598
diff changeset
19 float: left;
ef9bee5a2d61 Command 'generate' can print line numbers now.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents: 598
diff changeset
20 text-align: right;
ef9bee5a2d61 Command 'generate' can print line numbers now.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents: 598
diff changeset
21 margin-right: 0.2em;
ef9bee5a2d61 Command 'generate' can print line numbers now.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents: 598
diff changeset
22 border-right: 1px solid gray;
ef9bee5a2d61 Command 'generate' can print line numbers now.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents: 598
diff changeset
23 }
ef9bee5a2d61 Command 'generate' can print line numbers now.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents: 598
diff changeset
24 linescolumn a { display: block; color: #555; }
312
fa0b6f32c1ae - Added Special to enum TOK.
aziz
parents: 306
diff changeset
25 /* Number */
58
50bb7fc9db44 - The types of integers are recognized now.
aziz
parents: 52
diff changeset
26 n { color: teal; }
312
fa0b6f32c1ae - Added Special to enum TOK.
aziz
parents: 306
diff changeset
27 /* Keyword */
28
3a9daccf7d96 - Added table for identifiers to Lexer.
aziz
parents: 14
diff changeset
28 k { color: darkblue; font-weight: bold; }
771
ef9bee5a2d61 Command 'generate' can print line numbers now.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents: 598
diff changeset
29 /* Line, block and nested comments */
ef9bee5a2d61 Command 'generate' can print line numbers now.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents: 598
diff changeset
30 lc, bc, nc { color: green; }
312
fa0b6f32c1ae - Added Special to enum TOK.
aziz
parents: 306
diff changeset
31 /* Identifier */
44
5055947e0f98 - Specific operators and comments can be formatted with CSS now.
aziz
parents: 33
diff changeset
32 i { color: black; }
312
fa0b6f32c1ae - Added Special to enum TOK.
aziz
parents: 306
diff changeset
33 /* String literal */
9
5d6968cc751e - Parsing string and character literals now (rudimentary implementation.)
aziz
parents: 6
diff changeset
34 sl { color: red; }
312
fa0b6f32c1ae - Added Special to enum TOK.
aziz
parents: 306
diff changeset
35 /* Character literal */
14
cdf788d8bdaf - Parsing /= now.
aziz
parents: 9
diff changeset
36 cl { color: purple; }
312
fa0b6f32c1ae - Added Special to enum TOK.
aziz
parents: 306
diff changeset
37 /* All bracket types */
28
3a9daccf7d96 - Added table for identifiers to Lexer.
aziz
parents: 14
diff changeset
38 br { color: orange; }
312
fa0b6f32c1ae - Added Special to enum TOK.
aziz
parents: 306
diff changeset
39 /* Special tokens */
fa0b6f32c1ae - Added Special to enum TOK.
aziz
parents: 306
diff changeset
40 st { color: green; font-weight: bold; }
328
39f93a4ec416 - Added code for printing #line and filespec tokens.
aziz
parents: 322
diff changeset
41 /* #line, hash line */
39f93a4ec416 - Added code for printing #line and filespec tokens.
aziz
parents: 322
diff changeset
42 hl { color: green; }
39f93a4ec416 - Added code for printing #line and filespec tokens.
aziz
parents: 322
diff changeset
43 /* filespec (e.g. #line number [filespec]) */
39f93a4ec416 - Added code for printing #line and filespec tokens.
aziz
parents: 322
diff changeset
44 fs { color: purple;}
315
29c33ce6c5bb - Added method scanShebang to class Lexer.
aziz
parents: 312
diff changeset
45 /* When the first line starts with #! it's a "shebang" */
29c33ce6c5bb - Added method scanShebang to class Lexer.
aziz
parents: 312
diff changeset
46 shebang { color: gray; }
771
ef9bee5a2d61 Command 'generate' can print line numbers now.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents: 598
diff changeset
47 /* Deprecated styles. */
330
44fc02d1eae6 - Renamed format.css to dil_xml.css.
aziz
parents: 328
diff changeset
48 /* Operator */
771
ef9bee5a2d61 Command 'generate' can print line numbers now.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents: 598
diff changeset
49 /*op { color: royalblue; }*/
312
fa0b6f32c1ae - Added Special to enum TOK.
aziz
parents: 306
diff changeset
50 /* Particular operators */
771
ef9bee5a2d61 Command 'generate' can print line numbers now.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents: 598
diff changeset
51 /*op[t=aa] { content: "and"; }*/ /*&& ∧*/
ef9bee5a2d61 Command 'generate' can print line numbers now.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents: 598
diff changeset
52 /*op[t=oo] { content: "or"; }*/ /*|| ∨*/
ef9bee5a2d61 Command 'generate' can print line numbers now.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents: 598
diff changeset
53 /*op[t=n] { content: "¬"; }*/ /*!*/
ef9bee5a2d61 Command 'generate' can print line numbers now.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents: 598
diff changeset
54 /*op[t=ne] { content: "≠"; }*/ /*!=*/
ef9bee5a2d61 Command 'generate' can print line numbers now.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents: 598
diff changeset
55 /*op[t=le] { content: "≤"; }*/ /*<=*/
ef9bee5a2d61 Command 'generate' can print line numbers now.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents: 598
diff changeset
56 /*op[t=ge] { content: "≥"; }*/ /*>=*/
ef9bee5a2d61 Command 'generate' can print line numbers now.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents: 598
diff changeset
57 /*op[t=lg] { content: "≶"; }*/ /*<>*/
322
ed4ef0173793 - Moved out large TOK switch case to function printToken().
aziz
parents: 315
diff changeset
58 /*
ed4ef0173793 - Moved out large TOK switch case to function printToken().
aziz
parents: 315
diff changeset
59 d = Declaration
ed4ef0173793 - Moved out large TOK switch case to function printToken().
aziz
parents: 315
diff changeset
60 s = Statement
ed4ef0173793 - Moved out large TOK switch case to function printToken().
aziz
parents: 315
diff changeset
61 e = Expression
ed4ef0173793 - Moved out large TOK switch case to function printToken().
aziz
parents: 315
diff changeset
62 t = Type
ed4ef0173793 - Moved out large TOK switch case to function printToken().
aziz
parents: 315
diff changeset
63 o = Other
ed4ef0173793 - Moved out large TOK switch case to function printToken().
aziz
parents: 315
diff changeset
64 */
ed4ef0173793 - Moved out large TOK switch case to function printToken().
aziz
parents: 315
diff changeset
65 /* d { background-color: #FFDDDD; } */
521
772ffdb18fd4 Fix: added 'Cent' to enum TID.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents: 359
diff changeset
66 /* e { background-color: #DDDDFF; } */
566
84fde575a2fe Added a style.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents: 521
diff changeset
67 d[t=Illegal], s[t=Illegal] { background-color: #DD4422; }
322
ed4ef0173793 - Moved out large TOK switch case to function printToken().
aziz
parents: 315
diff changeset
68 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
69 t > i { color: #911; }
772ffdb18fd4 Fix: added 'Cent' to enum TID.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents: 359
diff changeset
70 t > br, t > op { color: #911; }
772ffdb18fd4 Fix: added 'Cent' to enum TID.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents: 359
diff changeset
71 t[t=Integral] k { color: #911; font-weight: normal; }