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

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
comparison
equal deleted inserted replaced
770:26d8ed59806d 771:ef9bee5a2d61
1 @charset "utf-8"; 1 @charset "utf-8";
2 .compilerinfo, .sourcecode { 2 .compilerinfo, .sourcecode, .linescolumn {
3 display: block;
4 white-space: pre; 3 white-space: pre;
5 font-family: Monospace; 4 font-family: Monospace;
6 font-size: 0.8em; 5 font-size: 0.8em;
6 }
7 .compilerinfo, .sourcecode {
8 display: block;
7 } 9 }
8 .compilerinfo { 10 .compilerinfo {
9 white-space: normal; 11 white-space: normal;
10 border: 1px solid #A22; 12 border: 1px solid #A22;
11 padding: 0.5em; 13 padding: 0.5em;
12 margin: 1em; 14 margin: 1em;
13 } 15 }
14 .compilerinfo .error { display: block; } 16 .compilerinfo .error { display: block; }
17 .linescolumn {
18 float: left;
19 text-align: right;
20 margin-right: 0.2em;
21 border-right: 1px solid gray;
22 }
23 .linescolumn a { display: block; }
15 /* Number */ 24 /* Number */
16 .n { color: teal; } 25 .n { color: teal; }
17 /* Keyword */ 26 /* Keyword */
18 .k { color: darkblue; font-weight: bold; } 27 .k { color: darkblue; font-weight: bold; }
19 /* Line and block comments */ 28 /* Line, block and nested comments */
20 .cl, .ct { color: green; } 29 .lc, .bc, .nc { color: green; }
21 /* Nested comments */
22 .cn { color: darkgreen; }
23 /* Identifier */ 30 /* Identifier */
24 .i { color: black; } 31 .i { color: black; }
25 /* String literal */ 32 /* String literal */
26 .sl { color: red; } 33 .sl { color: red; }
27 /* Character literal */ 34 /* Character literal */
28 .chl { color: purple; } 35 .cl { color: purple; }
29 /* All bracket types */ 36 /* All bracket types */
30 .br { color: orange; } 37 .br { color: orange; }
31 /* Special tokens */ 38 /* Special tokens */
32 .st { color: green; font-weight: bold; } 39 .st { color: green; font-weight: bold; }
33 /* #line, hash line */ 40 /* #line, hash line */
35 /* filespec (e.g. #line number [filespec]) */ 42 /* filespec (e.g. #line number [filespec]) */
36 .fs { color: purple;} 43 .fs { color: purple;}
37 /* When the first line starts with #! it's a "shebang" */ 44 /* When the first line starts with #! it's a "shebang" */
38 .shebang { color: gray; } 45 .shebang { color: gray; }
39 /* Operator */ 46 /* Operator */
40 .op { color: royalblue; } 47 /*.op { color: royalblue; }*/
41 /* Particular operators */ 48 /* Particular operators */
42 .opaa { content: "and"; } /*&& ∧*/ 49 /*.opaa { content: "and"; }*/ /*&& ∧*/
43 .opoo { content: "or"; } /*|| ∨*/ 50 /*.opoo { content: "or"; }*/ /*|| ∨*/
44 .opn { content: "¬"; } /*!*/ 51 /*.opn { content: "¬"; }*/ /*!*/
45 .opne { content: "≠"; } /*!=*/ 52 /*.opne { content: "≠"; }*/ /*!=*/
46 .ople { content: "≤"; } /*<=*/ 53 /*.ople { content: "≤"; }*/ /*<=*/
47 .opge { content: "≥"; } /*>=*/ 54 /*.opge { content: "≥"; }*/ /*>=*/
48 .oplg { content: "≶"; } /*<>*/ 55 /*.oplg { content: "≶"; }*/ /*<>*/
49 /* 56 /*
50 d = Declaration 57 d = Declaration
51 s = Statement 58 s = Statement
52 e = Expression 59 e = Expression
53 t = Type 60 t = Type
54 o = Other 61 o = Other
55 */ 62 */
56 /* .d { background-color: #FFDDDD; } */ 63 /* .d { background-color: #FFDDDD; } */
57 /* .e { background-color: #DDDDFF; } */ 64 /* .e { background-color: #DDDDFF; } */
58 .d.Module .i, .d.Import .i { color: blue; } 65 .d.Module .i, .d.Import .i { color: blue; }
59 .t .i { color: #911; } 66 .t .i, .TemplateTypeParameter .i { color: #911; }
60 .t .br, .t .op { color: #911; } 67 .t .br, .t .op { color: #911; }
61 .t .k { color: #911; font-weight: normal; } 68 .t .k { color: #911; font-weight: normal; }