OLD | NEW |
1 /* BASICS */ | 1 /* BASICS */ |
2 | 2 |
3 .CodeMirror { | 3 .CodeMirror { |
4 /* Set height, width, borders, and global font properties here */ | 4 /* Set height, width, borders, and global font properties here */ |
5 font-family: monospace; | 5 font-family: monospace; |
6 height: 300px; | 6 height: 300px; |
7 } | 7 } |
8 .CodeMirror-scroll { | 8 .CodeMirror-scroll { |
9 /* Set scrolling behaviour here */ | 9 /* Set scrolling behaviour here */ |
10 overflow: auto; | 10 overflow: auto; |
(...skipping 18 matching lines...) Expand all Loading... |
29 border-right: 1px solid #ddd; | 29 border-right: 1px solid #ddd; |
30 background-color: #f7f7f7; | 30 background-color: #f7f7f7; |
31 white-space: nowrap; | 31 white-space: nowrap; |
32 } | 32 } |
33 .CodeMirror-linenumbers {} | 33 .CodeMirror-linenumbers {} |
34 .CodeMirror-linenumber { | 34 .CodeMirror-linenumber { |
35 padding: 0 3px 0 5px; | 35 padding: 0 3px 0 5px; |
36 min-width: 20px; | 36 min-width: 20px; |
37 text-align: right; | 37 text-align: right; |
38 color: #999; | 38 color: #999; |
| 39 -moz-box-sizing: content-box; |
| 40 box-sizing: content-box; |
39 } | 41 } |
40 | 42 |
41 /* CURSOR */ | 43 /* CURSOR */ |
42 | 44 |
43 .CodeMirror div.CodeMirror-cursor { | 45 .CodeMirror div.CodeMirror-cursor { |
44 border-left: 1px solid black; | 46 border-left: 1px solid black; |
45 z-index: 3; | |
46 } | 47 } |
47 /* Shown when moving in bi-directional text */ | 48 /* Shown when moving in bi-directional text */ |
48 .CodeMirror div.CodeMirror-secondarycursor { | 49 .CodeMirror div.CodeMirror-secondarycursor { |
49 border-left: 1px solid silver; | 50 border-left: 1px solid silver; |
50 } | 51 } |
51 .CodeMirror.cm-keymap-fat-cursor div.CodeMirror-cursor { | 52 .CodeMirror.cm-keymap-fat-cursor div.CodeMirror-cursor { |
52 width: auto; | 53 width: auto; |
53 border: 0; | 54 border: 0; |
54 background: #7e7; | 55 background: #7e7; |
55 z-index: 1; | |
56 } | 56 } |
57 /* Can style cursor different in overwrite (non-insert) mode */ | 57 /* Can style cursor different in overwrite (non-insert) mode */ |
58 .CodeMirror div.CodeMirror-cursor.CodeMirror-overwrite {} | 58 div.CodeMirror-overwrite div.CodeMirror-cursor {} |
59 | 59 |
60 .cm-tab { display: inline-block; } | 60 .cm-tab { display: inline-block; } |
61 | 61 |
| 62 .CodeMirror-ruler { |
| 63 border-left: 1px solid #ccc; |
| 64 position: absolute; |
| 65 } |
| 66 |
62 /* DEFAULT THEME */ | 67 /* DEFAULT THEME */ |
63 | 68 |
64 .cm-s-default .cm-keyword {color: #708;} | 69 .cm-s-default .cm-keyword {color: #708;} |
65 .cm-s-default .cm-atom {color: #219;} | 70 .cm-s-default .cm-atom {color: #219;} |
66 .cm-s-default .cm-number {color: #164;} | 71 .cm-s-default .cm-number {color: #164;} |
67 .cm-s-default .cm-def {color: #00f;} | 72 .cm-s-default .cm-def {color: #00f;} |
68 .cm-s-default .cm-variable {color: black;} | 73 .cm-s-default .cm-variable {color: black;} |
69 .cm-s-default .cm-variable-2 {color: #05a;} | 74 .cm-s-default .cm-variable-2 {color: #05a;} |
70 .cm-s-default .cm-variable-3 {color: #085;} | 75 .cm-s-default .cm-variable-3 {color: #085;} |
71 .cm-s-default .cm-property {color: black;} | 76 .cm-s-default .cm-property {color: black;} |
(...skipping 35 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
107 position: relative; | 112 position: relative; |
108 overflow: hidden; | 113 overflow: hidden; |
109 background: white; | 114 background: white; |
110 color: black; | 115 color: black; |
111 } | 116 } |
112 | 117 |
113 .CodeMirror-scroll { | 118 .CodeMirror-scroll { |
114 /* 30px is the magic margin used to hide the element's real scrollbars */ | 119 /* 30px is the magic margin used to hide the element's real scrollbars */ |
115 /* See overflow: hidden in .CodeMirror */ | 120 /* See overflow: hidden in .CodeMirror */ |
116 margin-bottom: -30px; margin-right: -30px; | 121 margin-bottom: -30px; margin-right: -30px; |
117 padding-bottom: 30px; padding-right: 30px; | 122 padding-bottom: 30px; |
118 height: 100%; | 123 height: 100%; |
119 outline: none; /* Prevent dragging from highlighting the element */ | 124 outline: none; /* Prevent dragging from highlighting the element */ |
120 position: relative; | 125 position: relative; |
121 -moz-box-sizing: content-box; | 126 -moz-box-sizing: content-box; |
122 box-sizing: content-box; | 127 box-sizing: content-box; |
123 } | 128 } |
124 .CodeMirror-sizer { | 129 .CodeMirror-sizer { |
125 position: relative; | 130 position: relative; |
| 131 border-right: 30px solid transparent; |
| 132 -moz-box-sizing: content-box; |
| 133 box-sizing: content-box; |
126 } | 134 } |
127 | 135 |
128 /* The fake, visible scrollbars. Used to force redraw during scrolling | 136 /* The fake, visible scrollbars. Used to force redraw during scrolling |
129 before actuall scrolling happens, thus preventing shaking and | 137 before actuall scrolling happens, thus preventing shaking and |
130 flickering artifacts. */ | 138 flickering artifacts. */ |
131 .CodeMirror-vscrollbar, .CodeMirror-hscrollbar, .CodeMirror-scrollbar-filler, .C
odeMirror-gutter-filler { | 139 .CodeMirror-vscrollbar, .CodeMirror-hscrollbar, .CodeMirror-scrollbar-filler, .C
odeMirror-gutter-filler { |
132 position: absolute; | 140 position: absolute; |
133 z-index: 6; | 141 z-index: 6; |
134 display: none; | 142 display: none; |
135 } | 143 } |
(...skipping 54 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
190 color: inherit; | 198 color: inherit; |
191 z-index: 2; | 199 z-index: 2; |
192 position: relative; | 200 position: relative; |
193 overflow: visible; | 201 overflow: visible; |
194 } | 202 } |
195 .CodeMirror-wrap pre { | 203 .CodeMirror-wrap pre { |
196 word-wrap: break-word; | 204 word-wrap: break-word; |
197 white-space: pre-wrap; | 205 white-space: pre-wrap; |
198 word-break: normal; | 206 word-break: normal; |
199 } | 207 } |
200 .CodeMirror-code pre { | 208 |
201 border-right: 30px solid transparent; | |
202 width: -webkit-fit-content; | |
203 width: -moz-fit-content; | |
204 width: fit-content; | |
205 } | |
206 .CodeMirror-wrap .CodeMirror-code pre { | |
207 border-right: none; | |
208 width: auto; | |
209 } | |
210 .CodeMirror-linebackground { | 209 .CodeMirror-linebackground { |
211 position: absolute; | 210 position: absolute; |
212 left: 0; right: 0; top: 0; bottom: 0; | 211 left: 0; right: 0; top: 0; bottom: 0; |
213 z-index: 0; | 212 z-index: 0; |
214 } | 213 } |
215 | 214 |
216 .CodeMirror-linewidget { | 215 .CodeMirror-linewidget { |
217 position: relative; | 216 position: relative; |
218 z-index: 2; | 217 z-index: 2; |
219 overflow: auto; | 218 overflow: auto; |
220 } | 219 } |
221 | 220 |
222 .CodeMirror-widget {} | 221 .CodeMirror-widget {} |
223 | 222 |
224 .CodeMirror-wrap .CodeMirror-scroll { | 223 .CodeMirror-wrap .CodeMirror-scroll { |
225 overflow-x: hidden; | 224 overflow-x: hidden; |
226 } | 225 } |
227 | 226 |
228 .CodeMirror-measure { | 227 .CodeMirror-measure { |
229 position: absolute; | 228 position: absolute; |
230 width: 100%; | 229 width: 100%; |
231 height: 0; | 230 height: 0; |
232 overflow: hidden; | 231 overflow: hidden; |
233 visibility: hidden; | 232 visibility: hidden; |
234 } | 233 } |
235 .CodeMirror-measure pre { position: static; } | 234 .CodeMirror-measure pre { position: static; } |
236 | 235 |
237 .CodeMirror div.CodeMirror-cursor { | 236 .CodeMirror div.CodeMirror-cursor { |
238 position: absolute; | 237 position: absolute; |
239 visibility: hidden; | |
240 border-right: none; | 238 border-right: none; |
241 width: 0; | 239 width: 0; |
242 } | 240 } |
243 .CodeMirror-focused div.CodeMirror-cursor { | 241 |
| 242 div.CodeMirror-cursors { |
| 243 visibility: hidden; |
| 244 position: relative; |
| 245 z-index: 1; |
| 246 } |
| 247 .CodeMirror-focused div.CodeMirror-cursors { |
244 visibility: visible; | 248 visibility: visible; |
245 } | 249 } |
246 | 250 |
247 .CodeMirror-selected { background: #d9d9d9; } | 251 .CodeMirror-selected { background: #d9d9d9; } |
248 .CodeMirror-focused .CodeMirror-selected { background: #d7d4f0; } | 252 .CodeMirror-focused .CodeMirror-selected { background: #d7d4f0; } |
249 | 253 |
250 .cm-searching { | 254 .cm-searching { |
251 background: #ffa; | 255 background: #ffa; |
252 background: rgba(255, 255, 0, .4); | 256 background: rgba(255, 255, 0, .4); |
253 } | 257 } |
254 | 258 |
255 /* IE7 hack to prevent it from returning funny offsetTops on the spans */ | 259 /* IE7 hack to prevent it from returning funny offsetTops on the spans */ |
256 .CodeMirror span { *vertical-align: text-bottom; } | 260 .CodeMirror span { *vertical-align: text-bottom; } |
257 | 261 |
| 262 /* Used to force a border model for a node */ |
| 263 .cm-force-border { padding-right: .1px; } |
| 264 |
258 @media print { | 265 @media print { |
259 /* Hide the cursor when printing */ | 266 /* Hide the cursor when printing */ |
260 .CodeMirror div.CodeMirror-cursor { | 267 .CodeMirror div.CodeMirror-cursors { |
261 visibility: hidden; | 268 visibility: hidden; |
262 } | 269 } |
263 } | 270 } |
OLD | NEW |