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