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