Mercurial > projects > dil
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 |
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; } |
58 | 15 n { color: teal; } |
28 | 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 | 21 cl { color: purple; } |
33 | 22 op { color: royalblue; } |
28 | 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: "≶"; } /*<>*/ |