Mercurial > projects > dil

annotate trunk/src/html.css @ 795:069317bb84cf

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