blob: 35e645a8041afa4eb4d377cab51f830f206637b0 (
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
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
|
.chroma { background-color: #f0f0f0; }
.chroma .err { color: #a61717; background-color: #e3d2d2; }
.chroma .lntd { vertical-align: top; padding: 0; margin: 0; border: 0; }
.chroma .lntable { border-spacing: 0; padding: 0; margin: 0; border: 0; width: auto; overflow: auto; display: block; }
.chroma .hl { display: block; width: 100%; background-color: #ffc; }
.chroma .lnt { margin-right: .4em; padding: 0 .4em 0 .4em; color: #7f7f7f; }
.chroma .ln { margin-right: .4em; padding: 0 .4em 0 .4em; color: #7f7f7f; }
.chroma .k { color: #000; font-weight: bold; }
.chroma .kc { color: #000; font-weight: bold; }
.chroma .kd { color: #000; font-weight: bold; }
.chroma .kn { color: #000; font-weight: bold; }
.chroma .kp { color: #000; font-weight: bold; }
.chroma .kr { color: #000; font-weight: bold; }
.chroma .kt { color: #458; font-weight: bold; }
.chroma .na { color: #008080; }
.chroma .nb { color: #0086b3; }
.chroma .bp { color: #999; }
.chroma .nc { color: #458; font-weight: bold; }
.chroma .no { color: #008080; }
.chroma .nd { color: #1f7199; font-weight: bold; }
.chroma .ni { color: #800080; }
.chroma .ne { color: #900; font-weight: bold; }
.chroma .nf { color: #800; font-weight: bold; }
.chroma .nl { color: #900; font-weight: bold; }
.chroma .nn { color: #555; }
.chroma .nt { color: #000080; }
.chroma .nv { color: #008080; }
.chroma .vc { color: #008080; }
.chroma .vg { color: #008080; }
.chroma .vi { color: #008080; }
.chroma .s { color: #d14; }
.chroma .sa { color: #d14; }
.chroma .sb { color: #d14; }
.chroma .sc { color: #d14; }
.chroma .dl { color: #d14; }
.chroma .sd { color: #d14; }
.chroma .s2 { color: #800; }
.chroma .se { color: #d14; }
.chroma .sh { color: #d14; }
.chroma .si { color: #d14; }
.chroma .sx { color: #d14; }
.chroma .sr { color: #009926; }
.chroma .s1 { color: #800; }
.chroma .ss { color: #990073; }
.chroma .m { color: #099; }
.chroma .mb { color: #099; }
.chroma .mf { color: #099; }
.chroma .mh { color: #099; }
.chroma .mi { color: #099; }
.chroma .il { color: #099; }
.chroma .mo { color: #099; }
.chroma .o { color: #000; font-weight: bold; }
.chroma .ow { color: #000; font-weight: bold; }
.chroma .c { color: #998; font-style: italic; }
.chroma .ch { color: #998; font-style: italic; }
.chroma .cm { color: #998; font-style: italic; }
.chroma .c1 { color: #998; font-style: italic; }
.chroma .cs { color: #999; font-weight: bold; font-style: italic; }
.chroma .cp { color: #999; font-weight: bold; font-style: italic; }
.chroma .cpf { color: #999; font-weight: bold; font-style: italic; }
.chroma .gd { color: #000; background-color: #fdd; }
.chroma .ge { color: #000; font-style: italic; }
.chroma .gr { color: #a00; }
.chroma .gh { color: #999; }
.chroma .gi { color: #000; background-color: #dfd; }
.chroma .go { color: #888; }
.chroma .gp { color: #555; }
.chroma .gs { font-weight: bold; }
.chroma .gu { color: #aaa; }
.chroma .gt { color: #a00; }
.chroma .gl { text-decoration: underline; }
.chroma .w { color: #bbb; }
|
