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