blob: 52b58d54119b4d33d09ad5194f067e612b05a5fd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
pre {
BORDER-RIGHT: gray 1pt solid;
PADDING-RIGHT: 2pt;
BORDER-TOP: gray 1pt solid;
DISPLAY: block;
PADDING-LEFT: 2pt;
PADDING-BOTTOM: 2pt;
MARGIN-LEFT: 32pt;
BORDER-LEFT: gray 1pt solid;
MARGIN-RIGHT: 32pt;
PADDING-TOP: 2pt;
BORDER-BOTTOM: gray 1pt solid;
FONT-FAMILY: "Courier New", Courier, mono; background-color: #191970;
font-size: small
}
.keyword { font-weight: bold; color: #afeeee}
.identifier { color: #98fb98 }
.comment { color: #add8e6}
.special { color: #bebebe}
.preprocessor { color: #7fffd4}
.string { color: #87cefa}
.number { color: #bebebe}
.literal { color: #FF0000}
/* $Id$ */
|