Mercurial > kallithea
annotate pylons_app/public/css/pygments.css @ 504:d280aa1c85c6
removed pidlock from whoosh and added it as locked_task decorator
author | Marcin Kuzminski <marcin@python-works.com> |
---|---|
date | Sat, 25 Sep 2010 20:17:56 +0200 |
parents | 4cf4b82aa2a0 |
children | 5aba7adff196 |
rev | line source |
---|---|
98
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
1 div.codeblock { |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
2 overflow: auto; |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
3 padding: 0px; |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
4 border: 1px solid #ccc; |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
5 background: #f8f8f8; |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
6 font-size: 100%; |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
7 line-height: 100%; |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
8 /* new */ |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
9 line-height: 125%; |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
10 } |
144
ea89ac73bef8
Update css +file browsing and diffs
Marcin Kuzminski <marcin@python-works.com>
parents:
98
diff
changeset
|
11 div.codeblock .code-header{ |
ea89ac73bef8
Update css +file browsing and diffs
Marcin Kuzminski <marcin@python-works.com>
parents:
98
diff
changeset
|
12 border-bottom: 1px solid #CCCCCC; |
ea89ac73bef8
Update css +file browsing and diffs
Marcin Kuzminski <marcin@python-works.com>
parents:
98
diff
changeset
|
13 background: #EEEEEE; |
ea89ac73bef8
Update css +file browsing and diffs
Marcin Kuzminski <marcin@python-works.com>
parents:
98
diff
changeset
|
14 color:blue; |
ea89ac73bef8
Update css +file browsing and diffs
Marcin Kuzminski <marcin@python-works.com>
parents:
98
diff
changeset
|
15 padding:10px 0 10px 0; |
ea89ac73bef8
Update css +file browsing and diffs
Marcin Kuzminski <marcin@python-works.com>
parents:
98
diff
changeset
|
16 } |
158
f905f45c457e
moved diff libs to vcs. updated htmls and css for diff and source
Marcin Kuzminski <marcin@python-works.com>
parents:
144
diff
changeset
|
17 div.codeblock .code-header .revision{ |
144
ea89ac73bef8
Update css +file browsing and diffs
Marcin Kuzminski <marcin@python-works.com>
parents:
98
diff
changeset
|
18 margin-left:25px; |
ea89ac73bef8
Update css +file browsing and diffs
Marcin Kuzminski <marcin@python-works.com>
parents:
98
diff
changeset
|
19 font-weight: bold; |
ea89ac73bef8
Update css +file browsing and diffs
Marcin Kuzminski <marcin@python-works.com>
parents:
98
diff
changeset
|
20 } |
158
f905f45c457e
moved diff libs to vcs. updated htmls and css for diff and source
Marcin Kuzminski <marcin@python-works.com>
parents:
144
diff
changeset
|
21 div.codeblock .code-header .commit{ |
f905f45c457e
moved diff libs to vcs. updated htmls and css for diff and source
Marcin Kuzminski <marcin@python-works.com>
parents:
144
diff
changeset
|
22 margin-left:25px; |
f905f45c457e
moved diff libs to vcs. updated htmls and css for diff and source
Marcin Kuzminski <marcin@python-works.com>
parents:
144
diff
changeset
|
23 font-weight: normal; |
f905f45c457e
moved diff libs to vcs. updated htmls and css for diff and source
Marcin Kuzminski <marcin@python-works.com>
parents:
144
diff
changeset
|
24 } |
362
558eb7c5028f
version bump to 0.8
Marcin Kuzminski <marcin@python-works.com>
parents:
158
diff
changeset
|
25 div.codeblock .code-body table{ |
558eb7c5028f
version bump to 0.8
Marcin Kuzminski <marcin@python-works.com>
parents:
158
diff
changeset
|
26 width: 0 !important; |
558eb7c5028f
version bump to 0.8
Marcin Kuzminski <marcin@python-works.com>
parents:
158
diff
changeset
|
27 } |
558eb7c5028f
version bump to 0.8
Marcin Kuzminski <marcin@python-works.com>
parents:
158
diff
changeset
|
28 |
397
4cf4b82aa2a0
fixed some templating issues
Marcin Kuzminski <marcin@python-works.com>
parents:
362
diff
changeset
|
29 div.code-body pre .match{ |
4cf4b82aa2a0
fixed some templating issues
Marcin Kuzminski <marcin@python-works.com>
parents:
362
diff
changeset
|
30 background-color: #FAFFA6; |
4cf4b82aa2a0
fixed some templating issues
Marcin Kuzminski <marcin@python-works.com>
parents:
362
diff
changeset
|
31 } |
4cf4b82aa2a0
fixed some templating issues
Marcin Kuzminski <marcin@python-works.com>
parents:
362
diff
changeset
|
32 div.code-body pre .break{ |
4cf4b82aa2a0
fixed some templating issues
Marcin Kuzminski <marcin@python-works.com>
parents:
362
diff
changeset
|
33 background-color: #DDE7EF; |
4cf4b82aa2a0
fixed some templating issues
Marcin Kuzminski <marcin@python-works.com>
parents:
362
diff
changeset
|
34 width: 100%; |
4cf4b82aa2a0
fixed some templating issues
Marcin Kuzminski <marcin@python-works.com>
parents:
362
diff
changeset
|
35 color: #747474; |
4cf4b82aa2a0
fixed some templating issues
Marcin Kuzminski <marcin@python-works.com>
parents:
362
diff
changeset
|
36 display: block; |
4cf4b82aa2a0
fixed some templating issues
Marcin Kuzminski <marcin@python-works.com>
parents:
362
diff
changeset
|
37 |
4cf4b82aa2a0
fixed some templating issues
Marcin Kuzminski <marcin@python-works.com>
parents:
362
diff
changeset
|
38 } |
4cf4b82aa2a0
fixed some templating issues
Marcin Kuzminski <marcin@python-works.com>
parents:
362
diff
changeset
|
39 |
362
558eb7c5028f
version bump to 0.8
Marcin Kuzminski <marcin@python-works.com>
parents:
158
diff
changeset
|
40 div.annotatediv{ |
558eb7c5028f
version bump to 0.8
Marcin Kuzminski <marcin@python-works.com>
parents:
158
diff
changeset
|
41 margin-left:2px; |
558eb7c5028f
version bump to 0.8
Marcin Kuzminski <marcin@python-works.com>
parents:
158
diff
changeset
|
42 margin-right:4px; |
558eb7c5028f
version bump to 0.8
Marcin Kuzminski <marcin@python-works.com>
parents:
158
diff
changeset
|
43 } |
558eb7c5028f
version bump to 0.8
Marcin Kuzminski <marcin@python-works.com>
parents:
158
diff
changeset
|
44 |
98
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
45 |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
46 .code-highlight { |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
47 padding: 0px; |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
48 margin-top: 5px; |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
49 margin-bottom: 5px; |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
50 border-left: 2px solid #ccc; |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
51 } |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
52 .code-highlight pre, .linenodiv pre { |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
53 padding: 5px; |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
54 margin: 0; |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
55 } |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
56 .linenos a { text-decoration: none; } |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
57 |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
58 |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
59 .code { display: block; } |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
60 .code-highlight .hll { background-color: #ffffcc } |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
61 .code-highlight .c { color: #408080; font-style: italic } /* Comment */ |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
62 .code-highlight .err { border: 1px solid #FF0000 } /* Error */ |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
63 .code-highlight .k { color: #008000; font-weight: bold } /* Keyword */ |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
64 .code-highlight .o { color: #666666 } /* Operator */ |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
65 .code-highlight .cm { color: #408080; font-style: italic } /* Comment.Multiline */ |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
66 .code-highlight .cp { color: #BC7A00 } /* Comment.Preproc */ |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
67 .code-highlight .c1 { color: #408080; font-style: italic } /* Comment.Single */ |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
68 .code-highlight .cs { color: #408080; font-style: italic } /* Comment.Special */ |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
69 .code-highlight .gd { color: #A00000 } /* Generic.Deleted */ |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
70 .code-highlight .ge { font-style: italic } /* Generic.Emph */ |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
71 .code-highlight .gr { color: #FF0000 } /* Generic.Error */ |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
72 .code-highlight .gh { color: #000080; font-weight: bold } /* Generic.Heading */ |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
73 .code-highlight .gi { color: #00A000 } /* Generic.Inserted */ |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
74 .code-highlight .go { color: #808080 } /* Generic.Output */ |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
75 .code-highlight .gp { color: #000080; font-weight: bold } /* Generic.Prompt */ |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
76 .code-highlight .gs { font-weight: bold } /* Generic.Strong */ |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
77 .code-highlight .gu { color: #800080; font-weight: bold } /* Generic.Subheading */ |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
78 .code-highlight .gt { color: #0040D0 } /* Generic.Traceback */ |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
79 .code-highlight .kc { color: #008000; font-weight: bold } /* Keyword.Constant */ |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
80 .code-highlight .kd { color: #008000; font-weight: bold } /* Keyword.Declaration */ |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
81 .code-highlight .kn { color: #008000; font-weight: bold } /* Keyword.Namespace */ |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
82 .code-highlight .kp { color: #008000 } /* Keyword.Pseudo */ |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
83 .code-highlight .kr { color: #008000; font-weight: bold } /* Keyword.Reserved */ |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
84 .code-highlight .kt { color: #B00040 } /* Keyword.Type */ |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
85 .code-highlight .m { color: #666666 } /* Literal.Number */ |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
86 .code-highlight .s { color: #BA2121 } /* Literal.String */ |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
87 .code-highlight .na { color: #7D9029 } /* Name.Attribute */ |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
88 .code-highlight .nb { color: #008000 } /* Name.Builtin */ |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
89 .code-highlight .nc { color: #0000FF; font-weight: bold } /* Name.Class */ |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
90 .code-highlight .no { color: #880000 } /* Name.Constant */ |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
91 .code-highlight .nd { color: #AA22FF } /* Name.Decorator */ |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
92 .code-highlight .ni { color: #999999; font-weight: bold } /* Name.Entity */ |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
93 .code-highlight .ne { color: #D2413A; font-weight: bold } /* Name.Exception */ |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
94 .code-highlight .nf { color: #0000FF } /* Name.Function */ |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
95 .code-highlight .nl { color: #A0A000 } /* Name.Label */ |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
96 .code-highlight .nn { color: #0000FF; font-weight: bold } /* Name.Namespace */ |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
97 .code-highlight .nt { color: #008000; font-weight: bold } /* Name.Tag */ |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
98 .code-highlight .nv { color: #19177C } /* Name.Variable */ |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
99 .code-highlight .ow { color: #AA22FF; font-weight: bold } /* Operator.Word */ |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
100 .code-highlight .w { color: #bbbbbb } /* Text.Whitespace */ |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
101 .code-highlight .mf { color: #666666 } /* Literal.Number.Float */ |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
102 .code-highlight .mh { color: #666666 } /* Literal.Number.Hex */ |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
103 .code-highlight .mi { color: #666666 } /* Literal.Number.Integer */ |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
104 .code-highlight .mo { color: #666666 } /* Literal.Number.Oct */ |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
105 .code-highlight .sb { color: #BA2121 } /* Literal.String.Backtick */ |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
106 .code-highlight .sc { color: #BA2121 } /* Literal.String.Char */ |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
107 .code-highlight .sd { color: #BA2121; font-style: italic } /* Literal.String.Doc */ |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
108 .code-highlight .s2 { color: #BA2121 } /* Literal.String.Double */ |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
109 .code-highlight .se { color: #BB6622; font-weight: bold } /* Literal.String.Escape */ |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
110 .code-highlight .sh { color: #BA2121 } /* Literal.String.Heredoc */ |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
111 .code-highlight .si { color: #BB6688; font-weight: bold } /* Literal.String.Interpol */ |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
112 .code-highlight .sx { color: #008000 } /* Literal.String.Other */ |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
113 .code-highlight .sr { color: #BB6688 } /* Literal.String.Regex */ |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
114 .code-highlight .s1 { color: #BA2121 } /* Literal.String.Single */ |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
115 .code-highlight .ss { color: #19177C } /* Literal.String.Symbol */ |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
116 .code-highlight .bp { color: #008000 } /* Name.Builtin.Pseudo */ |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
117 .code-highlight .vc { color: #19177C } /* Name.Variable.Class */ |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
118 .code-highlight .vg { color: #19177C } /* Name.Variable.Global */ |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
119 .code-highlight .vi { color: #19177C } /* Name.Variable.Instance */ |
01d0f363f36d
added pygments webhelper
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
120 .code-highlight .il { color: #666666 } /* Literal.Number.Integer.Long */ |