]>
Commit | Line | Data |
---|---|---|
12cda45a S |
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 | /* DEFAULT THEME */ | |
65 | ||
66 | .cm-s-default .cm-keyword {color: #708;} | |
67 | .cm-s-default .cm-atom {color: #219;} | |
68 | .cm-s-default .cm-number {color: #164;} | |
69 | .cm-s-default .cm-def {color: #00f;} | |
70 | .cm-s-default .cm-variable {color: black;} | |
71 | .cm-s-default .cm-variable-2 {color: #05a;} | |
72 | .cm-s-default .cm-variable-3 {color: #085;} | |
73 | .cm-s-default .cm-property {color: black;} | |
74 | .cm-s-default .cm-operator {color: black;} | |
75 | .cm-s-default .cm-comment {color: #a50;} | |
76 | .cm-s-default .cm-string {color: #a11;} | |
77 | .cm-s-default .cm-string-2 {color: #f50;} | |
78 | .cm-s-default .cm-meta {color: #555;} | |
79 | .cm-s-default .cm-qualifier {color: #555;} | |
80 | .cm-s-default .cm-builtin {color: #30a;} | |
81 | .cm-s-default .cm-bracket {color: #997;} | |
82 | .cm-s-default .cm-tag {color: #170;} | |
83 | .cm-s-default .cm-attribute {color: #00c;} | |
84 | .cm-s-default .cm-header {color: blue;} | |
85 | .cm-s-default .cm-quote {color: #090;} | |
86 | .cm-s-default .cm-hr {color: #999;} | |
87 | .cm-s-default .cm-link {color: #00c;} | |
88 | ||
89 | .cm-negative {color: #d44;} | |
90 | .cm-positive {color: #292;} | |
91 | .cm-header, .cm-strong {font-weight: bold;} | |
92 | .cm-em {font-style: italic;} | |
93 | .cm-link {text-decoration: underline;} | |
94 | ||
95 | .cm-s-default .cm-error {color: #f00;} | |
96 | .cm-invalidchar {color: #f00;} | |
97 | ||
98 | div.CodeMirror span.CodeMirror-matchingbracket {color: #0f0;} | |
99 | div.CodeMirror span.CodeMirror-nonmatchingbracket {color: #f22;} | |
100 | .CodeMirror-activeline-background {background: #e8f2ff;} | |
101 | ||
102 | /* STOP */ | |
103 | ||
104 | /* The rest of this file contains styles related to the mechanics of | |
105 | the editor. You probably shouldn't touch them. */ | |
106 | ||
107 | .CodeMirror { | |
108 | line-height: 1; | |
109 | position: relative; | |
110 | overflow: hidden; | |
111 | background: white; | |
112 | color: black; | |
113 | } | |
114 | ||
115 | .CodeMirror-scroll { | |
116 | /* 30px is the magic margin used to hide the element's real scrollbars */ | |
117 | /* See overflow: hidden in .CodeMirror */ | |
118 | margin-bottom: -30px; margin-right: -30px; | |
119 | padding-bottom: 30px; padding-right: 30px; | |
120 | height: 100%; | |
121 | outline: none; /* Prevent dragging from highlighting the element */ | |
122 | position: relative; | |
123 | -moz-box-sizing: content-box; | |
124 | box-sizing: content-box; | |
125 | } | |
126 | .CodeMirror-sizer { | |
127 | position: relative; | |
128 | } | |
129 | ||
130 | /* The fake, visible scrollbars. Used to force redraw during scrolling | |
131 | before actuall scrolling happens, thus preventing shaking and | |
132 | flickering artifacts. */ | |
133 | .CodeMirror-vscrollbar, .CodeMirror-hscrollbar, .CodeMirror-scrollbar-filler, .CodeMirror-gutter-filler { | |
134 | position: absolute; | |
135 | z-index: 6; | |
136 | display: none; | |
137 | } | |
138 | .CodeMirror-vscrollbar { | |
139 | right: 0; top: 0; | |
140 | overflow-x: hidden; | |
141 | overflow-y: scroll; | |
142 | } | |
143 | .CodeMirror-hscrollbar { | |
144 | bottom: 0; left: 0; | |
145 | overflow-y: hidden; | |
146 | overflow-x: scroll; | |
147 | } | |
148 | .CodeMirror-scrollbar-filler { | |
149 | right: 0; bottom: 0; | |
150 | } | |
151 | .CodeMirror-gutter-filler { | |
152 | left: 0; bottom: 0; | |
153 | } | |
154 | ||
155 | .CodeMirror-gutters { | |
156 | position: absolute; left: 0; top: 0; | |
157 | padding-bottom: 30px; | |
158 | z-index: 3; | |
159 | } | |
160 | .CodeMirror-gutter { | |
161 | white-space: normal; | |
162 | height: 100%; | |
163 | -moz-box-sizing: content-box; | |
164 | box-sizing: content-box; | |
165 | padding-bottom: 30px; | |
166 | margin-bottom: -32px; | |
167 | display: inline-block; | |
168 | /* Hack to make IE7 behave */ | |
169 | *zoom:1; | |
170 | *display:inline; | |
171 | } | |
172 | .CodeMirror-gutter-elt { | |
173 | position: absolute; | |
174 | cursor: default; | |
175 | z-index: 4; | |
176 | } | |
177 | ||
178 | .CodeMirror-lines { | |
179 | cursor: text; | |
180 | } | |
181 | .CodeMirror pre { | |
182 | /* Reset some styles that the rest of the page might have set */ | |
183 | -moz-border-radius: 0; -webkit-border-radius: 0; border-radius: 0; | |
184 | border-width: 0; | |
185 | background: transparent; | |
186 | font-family: inherit; | |
187 | font-size: inherit; | |
188 | margin: 0; | |
189 | white-space: pre; | |
190 | word-wrap: normal; | |
191 | line-height: inherit; | |
192 | color: inherit; | |
193 | z-index: 2; | |
194 | position: relative; | |
195 | overflow: visible; | |
196 | } | |
197 | .CodeMirror-wrap pre { | |
198 | word-wrap: break-word; | |
199 | white-space: pre-wrap; | |
200 | word-break: normal; | |
201 | } | |
202 | .CodeMirror-code pre { | |
203 | border-right: 30px solid transparent; | |
204 | width: -webkit-fit-content; | |
205 | width: -moz-fit-content; | |
206 | width: fit-content; | |
207 | } | |
208 | .CodeMirror-wrap .CodeMirror-code pre { | |
209 | border-right: none; | |
210 | width: auto; | |
211 | } | |
212 | .CodeMirror-linebackground { | |
213 | position: absolute; | |
214 | left: 0; right: 0; top: 0; bottom: 0; | |
215 | z-index: 0; | |
216 | } | |
217 | ||
218 | .CodeMirror-linewidget { | |
219 | position: relative; | |
220 | z-index: 2; | |
221 | overflow: auto; | |
222 | } | |
223 | ||
224 | .CodeMirror-widget {} | |
225 | ||
226 | .CodeMirror-wrap .CodeMirror-scroll { | |
227 | overflow-x: hidden; | |
228 | } | |
229 | ||
230 | .CodeMirror-measure { | |
231 | position: absolute; | |
232 | width: 100%; | |
233 | height: 0; | |
234 | overflow: hidden; | |
235 | visibility: hidden; | |
236 | } | |
237 | .CodeMirror-measure pre { position: static; } | |
238 | ||
239 | .CodeMirror div.CodeMirror-cursor { | |
240 | position: absolute; | |
241 | visibility: hidden; | |
242 | border-right: none; | |
243 | width: 0; | |
244 | } | |
245 | .CodeMirror-focused div.CodeMirror-cursor { | |
246 | visibility: visible; | |
247 | } | |
248 | ||
249 | .CodeMirror-selected { background: #d9d9d9; } | |
250 | .CodeMirror-focused .CodeMirror-selected { background: #d7d4f0; } | |
251 | ||
252 | .cm-searching { | |
253 | background: #ffa; | |
254 | background: rgba(255, 255, 0, .4); | |
255 | } | |
256 | ||
257 | /* IE7 hack to prevent it from returning funny offsetTops on the spans */ | |
258 | .CodeMirror span { *vertical-align: text-bottom; } | |
259 | ||
260 | @media print { | |
261 | /* Hide the cursor when printing */ | |
262 | .CodeMirror div.CodeMirror-cursor { | |
263 | visibility: hidden; | |
264 | } | |
265 | } |