corrade-nucleus-nucleons – Blame information for rev 4
?pathlinks?
Rev | Author | Line No. | Line |
---|---|---|---|
2 | office | 1 | /* BASICS */ |
2 | |||
3 | .CodeMirror { |
||
4 | /* Set height, width, borders, and global font properties here */ |
||
5 | font-family: monospace; |
||
6 | height: 300px; |
||
7 | } |
||
8 | |||
9 | /* PADDING */ |
||
10 | |||
11 | .CodeMirror-lines { |
||
12 | padding: 4px 0; /* Vertical padding around content */ |
||
13 | } |
||
14 | .CodeMirror pre { |
||
15 | padding: 0 4px; /* Horizontal padding of content */ |
||
16 | } |
||
17 | |||
18 | .CodeMirror-scrollbar-filler, .CodeMirror-gutter-filler { |
||
19 | background-color: white; /* The little square between H and V scrollbars */ |
||
20 | } |
||
21 | |||
22 | /* GUTTER */ |
||
23 | |||
24 | .CodeMirror-gutters { |
||
25 | border-right: 1px solid #ddd; |
||
26 | background-color: #f7f7f7; |
||
27 | white-space: nowrap; |
||
28 | } |
||
29 | .CodeMirror-linenumbers {} |
||
30 | .CodeMirror-linenumber { |
||
31 | padding: 0 3px 0 5px; |
||
32 | min-width: 20px; |
||
33 | text-align: right; |
||
34 | color: #999; |
||
35 | -moz-box-sizing: content-box; |
||
36 | box-sizing: content-box; |
||
37 | } |
||
38 | |||
39 | .CodeMirror-guttermarker { color: black; } |
||
40 | .CodeMirror-guttermarker-subtle { color: #999; } |
||
41 | |||
42 | /* CURSOR */ |
||
43 | |||
44 | .CodeMirror div.CodeMirror-cursor { |
||
45 | border-left: 1px solid black; |
||
46 | } |
||
47 | /* Shown when moving in bi-directional text */ |
||
48 | .CodeMirror div.CodeMirror-secondarycursor { |
||
49 | border-left: 1px solid silver; |
||
50 | } |
||
51 | .CodeMirror.cm-fat-cursor div.CodeMirror-cursor { |
||
52 | width: auto; |
||
53 | border: 0; |
||
54 | background: #7e7; |
||
55 | } |
||
56 | .CodeMirror.cm-fat-cursor div.CodeMirror-cursors { |
||
57 | z-index: 1; |
||
58 | } |
||
59 | |||
60 | .cm-animate-fat-cursor { |
||
61 | width: auto; |
||
62 | border: 0; |
||
63 | -webkit-animation: blink 1.06s steps(1) infinite; |
||
64 | -moz-animation: blink 1.06s steps(1) infinite; |
||
65 | animation: blink 1.06s steps(1) infinite; |
||
66 | } |
||
67 | @-moz-keyframes blink { |
||
68 | 0% { background: #7e7; } |
||
69 | 50% { background: none; } |
||
70 | 100% { background: #7e7; } |
||
71 | } |
||
72 | @-webkit-keyframes blink { |
||
73 | 0% { background: #7e7; } |
||
74 | 50% { background: none; } |
||
75 | 100% { background: #7e7; } |
||
76 | } |
||
77 | @keyframes blink { |
||
78 | 0% { background: #7e7; } |
||
79 | 50% { background: none; } |
||
80 | 100% { background: #7e7; } |
||
81 | } |
||
82 | |||
83 | /* Can style cursor different in overwrite (non-insert) mode */ |
||
84 | div.CodeMirror-overwrite div.CodeMirror-cursor {} |
||
85 | |||
86 | .cm-tab { display: inline-block; text-decoration: inherit; } |
||
87 | |||
88 | .CodeMirror-ruler { |
||
89 | border-left: 1px solid #ccc; |
||
90 | position: absolute; |
||
91 | } |
||
92 | |||
93 | /* DEFAULT THEME */ |
||
94 | |||
95 | .cm-s-default .cm-keyword {color: #708;} |
||
96 | .cm-s-default .cm-atom {color: #219;} |
||
97 | .cm-s-default .cm-number {color: #164;} |
||
98 | .cm-s-default .cm-def {color: #00f;} |
||
99 | .cm-s-default .cm-variable, |
||
100 | .cm-s-default .cm-punctuation, |
||
101 | .cm-s-default .cm-property, |
||
102 | .cm-s-default .cm-operator {} |
||
103 | .cm-s-default .cm-variable-2 {color: #05a;} |
||
104 | .cm-s-default .cm-variable-3 {color: #085;} |
||
105 | .cm-s-default .cm-comment {color: #a50;} |
||
106 | .cm-s-default .cm-string {color: #a11;} |
||
107 | .cm-s-default .cm-string-2 {color: #f50;} |
||
108 | .cm-s-default .cm-meta {color: #555;} |
||
109 | .cm-s-default .cm-qualifier {color: #555;} |
||
110 | .cm-s-default .cm-builtin {color: #30a;} |
||
111 | .cm-s-default .cm-bracket {color: #997;} |
||
112 | .cm-s-default .cm-tag {color: #170;} |
||
113 | .cm-s-default .cm-attribute {color: #00c;} |
||
114 | .cm-s-default .cm-header {color: blue;} |
||
115 | .cm-s-default .cm-quote {color: #090;} |
||
116 | .cm-s-default .cm-hr {color: #999;} |
||
117 | .cm-s-default .cm-link {color: #00c;} |
||
118 | |||
119 | .cm-negative {color: #d44;} |
||
120 | .cm-positive {color: #292;} |
||
121 | .cm-header, .cm-strong {font-weight: bold;} |
||
122 | .cm-em {font-style: italic;} |
||
123 | .cm-link {text-decoration: underline;} |
||
124 | .cm-strikethrough {text-decoration: line-through;} |
||
125 | |||
126 | .cm-s-default .cm-error {color: #f00;} |
||
127 | .cm-invalidchar {color: #f00;} |
||
128 | |||
129 | /* Default styles for common addons */ |
||
130 | |||
131 | div.CodeMirror span.CodeMirror-matchingbracket {color: #0f0;} |
||
132 | div.CodeMirror span.CodeMirror-nonmatchingbracket {color: #f22;} |
||
133 | .CodeMirror-matchingtag { background: rgba(255, 150, 0, .3); } |
||
134 | .CodeMirror-activeline-background {background: #e8f2ff;} |
||
135 | |||
136 | /* STOP */ |
||
137 | |||
138 | /* The rest of this file contains styles related to the mechanics of |
||
139 | the editor. You probably shouldn't touch them. */ |
||
140 | |||
141 | .CodeMirror { |
||
142 | line-height: 1; |
||
143 | position: relative; |
||
144 | overflow: hidden; |
||
145 | background: white; |
||
146 | color: black; |
||
147 | } |
||
148 | |||
149 | .CodeMirror-scroll { |
||
150 | overflow: scroll !important; /* Things will break if this is overridden */ |
||
151 | /* 30px is the magic margin used to hide the element's real scrollbars */ |
||
152 | /* See overflow: hidden in .CodeMirror */ |
||
153 | margin-bottom: -30px; margin-right: -30px; |
||
154 | padding-bottom: 30px; |
||
155 | height: 100%; |
||
156 | outline: none; /* Prevent dragging from highlighting the element */ |
||
157 | position: relative; |
||
158 | -moz-box-sizing: content-box; |
||
159 | box-sizing: content-box; |
||
160 | } |
||
161 | .CodeMirror-sizer { |
||
162 | position: relative; |
||
163 | border-right: 30px solid transparent; |
||
164 | -moz-box-sizing: content-box; |
||
165 | box-sizing: content-box; |
||
166 | } |
||
167 | |||
168 | /* The fake, visible scrollbars. Used to force redraw during scrolling |
||
169 | before actuall scrolling happens, thus preventing shaking and |
||
170 | flickering artifacts. */ |
||
171 | .CodeMirror-vscrollbar, .CodeMirror-hscrollbar, .CodeMirror-scrollbar-filler, .CodeMirror-gutter-filler { |
||
172 | position: absolute; |
||
173 | z-index: 6; |
||
174 | display: none; |
||
175 | } |
||
176 | .CodeMirror-vscrollbar { |
||
177 | right: 0; top: 0; |
||
178 | overflow-x: hidden; |
||
179 | overflow-y: scroll; |
||
180 | } |
||
181 | .CodeMirror-hscrollbar { |
||
182 | bottom: 0; left: 0; |
||
183 | overflow-y: hidden; |
||
184 | overflow-x: scroll; |
||
185 | } |
||
186 | .CodeMirror-scrollbar-filler { |
||
187 | right: 0; bottom: 0; |
||
188 | } |
||
189 | .CodeMirror-gutter-filler { |
||
190 | left: 0; bottom: 0; |
||
191 | } |
||
192 | |||
193 | .CodeMirror-gutters { |
||
194 | position: absolute; left: 0; top: 0; |
||
195 | z-index: 3; |
||
196 | } |
||
197 | .CodeMirror-gutter { |
||
198 | white-space: normal; |
||
199 | height: 100%; |
||
200 | -moz-box-sizing: content-box; |
||
201 | box-sizing: content-box; |
||
202 | display: inline-block; |
||
203 | margin-bottom: -30px; |
||
204 | /* Hack to make IE7 behave */ |
||
205 | *zoom:1; |
||
206 | *display:inline; |
||
207 | } |
||
208 | .CodeMirror-gutter-wrapper { |
||
209 | position: absolute; |
||
210 | z-index: 4; |
||
211 | height: 100%; |
||
212 | } |
||
213 | .CodeMirror-gutter-elt { |
||
214 | position: absolute; |
||
215 | cursor: default; |
||
216 | z-index: 4; |
||
217 | } |
||
218 | |||
219 | .CodeMirror-lines { |
||
220 | cursor: text; |
||
221 | min-height: 1px; /* prevents collapsing before first draw */ |
||
222 | } |
||
223 | .CodeMirror pre { |
||
224 | /* Reset some styles that the rest of the page might have set */ |
||
225 | -moz-border-radius: 0; -webkit-border-radius: 0; border-radius: 0; |
||
226 | border-width: 0; |
||
227 | background: transparent; |
||
228 | font-family: inherit; |
||
229 | font-size: inherit; |
||
230 | margin: 0; |
||
231 | white-space: pre; |
||
232 | word-wrap: normal; |
||
233 | line-height: inherit; |
||
234 | color: inherit; |
||
235 | z-index: 2; |
||
236 | position: relative; |
||
237 | overflow: visible; |
||
238 | } |
||
239 | .CodeMirror-wrap pre { |
||
240 | word-wrap: break-word; |
||
241 | white-space: pre-wrap; |
||
242 | word-break: normal; |
||
243 | } |
||
244 | |||
245 | .CodeMirror-linebackground { |
||
246 | position: absolute; |
||
247 | left: 0; right: 0; top: 0; bottom: 0; |
||
248 | z-index: 0; |
||
249 | } |
||
250 | |||
251 | .CodeMirror-linewidget { |
||
252 | position: relative; |
||
253 | z-index: 2; |
||
254 | overflow: auto; |
||
255 | } |
||
256 | |||
257 | .CodeMirror-widget {} |
||
258 | |||
259 | .CodeMirror-measure { |
||
260 | position: absolute; |
||
261 | width: 100%; |
||
262 | height: 0; |
||
263 | overflow: hidden; |
||
264 | visibility: hidden; |
||
265 | } |
||
266 | .CodeMirror-measure pre { position: static; } |
||
267 | |||
268 | .CodeMirror div.CodeMirror-cursor { |
||
269 | position: absolute; |
||
270 | border-right: none; |
||
271 | width: 0; |
||
272 | } |
||
273 | |||
274 | div.CodeMirror-cursors { |
||
275 | visibility: hidden; |
||
276 | position: relative; |
||
277 | z-index: 3; |
||
278 | } |
||
279 | .CodeMirror-focused div.CodeMirror-cursors { |
||
280 | visibility: visible; |
||
281 | } |
||
282 | |||
283 | .CodeMirror-selected { background: #d9d9d9; } |
||
284 | .CodeMirror-focused .CodeMirror-selected { background: #d7d4f0; } |
||
285 | .CodeMirror-crosshair { cursor: crosshair; } |
||
286 | |||
287 | .cm-searching { |
||
288 | background: #ffa; |
||
289 | background: rgba(255, 255, 0, .4); |
||
290 | } |
||
291 | |||
292 | /* IE7 hack to prevent it from returning funny offsetTops on the spans */ |
||
293 | .CodeMirror span { *vertical-align: text-bottom; } |
||
294 | |||
295 | /* Used to force a border model for a node */ |
||
296 | .cm-force-border { padding-right: .1px; } |
||
297 | |||
298 | @media print { |
||
299 | /* Hide the cursor when printing */ |
||
300 | .CodeMirror div.CodeMirror-cursors { |
||
301 | visibility: hidden; |
||
302 | } |
||
303 | } |
||
304 | |||
305 | /* See issue #2901 */ |
||
306 | .cm-tab-wrap-hack:after { content: ''; } |
||
307 | |||
308 | /* Help users use markselection to safely style text background */ |
||
309 | span.CodeMirror-selectedtext { background: none; } |