Mercurial > projects > dil

annotate trunk/src/html.css @ 771:ef9bee5a2d61

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