Mercurial > kallithea
annotate rhodecode/public/css/codemirror.css @ 2932:19ea3e16f65b beta
add locking state icon into summary page
author | Marcin Kuzminski <marcin@python-works.com> |
---|---|
date | Wed, 17 Oct 2012 21:27:46 +0200 |
parents | f034e6a13a5e |
children | 31f98c850623 |
rev | line source |
---|---|
1305
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
1 .CodeMirror { |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
2 line-height: 1em; |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
3 font-family: monospace; |
2551
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
4 |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
5 /* Necessary so the scrollbar can be absolutely positioned within the wrapper on Lion. */ |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
6 position: relative; |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
7 /* This prevents unwanted scrollbars from showing up on the body and wrapper in IE. */ |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
8 overflow: hidden; |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
9 } |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
10 |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
11 .CodeMirror-scroll { |
2861
f034e6a13a5e
updated codemirror to 2.34
Marcin Kuzminski <marcin@python-works.com>
parents:
2551
diff
changeset
|
12 overflow: auto; |
2551
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
13 height: 300px; |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
14 /* This is needed to prevent an IE[67] bug where the scrolled content |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
15 is visible outside of the scrolling box. */ |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
16 position: relative; |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
17 outline: none; |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
18 } |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
19 |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
20 /* Vertical scrollbar */ |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
21 .CodeMirror-scrollbar { |
2861
f034e6a13a5e
updated codemirror to 2.34
Marcin Kuzminski <marcin@python-works.com>
parents:
2551
diff
changeset
|
22 position: absolute; |
f034e6a13a5e
updated codemirror to 2.34
Marcin Kuzminski <marcin@python-works.com>
parents:
2551
diff
changeset
|
23 right: 0; top: 0; |
2551
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
24 overflow-x: hidden; |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
25 overflow-y: scroll; |
2861
f034e6a13a5e
updated codemirror to 2.34
Marcin Kuzminski <marcin@python-works.com>
parents:
2551
diff
changeset
|
26 z-index: 5; |
2551
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
27 } |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
28 .CodeMirror-scrollbar-inner { |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
29 /* This needs to have a nonzero width in order for the scrollbar to appear |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
30 in Firefox and IE9. */ |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
31 width: 1px; |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
32 } |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
33 .CodeMirror-scrollbar.cm-sb-overlap { |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
34 /* Ensure that the scrollbar appears in Lion, and that it overlaps the content |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
35 rather than sitting to the right of it. */ |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
36 position: absolute; |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
37 z-index: 1; |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
38 float: none; |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
39 right: 0; |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
40 min-width: 12px; |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
41 } |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
42 .CodeMirror-scrollbar.cm-sb-nonoverlap { |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
43 min-width: 12px; |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
44 } |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
45 .CodeMirror-scrollbar.cm-sb-ie7 { |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
46 min-width: 18px; |
1305
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
47 } |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
48 |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
49 .CodeMirror-gutter { |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
50 position: absolute; left: 0; top: 0; |
2551
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
51 z-index: 10; |
1305
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
52 background-color: #f7f7f7; |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
53 border-right: 1px solid #eee; |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
54 min-width: 2em; |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
55 height: 100%; |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
56 } |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
57 .CodeMirror-gutter-text { |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
58 color: #aaa; |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
59 text-align: right; |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
60 padding: .4em .2em .4em .4em; |
2551
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
61 white-space: pre !important; |
2861
f034e6a13a5e
updated codemirror to 2.34
Marcin Kuzminski <marcin@python-works.com>
parents:
2551
diff
changeset
|
62 cursor: default; |
1305
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
63 } |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
64 .CodeMirror-lines { |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
65 padding: .4em; |
2551
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
66 white-space: pre; |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
67 cursor: text; |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
68 } |
1305
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
69 |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
70 .CodeMirror pre { |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
71 -moz-border-radius: 0; |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
72 -webkit-border-radius: 0; |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
73 -o-border-radius: 0; |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
74 border-radius: 0; |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
75 border-width: 0; margin: 0; padding: 0; background: transparent; |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
76 font-family: inherit; |
2551
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
77 font-size: inherit; |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
78 padding: 0; margin: 0; |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
79 white-space: pre; |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
80 word-wrap: normal; |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
81 line-height: inherit; |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
82 color: inherit; |
1305
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
83 } |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
84 |
2551
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
85 .CodeMirror-wrap pre { |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
86 word-wrap: break-word; |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
87 white-space: pre-wrap; |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
88 word-break: normal; |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
89 } |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
90 .CodeMirror-wrap .CodeMirror-scroll { |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
91 overflow-x: hidden; |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
92 } |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
93 |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
94 .CodeMirror textarea { |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
95 outline: none !important; |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
96 } |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
97 |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
98 .CodeMirror pre.CodeMirror-cursor { |
1305
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
99 z-index: 10; |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
100 position: absolute; |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
101 visibility: hidden; |
2551
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
102 border-left: 1px solid black; |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
103 border-right: none; |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
104 width: 0; |
1305
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
105 } |
2551
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
106 .cm-keymap-fat-cursor pre.CodeMirror-cursor { |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
107 width: auto; |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
108 border: 0; |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
109 background: transparent; |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
110 background: rgba(0, 200, 0, .4); |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
111 filter: progid:DXImageTransform.Microsoft.gradient(startColorstr=#6600c800, endColorstr=#4c00c800); |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
112 } |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
113 /* Kludge to turn off filter in ie9+, which also accepts rgba */ |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
114 .cm-keymap-fat-cursor pre.CodeMirror-cursor:not(#nonsense_id) { |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
115 filter: progid:DXImageTransform.Microsoft.gradient(enabled=false); |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
116 } |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
117 .CodeMirror pre.CodeMirror-cursor.CodeMirror-overwrite {} |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
118 .CodeMirror-focused pre.CodeMirror-cursor { |
1305
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
119 visibility: visible; |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
120 } |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
121 |
2551
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
122 div.CodeMirror-selected { background: #d9d9d9; } |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
123 .CodeMirror-focused div.CodeMirror-selected { background: #d7d4f0; } |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
124 |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
125 .CodeMirror-searching { |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
126 background: #ffa; |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
127 background: rgba(255, 255, 0, .4); |
1305
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
128 } |
166317d464f3
Added server side file editing with commit
Marcin Kuzminski <marcin@python-works.com>
parents:
diff
changeset
|
129 |
2551
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
130 /* Default theme */ |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
131 |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
132 .cm-s-default span.cm-keyword {color: #708;} |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
133 .cm-s-default span.cm-atom {color: #219;} |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
134 .cm-s-default span.cm-number {color: #164;} |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
135 .cm-s-default span.cm-def {color: #00f;} |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
136 .cm-s-default span.cm-variable {color: black;} |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
137 .cm-s-default span.cm-variable-2 {color: #05a;} |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
138 .cm-s-default span.cm-variable-3 {color: #085;} |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
139 .cm-s-default span.cm-property {color: black;} |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
140 .cm-s-default span.cm-operator {color: black;} |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
141 .cm-s-default span.cm-comment {color: #a50;} |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
142 .cm-s-default span.cm-string {color: #a11;} |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
143 .cm-s-default span.cm-string-2 {color: #f50;} |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
144 .cm-s-default span.cm-meta {color: #555;} |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
145 .cm-s-default span.cm-error {color: #f00;} |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
146 .cm-s-default span.cm-qualifier {color: #555;} |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
147 .cm-s-default span.cm-builtin {color: #30a;} |
2861
f034e6a13a5e
updated codemirror to 2.34
Marcin Kuzminski <marcin@python-works.com>
parents:
2551
diff
changeset
|
148 .cm-s-default span.cm-bracket {color: #997;} |
2551
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
149 .cm-s-default span.cm-tag {color: #170;} |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
150 .cm-s-default span.cm-attribute {color: #00c;} |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
151 .cm-s-default span.cm-header {color: blue;} |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
152 .cm-s-default span.cm-quote {color: #090;} |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
153 .cm-s-default span.cm-hr {color: #999;} |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
154 .cm-s-default span.cm-link {color: #00c;} |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
155 |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
156 span.cm-header, span.cm-strong {font-weight: bold;} |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
157 span.cm-em {font-style: italic;} |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
158 span.cm-emstrong {font-style: italic; font-weight: bold;} |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
159 span.cm-link {text-decoration: underline;} |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
160 |
2861
f034e6a13a5e
updated codemirror to 2.34
Marcin Kuzminski <marcin@python-works.com>
parents:
2551
diff
changeset
|
161 span.cm-invalidchar {color: #f00;} |
f034e6a13a5e
updated codemirror to 2.34
Marcin Kuzminski <marcin@python-works.com>
parents:
2551
diff
changeset
|
162 |
2551
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
163 div.CodeMirror span.CodeMirror-matchingbracket {color: #0f0;} |
968c84475f73
updated codemirror css !
Marcin Kuzminski <marcin@python-works.com>
parents:
1485
diff
changeset
|
164 div.CodeMirror span.CodeMirror-nonmatchingbracket {color: #f22;} |
2861
f034e6a13a5e
updated codemirror to 2.34
Marcin Kuzminski <marcin@python-works.com>
parents:
2551
diff
changeset
|
165 |
f034e6a13a5e
updated codemirror to 2.34
Marcin Kuzminski <marcin@python-works.com>
parents:
2551
diff
changeset
|
166 @media print { |
f034e6a13a5e
updated codemirror to 2.34
Marcin Kuzminski <marcin@python-works.com>
parents:
2551
diff
changeset
|
167 |
f034e6a13a5e
updated codemirror to 2.34
Marcin Kuzminski <marcin@python-works.com>
parents:
2551
diff
changeset
|
168 /* Hide the cursor when printing */ |
f034e6a13a5e
updated codemirror to 2.34
Marcin Kuzminski <marcin@python-works.com>
parents:
2551
diff
changeset
|
169 .CodeMirror pre.CodeMirror-cursor { |
f034e6a13a5e
updated codemirror to 2.34
Marcin Kuzminski <marcin@python-works.com>
parents:
2551
diff
changeset
|
170 visibility: hidden; |
f034e6a13a5e
updated codemirror to 2.34
Marcin Kuzminski <marcin@python-works.com>
parents:
2551
diff
changeset
|
171 } |
f034e6a13a5e
updated codemirror to 2.34
Marcin Kuzminski <marcin@python-works.com>
parents:
2551
diff
changeset
|
172 |
f034e6a13a5e
updated codemirror to 2.34
Marcin Kuzminski <marcin@python-works.com>
parents:
2551
diff
changeset
|
173 } |