Mercurial > projects > dil

annotate trunk/src/html.css @ 709:7e7c85235673

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Changed CSS class .cl to .chl.
author Aziz K?ksal <aziz.koeksal@gmail.com>
date Tue, 29 Jan 2008 22:11:19 +0100
parents 4ba8157bde1f
children ef9bee5a2d61
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
330
44fc02d1eae6 - Renamed format.css to dil_xml.css.
aziz
parents:
diff changeset
1 @charset "utf-8";
44fc02d1eae6 - Renamed format.css to dil_xml.css.
aziz
parents:
diff changeset
2 .compilerinfo, .sourcecode {
44fc02d1eae6 - Renamed format.css to dil_xml.css.
aziz
parents:
diff changeset
3 display: block;
44fc02d1eae6 - Renamed format.css to dil_xml.css.
aziz
parents:
diff changeset
4 white-space: pre;
44fc02d1eae6 - Renamed format.css to dil_xml.css.
aziz
parents:
diff changeset
5 font-family: Monospace;
44fc02d1eae6 - Renamed format.css to dil_xml.css.
aziz
parents:
diff changeset
6 font-size: 0.8em;
44fc02d1eae6 - Renamed format.css to dil_xml.css.
aziz
parents:
diff changeset
7 }
44fc02d1eae6 - Renamed format.css to dil_xml.css.
aziz
parents:
diff changeset
8 .compilerinfo {
44fc02d1eae6 - Renamed format.css to dil_xml.css.
aziz
parents:
diff changeset
9 white-space: normal;
44fc02d1eae6 - Renamed format.css to dil_xml.css.
aziz
parents:
diff changeset
10 border: 1px solid #A22;
44fc02d1eae6 - Renamed format.css to dil_xml.css.
aziz
parents:
diff changeset
11 padding: 0.5em;
44fc02d1eae6 - Renamed format.css to dil_xml.css.
aziz
parents:
diff changeset
12 margin: 1em;
44fc02d1eae6 - Renamed format.css to dil_xml.css.
aziz
parents:
diff changeset
13 }
44fc02d1eae6 - Renamed format.css to dil_xml.css.
aziz
parents:
diff changeset
14 .compilerinfo .error { display: block; }
44fc02d1eae6 - Renamed format.css to dil_xml.css.
aziz
parents:
diff changeset
15 /* Number */
44fc02d1eae6 - Renamed format.css to dil_xml.css.
aziz
parents:
diff changeset
16 .n { color: teal; }
44fc02d1eae6 - Renamed format.css to dil_xml.css.
aziz
parents:
diff changeset
17 /* Keyword */
44fc02d1eae6 - Renamed format.css to dil_xml.css.
aziz
parents:
diff changeset
18 .k { color: darkblue; font-weight: bold; }
44fc02d1eae6 - Renamed format.css to dil_xml.css.
aziz
parents:
diff changeset
19 /* Line and block comments */
44fc02d1eae6 - Renamed format.css to dil_xml.css.
aziz
parents:
diff changeset
20 .cl, .ct { color: green; }
44fc02d1eae6 - Renamed format.css to dil_xml.css.
aziz
parents:
diff changeset
21 /* Nested comments */
44fc02d1eae6 - Renamed format.css to dil_xml.css.
aziz
parents:
diff changeset
22 .cn { color: darkgreen; }
44fc02d1eae6 - Renamed format.css to dil_xml.css.
aziz
parents:
diff changeset
23 /* Identifier */
44fc02d1eae6 - Renamed format.css to dil_xml.css.
aziz
parents:
diff changeset
24 .i { color: black; }
44fc02d1eae6 - Renamed format.css to dil_xml.css.
aziz
parents:
diff changeset
25 /* String literal */
44fc02d1eae6 - Renamed format.css to dil_xml.css.
aziz
parents:
diff changeset
26 .sl { color: red; }
44fc02d1eae6 - Renamed format.css to dil_xml.css.
aziz
parents:
diff changeset
27 /* Character literal */
709
7e7c85235673 Changed CSS class .cl to .chl.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents: 598
diff changeset
28 .chl { color: purple; }
330
44fc02d1eae6 - Renamed format.css to dil_xml.css.
aziz
parents:
diff changeset
29 /* All bracket types */
44fc02d1eae6 - Renamed format.css to dil_xml.css.
aziz
parents:
diff changeset
30 .br { color: orange; }
44fc02d1eae6 - Renamed format.css to dil_xml.css.
aziz
parents:
diff changeset
31 /* Special tokens */
44fc02d1eae6 - Renamed format.css to dil_xml.css.
aziz
parents:
diff changeset
32 .st { color: green; font-weight: bold; }
44fc02d1eae6 - Renamed format.css to dil_xml.css.
aziz
parents:
diff changeset
33 /* #line, hash line */
44fc02d1eae6 - Renamed format.css to dil_xml.css.
aziz
parents:
diff changeset
34 .hl { color: green; }
44fc02d1eae6 - Renamed format.css to dil_xml.css.
aziz
parents:
diff changeset
35 /* filespec (e.g. #line number [filespec]) */
44fc02d1eae6 - Renamed format.css to dil_xml.css.
aziz
parents:
diff changeset
36 .fs { color: purple;}
44fc02d1eae6 - Renamed format.css to dil_xml.css.
aziz
parents:
diff changeset
37 /* When the first line starts with #! it's a "shebang" */
44fc02d1eae6 - Renamed format.css to dil_xml.css.
aziz
parents:
diff changeset
38 .shebang { color: gray; }
44fc02d1eae6 - Renamed format.css to dil_xml.css.
aziz
parents:
diff changeset
39 /* Operator */
44fc02d1eae6 - Renamed format.css to dil_xml.css.
aziz
parents:
diff changeset
40 .op { color: royalblue; }
44fc02d1eae6 - Renamed format.css to dil_xml.css.
aziz
parents:
diff changeset
41 /* Particular operators */
44fc02d1eae6 - Renamed format.css to dil_xml.css.
aziz
parents:
diff changeset
42 .opaa { content: "and"; } /*&& ∧*/
44fc02d1eae6 - Renamed format.css to dil_xml.css.
aziz
parents:
diff changeset
43 .opoo { content: "or"; } /*|| ∨*/
44fc02d1eae6 - Renamed format.css to dil_xml.css.
aziz
parents:
diff changeset
44 .opn { content: "¬"; } /*!*/
44fc02d1eae6 - Renamed format.css to dil_xml.css.
aziz
parents:
diff changeset
45 .opne { content: "≠"; } /*!=*/
44fc02d1eae6 - Renamed format.css to dil_xml.css.
aziz
parents:
diff changeset
46 .ople { content: "≤"; } /*<=*/
44fc02d1eae6 - Renamed format.css to dil_xml.css.
aziz
parents:
diff changeset
47 .opge { content: "≥"; } /*>=*/
44fc02d1eae6 - Renamed format.css to dil_xml.css.
aziz
parents:
diff changeset
48 .oplg { content: "≶"; } /*<>*/
44fc02d1eae6 - Renamed format.css to dil_xml.css.
aziz
parents:
diff changeset
49 /*
44fc02d1eae6 - Renamed format.css to dil_xml.css.
aziz
parents:
diff changeset
50 d = Declaration
44fc02d1eae6 - Renamed format.css to dil_xml.css.
aziz
parents:
diff changeset
51 s = Statement
44fc02d1eae6 - Renamed format.css to dil_xml.css.
aziz
parents:
diff changeset
52 e = Expression
44fc02d1eae6 - Renamed format.css to dil_xml.css.
aziz
parents:
diff changeset
53 t = Type
44fc02d1eae6 - Renamed format.css to dil_xml.css.
aziz
parents:
diff changeset
54 o = Other
44fc02d1eae6 - Renamed format.css to dil_xml.css.
aziz
parents:
diff changeset
55 */
44fc02d1eae6 - Renamed format.css to dil_xml.css.
aziz
parents:
diff changeset
56 /* .d { background-color: #FFDDDD; } */
521
772ffdb18fd4 Fix: added 'Cent' to enum TID.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents: 330
diff changeset
57 /* .e { background-color: #DDDDFF; } */
330
44fc02d1eae6 - Renamed format.css to dil_xml.css.
aziz
parents:
diff changeset
58 .d.Module .i, .d.Import .i { color: blue; }
521
772ffdb18fd4 Fix: added 'Cent' to enum TID.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents: 330
diff changeset
59 .t .i { color: #911; }
772ffdb18fd4 Fix: added 'Cent' to enum TID.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents: 330
diff changeset
60 .t .br, .t .op { color: #911; }
772ffdb18fd4 Fix: added 'Cent' to enum TID.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents: 330
diff changeset
61 .t .k { color: #911; font-weight: normal; }