Mercurial > libervia-templates

annotate default/static/highlight.css @ 85:05b500bd6235

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
chat: chat implementation, first draft: this chat use the new dynamic pages feature. Updates are pushed directly by server. Identities are used to retrieve avatar, and first letter of nickname is used to generate an avatar is none is found (temporary, a more elaborate avatar generation should follow in the future). Scroll is done automatically when new messages arrive, except if scroll is not at the end, as it probably means that user is checking history. User can resize text area and use [shift] + [enter] to enter multi-line messages. History will then scroll to bottom after message has been sent.
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