blob: b36460c3eb10f12180d897309722abc3239b88b2 (
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
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
|
/* syntax highlighting code */
.code .br0 { color: #66cc66; }
.code .co0 { color: #666666; font-style: italic; }
.code .co1 { color: #808080; font-style: italic; }
.code .co2 { color: #339933; }
.code .co3 { color: #008080; }
.code .co4 { color: #cc0000; font-style: italic; }
.code .coMULTI { color: #808080; font-style: italic; }
.code .es0 { color: #000099; font-weight: bold; }
.code .es1 { color: #000099; font-weight: bold; }
.code .es2 { color: #660099; font-weight: bold; }
.code .es3 { color: #660099; font-weight: bold; }
.code .es4 { color: #660099; font-weight: bold; }
.code .es5 { color: #006699; font-weight: bold; }
.code .es6 { color: #009933; font-weight: bold; }
.code .esHARD { color: #000099; font-weight: bold; }
.code .kw1 { color: #b1b100; }
.code .kw10 { color: #003399; font-weight: bold; }
.code .kw11 { color: #003399; font-weight: bold; }
.code .kw12 { color: #003399; font-weight: bold; }
.code .kw13 { color: #006600; }
.code .kw14 { color: #006600; }
.code .kw15 { color: #006600; }
.code .kw16 { color: #006600; }
.code .kw2 { color: #000000; font-weight: bold; }
.code .kw3 { color: #000066; }
.code .kw4 { color: #993333; }
.code .kw5 { color: #008000; }
.code .kw6 { color: #f08; font-weight:bold; }
.code .kw7 { color: #000066; }
.code .kw8 { color: #b1b100; }
.code .kw9 { color: #003399; font-weight: bold; }
.code .me0 { color: #004000; }
.code .me1 { color: #006600; }
.code .me2 { color: #006600; }
.code .nu0 { color: #cc66cc; }
.code .re0 { color: #0000ff; }
.code .re1 { color: #ff0000; }
.code .re2 { color: #993333; }
.code .re3 { color:#ff3333; font-weight:bold; }
.code .re4 { color: #009999; }
.code .re5 { color: #660033; }
.code .sc-1 { color: #808080; font-style: italic; }
.code .sc-2 { color: #404040; }
.code .st0 { color: #ff0000; }
.code .st_h { color: #ff0000; }
.code .sy0 { color: #66cc66; }
.code .sy1 { color: #339933; }
.code .sy2 { color: #000066; }
.code .sy3 { color: #000040; }
.code .sy4 { color: #008080; }
|
