Mercurial > projects > dil
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 |
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 | 2 compilerinfo, sourcetext { |
6 | 3 display: block; |
4 white-space: pre; | |
5 font-family: Monospace; | |
6 font-size: 0.8em; | |
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 | 14 compilerinfo error { display: block; } |
312 | 15 /* Number */ |
58 | 16 n { color: teal; } |
312 | 17 /* Keyword */ |
28 | 18 k { color: darkblue; font-weight: bold; } |
312 | 19 /* Line and block comments */ |
306 | 20 c[c=l], c[c=b] { color: green; } |
312 | 21 /* Nested comments */ |
306 | 22 c[c=n] { color: darkgreen; } |
312 | 23 /* Identifier */ |
44
5055947e0f98
- Specific operators and comments can be formatted with CSS now.
aziz
parents:
33
diff
changeset
|
24 i { color: black; } |
312 | 25 /* String literal */ |
9
5d6968cc751e
- Parsing string and character literals now (rudimentary implementation.)
aziz
parents:
6
diff
changeset
|
26 sl { color: red; } |
312 | 27 /* Character literal */ |
14 | 28 cl { color: purple; } |
312 | 29 /* Operator */ |
33 | 30 op { color: royalblue; } |
312 | 31 /* All bracket types */ |
28 | 32 br { color: orange; } |
312 | 33 /* Special tokens */ |
34 st { color: green; font-weight: bold; } | |
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: "≶"; } /*<>*/ |