Mercurial > libervia-templates

annotate default/static/highlight.css @ 84:b2ef34e602cf

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
base, js (websocket), css (main style): dynamic pages implementation, first draft: this patch introduces the browser part of dynamic pages. Dynamic pages work by establishing a websocket between server and the current page, if requested by server (which means that needed arguments are present in template). Once the connection is established, the server can, for now, reload the page, append HTML elements, or receive arbitrary data (without reloading the page, in opposition to data post). If connection can't be established, a popup will be displayed and connection will be retried many times after variable timeouts. The browser will finally give up and display an alert to client if the number of retries is too high (20 for now).
author Goffi <goffi@goffi.org>
date Wed, 03 Jan 2018 01:12:16 +0100
parents 46109efcf671
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 */
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