Mercurial > libervia-templates

annotate sat_templates/templates/default/static/highlight.css @ 402:2bbcb7da56bc default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
bulma: use Font-Awesome instead of Fontello + start of major redesign: - Font-Awesome is now used instead of Fontello, following change in Libervia Media. - This is a beginning of a major redesign of the web templates/web frontend. This currently breaks a lot of thing.
author Goffi <goffi@goffi.org>
date Sat, 26 Oct 2024 22:53:26 +0200
parents 9cf56f9a1537
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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 */
345
9cf56f9a1537 css (highlight): use red and no border for errors
Goffi <goffi@goffi.org>
parents: 164
diff changeset
11 .highlight .err { color: #9d0c0c } /* Error */
68
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