annotate trunk/src/format.css @ 58:50bb7fc9db44

- The types of integers are recognized now. - Fix: continue statement missing in integer scanner.
author aziz
date Fri, 29 Jun 2007 05:47:00 +0000
parents f65a83c27638
children 9c866aadcb5b
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; }
58
50bb7fc9db44 - The types of integers are recognized now.
aziz
parents: 52
diff changeset
15 n { color: teal; }
28
3a9daccf7d96 - Added table for identifiers to Lexer.
aziz
parents: 14
diff changeset
16 k { color: darkblue; font-weight: bold; }
44
5055947e0f98 - Specific operators and comments can be formatted with CSS now.
aziz
parents: 33
diff changeset
17 c[c=lc], c[c=bc] { color: green; }
5055947e0f98 - Specific operators and comments can be formatted with CSS now.
aziz
parents: 33
diff changeset
18 c[c=nc] { color: darkgreen; }
5055947e0f98 - Specific operators and comments can be formatted with CSS now.
aziz
parents: 33
diff changeset
19 i { color: black; }
9
5d6968cc751e - Parsing string and character literals now (rudimentary implementation.)
aziz
parents: 6
diff changeset
20 sl { color: red; }
14
cdf788d8bdaf - Parsing /= now.
aziz
parents: 9
diff changeset
21 cl { color: purple; }
33
cf3047cf3cd2 - Added code for parsing back quote and raw strings.
aziz
parents: 28
diff changeset
22 op { color: royalblue; }
28
3a9daccf7d96 - Added table for identifiers to Lexer.
aziz
parents: 14
diff changeset
23 br { color: orange; }
44
5055947e0f98 - Specific operators and comments can be formatted with CSS now.
aziz
parents: 33
diff changeset
24 op[c=aa] { content: "and"; } /*&& ∧*/
5055947e0f98 - Specific operators and comments can be formatted with CSS now.
aziz
parents: 33
diff changeset
25 op[c=oo] { content: "or"; } /*|| ∨*/
5055947e0f98 - Specific operators and comments can be formatted with CSS now.
aziz
parents: 33
diff changeset
26 op[c=n] { content: "¬"; } /*!*/
5055947e0f98 - Specific operators and comments can be formatted with CSS now.
aziz
parents: 33
diff changeset
27 op[c=ne] { content: "≠"; } /*!=*/
5055947e0f98 - Specific operators and comments can be formatted with CSS now.
aziz
parents: 33
diff changeset
28 op[c=le] { content: "≤"; } /*<=*/
5055947e0f98 - Specific operators and comments can be formatted with CSS now.
aziz
parents: 33
diff changeset
29 op[c=ge] { content: "≥"; } /*>=*/
5055947e0f98 - Specific operators and comments can be formatted with CSS now.
aziz
parents: 33
diff changeset
30 op[c=lg] { content: "≶"; } /*<>*/