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