author | weiher |
Mon, 05 Feb 2018 16:51:33 +0100 | |
changeset 11 | ccfe3c7fa0d2 |
permissions | -rw-r--r-- |
11
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
1 |
.highlight .hll { background-color: #ffffcc } |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
2 |
.highlight { background: #eeffcc; } |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
3 |
.highlight .c { color: #408090; font-style: italic } /* Comment */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
4 |
.highlight .err { border: 1px solid #FF0000 } /* Error */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
5 |
.highlight .k { color: #007020; font-weight: bold } /* Keyword */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
6 |
.highlight .o { color: #666666 } /* Operator */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
7 |
.highlight .ch { color: #408090; font-style: italic } /* Comment.Hashbang */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
8 |
.highlight .cm { color: #408090; font-style: italic } /* Comment.Multiline */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
9 |
.highlight .cp { color: #007020 } /* Comment.Preproc */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
10 |
.highlight .cpf { color: #408090; font-style: italic } /* Comment.PreprocFile */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
11 |
.highlight .c1 { color: #408090; font-style: italic } /* Comment.Single */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
12 |
.highlight .cs { color: #408090; background-color: #fff0f0 } /* Comment.Special */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
13 |
.highlight .gd { color: #A00000 } /* Generic.Deleted */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
14 |
.highlight .ge { font-style: italic } /* Generic.Emph */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
15 |
.highlight .gr { color: #FF0000 } /* Generic.Error */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
16 |
.highlight .gh { color: #000080; font-weight: bold } /* Generic.Heading */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
17 |
.highlight .gi { color: #00A000 } /* Generic.Inserted */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
18 |
.highlight .go { color: #333333 } /* Generic.Output */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
19 |
.highlight .gp { color: #c65d09; font-weight: bold } /* Generic.Prompt */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
20 |
.highlight .gs { font-weight: bold } /* Generic.Strong */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
21 |
.highlight .gu { color: #800080; font-weight: bold } /* Generic.Subheading */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
22 |
.highlight .gt { color: #0044DD } /* Generic.Traceback */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
23 |
.highlight .kc { color: #007020; font-weight: bold } /* Keyword.Constant */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
24 |
.highlight .kd { color: #007020; font-weight: bold } /* Keyword.Declaration */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
25 |
.highlight .kn { color: #007020; font-weight: bold } /* Keyword.Namespace */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
26 |
.highlight .kp { color: #007020 } /* Keyword.Pseudo */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
27 |
.highlight .kr { color: #007020; font-weight: bold } /* Keyword.Reserved */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
28 |
.highlight .kt { color: #902000 } /* Keyword.Type */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
29 |
.highlight .m { color: #208050 } /* Literal.Number */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
30 |
.highlight .s { color: #4070a0 } /* Literal.String */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
31 |
.highlight .na { color: #4070a0 } /* Name.Attribute */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
32 |
.highlight .nb { color: #007020 } /* Name.Builtin */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
33 |
.highlight .nc { color: #0e84b5; font-weight: bold } /* Name.Class */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
34 |
.highlight .no { color: #60add5 } /* Name.Constant */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
35 |
.highlight .nd { color: #555555; font-weight: bold } /* Name.Decorator */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
36 |
.highlight .ni { color: #d55537; font-weight: bold } /* Name.Entity */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
37 |
.highlight .ne { color: #007020 } /* Name.Exception */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
38 |
.highlight .nf { color: #06287e } /* Name.Function */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
39 |
.highlight .nl { color: #002070; font-weight: bold } /* Name.Label */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
40 |
.highlight .nn { color: #0e84b5; font-weight: bold } /* Name.Namespace */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
41 |
.highlight .nt { color: #062873; font-weight: bold } /* Name.Tag */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
42 |
.highlight .nv { color: #bb60d5 } /* Name.Variable */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
43 |
.highlight .ow { color: #007020; font-weight: bold } /* Operator.Word */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
44 |
.highlight .w { color: #bbbbbb } /* Text.Whitespace */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
45 |
.highlight .mb { color: #208050 } /* Literal.Number.Bin */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
46 |
.highlight .mf { color: #208050 } /* Literal.Number.Float */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
47 |
.highlight .mh { color: #208050 } /* Literal.Number.Hex */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
48 |
.highlight .mi { color: #208050 } /* Literal.Number.Integer */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
49 |
.highlight .mo { color: #208050 } /* Literal.Number.Oct */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
50 |
.highlight .sa { color: #4070a0 } /* Literal.String.Affix */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
51 |
.highlight .sb { color: #4070a0 } /* Literal.String.Backtick */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
52 |
.highlight .sc { color: #4070a0 } /* Literal.String.Char */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
53 |
.highlight .dl { color: #4070a0 } /* Literal.String.Delimiter */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
54 |
.highlight .sd { color: #4070a0; font-style: italic } /* Literal.String.Doc */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
55 |
.highlight .s2 { color: #4070a0 } /* Literal.String.Double */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
56 |
.highlight .se { color: #4070a0; font-weight: bold } /* Literal.String.Escape */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
57 |
.highlight .sh { color: #4070a0 } /* Literal.String.Heredoc */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
58 |
.highlight .si { color: #70a0d0; font-style: italic } /* Literal.String.Interpol */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
59 |
.highlight .sx { color: #c65d09 } /* Literal.String.Other */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
60 |
.highlight .sr { color: #235388 } /* Literal.String.Regex */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
61 |
.highlight .s1 { color: #4070a0 } /* Literal.String.Single */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
62 |
.highlight .ss { color: #517918 } /* Literal.String.Symbol */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
63 |
.highlight .bp { color: #007020 } /* Name.Builtin.Pseudo */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
64 |
.highlight .fm { color: #06287e } /* Name.Function.Magic */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
65 |
.highlight .vc { color: #bb60d5 } /* Name.Variable.Class */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
66 |
.highlight .vg { color: #bb60d5 } /* Name.Variable.Global */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
67 |
.highlight .vi { color: #bb60d5 } /* Name.Variable.Instance */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
68 |
.highlight .vm { color: #bb60d5 } /* Name.Variable.Magic */ |
ccfe3c7fa0d2
Erweiterung der Doku um ein Kapitel zum Import und Export; das Kapitel ist noch nicht ganz fertig
weiher
parents:
diff
changeset
|
69 |
.highlight .il { color: #208050 } /* Literal.Number.Integer.Long */ |