| 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 |