Dotclear

source: admin/js/codemirror/lib/codemirror.css @ 3758:6338fb89e8df

Revision 3758:6338fb89e8df, 8.3 KB checked in by franck <carnet.franck.paul@…>, 7 years ago (diff)

Update Codemirror to 5.38.0

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

Sites map