Mercurial > libervia-templates
annotate sat_templates/templates/default/static/highlight.css @ 217:6219562a1c5f 0.7.0
0.7.0 « La Commune » release
author | Goffi <goffi@goffi.org> |
---|---|
date | Wed, 24 Jul 2019 20:37:34 +0200 |
parents | e9f0a4215e46 |
children | 9cf56f9a1537 |
rev | line source |
---|---|
68
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
1 /* This file as been generated from Pygments using |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
2 * f.write(HtmlFormatter().get_style_defs('.highlight')) |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
3 * where f was an open file. |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
4 * It is used in Libervia for highlighting code or markup |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
5 * If changes are needed, they should be done in a separate CSS file |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
6 * so this one keep Pygments' defaults |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
7 */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
8 .highlight .hll { background-color: #ffffcc } |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
9 .highlight { background: #f8f8f8; } |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
10 .highlight .c { color: #408080; font-style: italic } /* Comment */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
11 .highlight .err { border: 1px solid #FF0000 } /* Error */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
12 .highlight .k { color: #008000; font-weight: bold } /* Keyword */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
13 .highlight .o { color: #666666 } /* Operator */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
14 .highlight .ch { color: #408080; font-style: italic } /* Comment.Hashbang */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
15 .highlight .cm { color: #408080; font-style: italic } /* Comment.Multiline */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
16 .highlight .cp { color: #BC7A00 } /* Comment.Preproc */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
17 .highlight .cpf { color: #408080; font-style: italic } /* Comment.PreprocFile */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
18 .highlight .c1 { color: #408080; font-style: italic } /* Comment.Single */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
19 .highlight .cs { color: #408080; font-style: italic } /* Comment.Special */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
20 .highlight .gd { color: #A00000 } /* Generic.Deleted */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
21 .highlight .ge { font-style: italic } /* Generic.Emph */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
22 .highlight .gr { color: #FF0000 } /* Generic.Error */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
23 .highlight .gh { color: #000080; font-weight: bold } /* Generic.Heading */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
24 .highlight .gi { color: #00A000 } /* Generic.Inserted */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
25 .highlight .go { color: #888888 } /* Generic.Output */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
26 .highlight .gp { color: #000080; font-weight: bold } /* Generic.Prompt */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
27 .highlight .gs { font-weight: bold } /* Generic.Strong */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
28 .highlight .gu { color: #800080; font-weight: bold } /* Generic.Subheading */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
29 .highlight .gt { color: #0044DD } /* Generic.Traceback */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
30 .highlight .kc { color: #008000; font-weight: bold } /* Keyword.Constant */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
31 .highlight .kd { color: #008000; font-weight: bold } /* Keyword.Declaration */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
32 .highlight .kn { color: #008000; font-weight: bold } /* Keyword.Namespace */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
33 .highlight .kp { color: #008000 } /* Keyword.Pseudo */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
34 .highlight .kr { color: #008000; font-weight: bold } /* Keyword.Reserved */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
35 .highlight .kt { color: #B00040 } /* Keyword.Type */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
36 .highlight .m { color: #666666 } /* Literal.Number */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
37 .highlight .s { color: #BA2121 } /* Literal.String */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
38 .highlight .na { color: #7D9029 } /* Name.Attribute */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
39 .highlight .nb { color: #008000 } /* Name.Builtin */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
40 .highlight .nc { color: #0000FF; font-weight: bold } /* Name.Class */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
41 .highlight .no { color: #880000 } /* Name.Constant */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
42 .highlight .nd { color: #AA22FF } /* Name.Decorator */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
43 .highlight .ni { color: #999999; font-weight: bold } /* Name.Entity */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
44 .highlight .ne { color: #D2413A; font-weight: bold } /* Name.Exception */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
45 .highlight .nf { color: #0000FF } /* Name.Function */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
46 .highlight .nl { color: #A0A000 } /* Name.Label */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
47 .highlight .nn { color: #0000FF; font-weight: bold } /* Name.Namespace */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
48 .highlight .nt { color: #008000; font-weight: bold } /* Name.Tag */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
49 .highlight .nv { color: #19177C } /* Name.Variable */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
50 .highlight .ow { color: #AA22FF; font-weight: bold } /* Operator.Word */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
51 .highlight .w { color: #bbbbbb } /* Text.Whitespace */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
52 .highlight .mb { color: #666666 } /* Literal.Number.Bin */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
53 .highlight .mf { color: #666666 } /* Literal.Number.Float */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
54 .highlight .mh { color: #666666 } /* Literal.Number.Hex */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
55 .highlight .mi { color: #666666 } /* Literal.Number.Integer */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
56 .highlight .mo { color: #666666 } /* Literal.Number.Oct */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
57 .highlight .sa { color: #BA2121 } /* Literal.String.Affix */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
58 .highlight .sb { color: #BA2121 } /* Literal.String.Backtick */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
59 .highlight .sc { color: #BA2121 } /* Literal.String.Char */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
60 .highlight .dl { color: #BA2121 } /* Literal.String.Delimiter */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
61 .highlight .sd { color: #BA2121; font-style: italic } /* Literal.String.Doc */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
62 .highlight .s2 { color: #BA2121 } /* Literal.String.Double */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
63 .highlight .se { color: #BB6622; font-weight: bold } /* Literal.String.Escape */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
64 .highlight .sh { color: #BA2121 } /* Literal.String.Heredoc */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
65 .highlight .si { color: #BB6688; font-weight: bold } /* Literal.String.Interpol */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
66 .highlight .sx { color: #008000 } /* Literal.String.Other */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
67 .highlight .sr { color: #BB6688 } /* Literal.String.Regex */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
68 .highlight .s1 { color: #BA2121 } /* Literal.String.Single */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
69 .highlight .ss { color: #19177C } /* Literal.String.Symbol */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
70 .highlight .bp { color: #008000 } /* Name.Builtin.Pseudo */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
71 .highlight .fm { color: #0000FF } /* Name.Function.Magic */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
72 .highlight .vc { color: #19177C } /* Name.Variable.Class */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
73 .highlight .vg { color: #19177C } /* Name.Variable.Global */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
74 .highlight .vi { color: #19177C } /* Name.Variable.Instance */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
75 .highlight .vm { color: #19177C } /* Name.Variable.Magic */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
76 .highlight .il { color: #666666 } /* Literal.Number.Integer.Long */ |
46109efcf671
static (css): added highlight CSS to handle new highlight filter (pygments)
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
77 |