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 77 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
88 .cm-negative {color: #d44;} | 88 .cm-negative {color: #d44;} |
89 .cm-positive {color: #292;} | 89 .cm-positive {color: #292;} |
90 .cm-header, .cm-strong {font-weight: bold;} | 90 .cm-header, .cm-strong {font-weight: bold;} |
91 .cm-em {font-style: italic;} | 91 .cm-em {font-style: italic;} |
92 .cm-link {text-decoration: underline;} | 92 .cm-link {text-decoration: underline;} |
93 | 93 |
94 .cm-invalidchar {color: #f00;} | 94 .cm-invalidchar {color: #f00;} |
95 | 95 |
96 div.CodeMirror span.CodeMirror-matchingbracket {color: #0f0;} | 96 div.CodeMirror span.CodeMirror-matchingbracket {color: #0f0;} |
97 div.CodeMirror span.CodeMirror-nonmatchingbracket {color: #f22;} | 97 div.CodeMirror span.CodeMirror-nonmatchingbracket {color: #f22;} |
| 98 .CodeMirror-activeline-background {background: #e8f2ff;} |
98 | 99 |
99 /* STOP */ | 100 /* STOP */ |
100 | 101 |
101 /* The rest of this file contains styles related to the mechanics of | 102 /* The rest of this file contains styles related to the mechanics of |
102 the editor. You probably shouldn't touch them. */ | 103 the editor. You probably shouldn't touch them. */ |
103 | 104 |
104 .CodeMirror { | 105 .CodeMirror { |
105 line-height: 1; | 106 line-height: 1; |
106 position: relative; | 107 position: relative; |
107 overflow: hidden; | 108 overflow: hidden; |
108 background: white; | 109 background: white; |
109 color: black; | 110 color: black; |
110 } | 111 } |
111 | 112 |
112 .CodeMirror-scroll { | 113 .CodeMirror-scroll { |
113 /* 30px is the magic margin used to hide the element's real scrollbars */ | 114 /* 30px is the magic margin used to hide the element's real scrollbars */ |
114 /* See overflow: hidden in .CodeMirror */ | 115 /* See overflow: hidden in .CodeMirror */ |
115 margin-bottom: -30px; margin-right: -30px; | 116 margin-bottom: -30px; margin-right: -30px; |
116 padding-bottom: 30px; padding-right: 30px; | 117 padding-bottom: 30px; padding-right: 30px; |
117 height: 100%; | 118 height: 100%; |
118 outline: none; /* Prevent dragging from highlighting the element */ | 119 outline: none; /* Prevent dragging from highlighting the element */ |
119 position: relative; | 120 position: relative; |
| 121 -moz-box-sizing: content-box; |
| 122 box-sizing: content-box; |
120 } | 123 } |
121 .CodeMirror-sizer { | 124 .CodeMirror-sizer { |
122 position: relative; | 125 position: relative; |
123 } | 126 } |
124 | 127 |
125 /* The fake, visible scrollbars. Used to force redraw during scrolling | 128 /* The fake, visible scrollbars. Used to force redraw during scrolling |
126 before actuall scrolling happens, thus preventing shaking and | 129 before actuall scrolling happens, thus preventing shaking and |
127 flickering artifacts. */ | 130 flickering artifacts. */ |
128 .CodeMirror-vscrollbar, .CodeMirror-hscrollbar, .CodeMirror-scrollbar-filler, .C
odeMirror-gutter-filler { | 131 .CodeMirror-vscrollbar, .CodeMirror-hscrollbar, .CodeMirror-scrollbar-filler, .C
odeMirror-gutter-filler { |
129 position: absolute; | 132 position: absolute; |
(...skipping 18 matching lines...) Expand all Loading... |
148 } | 151 } |
149 | 152 |
150 .CodeMirror-gutters { | 153 .CodeMirror-gutters { |
151 position: absolute; left: 0; top: 0; | 154 position: absolute; left: 0; top: 0; |
152 padding-bottom: 30px; | 155 padding-bottom: 30px; |
153 z-index: 3; | 156 z-index: 3; |
154 } | 157 } |
155 .CodeMirror-gutter { | 158 .CodeMirror-gutter { |
156 white-space: normal; | 159 white-space: normal; |
157 height: 100%; | 160 height: 100%; |
| 161 -moz-box-sizing: content-box; |
| 162 box-sizing: content-box; |
158 padding-bottom: 30px; | 163 padding-bottom: 30px; |
159 margin-bottom: -32px; | 164 margin-bottom: -32px; |
160 display: inline-block; | 165 display: inline-block; |
161 /* Hack to make IE7 behave */ | 166 /* Hack to make IE7 behave */ |
162 *zoom:1; | 167 *zoom:1; |
163 *display:inline; | 168 *display:inline; |
164 } | 169 } |
165 .CodeMirror-gutter-elt { | 170 .CodeMirror-gutter-elt { |
166 position: absolute; | 171 position: absolute; |
167 cursor: default; | 172 cursor: default; |
(...skipping 39 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
207 left: 0; right: 0; top: 0; bottom: 0; | 212 left: 0; right: 0; top: 0; bottom: 0; |
208 z-index: 0; | 213 z-index: 0; |
209 } | 214 } |
210 | 215 |
211 .CodeMirror-linewidget { | 216 .CodeMirror-linewidget { |
212 position: relative; | 217 position: relative; |
213 z-index: 2; | 218 z-index: 2; |
214 overflow: auto; | 219 overflow: auto; |
215 } | 220 } |
216 | 221 |
217 .CodeMirror-widget { | 222 .CodeMirror-widget {} |
218 } | |
219 | 223 |
220 .CodeMirror-wrap .CodeMirror-scroll { | 224 .CodeMirror-wrap .CodeMirror-scroll { |
221 overflow-x: hidden; | 225 overflow-x: hidden; |
222 } | 226 } |
223 | 227 |
224 .CodeMirror-measure { | 228 .CodeMirror-measure { |
225 position: absolute; | 229 position: absolute; |
226 width: 100%; height: 0px; | 230 width: 100%; |
| 231 height: 0; |
227 overflow: hidden; | 232 overflow: hidden; |
228 visibility: hidden; | 233 visibility: hidden; |
229 } | 234 } |
230 .CodeMirror-measure pre { position: static; } | 235 .CodeMirror-measure pre { position: static; } |
231 | 236 |
232 .CodeMirror div.CodeMirror-cursor { | 237 .CodeMirror div.CodeMirror-cursor { |
233 position: absolute; | 238 position: absolute; |
234 visibility: hidden; | 239 visibility: hidden; |
235 border-right: none; | 240 border-right: none; |
236 width: 0; | 241 width: 0; |
(...skipping 12 matching lines...) Expand all Loading... |
249 | 254 |
250 /* IE7 hack to prevent it from returning funny offsetTops on the spans */ | 255 /* IE7 hack to prevent it from returning funny offsetTops on the spans */ |
251 .CodeMirror span { *vertical-align: text-bottom; } | 256 .CodeMirror span { *vertical-align: text-bottom; } |
252 | 257 |
253 @media print { | 258 @media print { |
254 /* Hide the cursor when printing */ | 259 /* Hide the cursor when printing */ |
255 .CodeMirror div.CodeMirror-cursor { | 260 .CodeMirror div.CodeMirror-cursor { |
256 visibility: hidden; | 261 visibility: hidden; |
257 } | 262 } |
258 } | 263 } |
OLD | NEW |