Mercurial > projects > dil

annotate trunk/src/format.css @ 51:cadd2bfe686c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
- Displaying error messages in XML. - Made fixes to the special token scanner.
author aziz
date Wed, 27 Jun 2007 16:43:00 +0000
parents 5055947e0f98
children f65a83c27638
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 }
51
cadd2bfe686c - Displaying error messages in XML.
aziz
parents: 44
diff changeset
8 compilerinfo { white-space: normal; border: 1px solid #A22; padding: 0.5em; margin: 1em;}
cadd2bfe686c - Displaying error messages in XML.
aziz
parents: 44
diff changeset
9 compilerinfo error { display: block; }
28
3a9daccf7d96 - Added table for identifiers to Lexer.
aziz
parents: 14
diff changeset
10 k { color: darkblue; font-weight: bold; }
44
5055947e0f98 - Specific operators and comments can be formatted with CSS now.
aziz
parents: 33
diff changeset
11 c[c=lc], c[c=bc] { color: green; }
5055947e0f98 - Specific operators and comments can be formatted with CSS now.
aziz
parents: 33
diff changeset
12 c[c=nc] { color: darkgreen; }
5055947e0f98 - Specific operators and comments can be formatted with CSS now.
aziz
parents: 33
diff changeset
13 i { color: black; }
9
5d6968cc751e - Parsing string and character literals now (rudimentary implementation.)
aziz
parents: 6
diff changeset
14 sl { color: red; }
14
cdf788d8bdaf - Parsing /= now.
aziz
parents: 9
diff changeset
15 cl { color: purple; }
33
cf3047cf3cd2 - Added code for parsing back quote and raw strings.
aziz
parents: 28
diff changeset
16 op { color: royalblue; }
28
3a9daccf7d96 - Added table for identifiers to Lexer.
aziz
parents: 14
diff changeset
17 br { color: orange; }
44
5055947e0f98 - Specific operators and comments can be formatted with CSS now.
aziz
parents: 33
diff changeset
18 op[c=aa] { content: "and"; } /*&& ∧*/
5055947e0f98 - Specific operators and comments can be formatted with CSS now.
aziz
parents: 33
diff changeset
19 op[c=oo] { content: "or"; } /*|| ∨*/
5055947e0f98 - Specific operators and comments can be formatted with CSS now.
aziz
parents: 33
diff changeset
20 op[c=n] { content: "¬"; } /*!*/
5055947e0f98 - Specific operators and comments can be formatted with CSS now.
aziz
parents: 33
diff changeset
21 op[c=ne] { content: "≠"; } /*!=*/
5055947e0f98 - Specific operators and comments can be formatted with CSS now.
aziz
parents: 33
diff changeset
22 op[c=le] { content: "≤"; } /*<=*/
5055947e0f98 - Specific operators and comments can be formatted with CSS now.
aziz
parents: 33
diff changeset
23 op[c=ge] { content: "≥"; } /*>=*/
5055947e0f98 - Specific operators and comments can be formatted with CSS now.
aziz
parents: 33
diff changeset
24 op[c=lg] { content: "≶"; } /*<>*/