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

Improved CSS document.
author Aziz K?ksal <aziz.koeksal@gmail.com>
date Fri, 29 Feb 2008 03:04:15 +0100
parents ef9bee5a2d61
children
comparison
equal deleted inserted replaced
794:a7320b7cb7dc 795:069317bb84cf
1 @charset "utf-8"; 1 @charset "utf-8";
2 .compilerinfo, .sourcecode, .linescolumn { 2 .compilerinfo, .sourcecode, .linescolumn {
3 white-space: pre; 3 white-space: pre;
4 font-family: Monospace; 4 font-family: Monospace;
5 font-size: 0.8em; 5 font-size: 0.8em;
6 } 6 margin:0;
7 .compilerinfo, .sourcecode { 7 padding:0;
8 display: block;
9 } 8 }
10 .compilerinfo { 9 .compilerinfo {
11 white-space: normal; 10 white-space: normal;
12 border: 1px solid #A22; 11 border: 1px solid #A22;
13 padding: 0.5em; 12 padding: 0.5em;
14 margin: 1em; 13 margin: 1em;
15 } 14 }
16 .compilerinfo .error { display: block; } 15 .compilerinfo .error { display: block; }
17 .linescolumn { 16 .linescolumn {
18 float: left;
19 text-align: right; 17 text-align: right;
20 margin-right: 0.2em; 18 padding-right: 0.3em;
21 border-right: 1px solid gray; 19 border-right: 1px dotted gray;
22 } 20 }
23 .linescolumn a { display: block; } 21 .linescolumn a {
22 display: block;
23 color: #44B;
24 text-decoration: none;
25 }
24 /* Number */ 26 /* Number */
25 .n { color: teal; } 27 .n { color: teal; }
26 /* Keyword */ 28 /* Keyword */
27 .k { color: darkblue; font-weight: bold; } 29 .k { color: darkblue; font-weight: bold; }
28 /* Line, block and nested comments */ 30 /* Line, block and nested comments */
61 o = Other 63 o = Other
62 */ 64 */
63 /* .d { background-color: #FFDDDD; } */ 65 /* .d { background-color: #FFDDDD; } */
64 /* .e { background-color: #DDDDFF; } */ 66 /* .e { background-color: #DDDDFF; } */
65 .d.Module .i, .d.Import .i { color: blue; } 67 .d.Module .i, .d.Import .i { color: blue; }
66 .t .i, .TemplateTypeParameter .i { color: #911; } 68 /*.t .i,*/ .t.Identifier .i, .TemplateTypeParameter .i { color: #911; }
67 .t .br, .t .op { color: #911; } 69 .t .br, .t .op { color: #911; }
68 .t .k { color: #911; font-weight: normal; } 70 .t .k { color: #911; font-weight: normal; }