| @@ -12,10 +12,9 @@ | ||
| 12 | 12 | |
| 13 | 13 | .CodeMirror-lines { |
| 14 | 14 | padding: 4px 0; /* Vertical padding around content */ |
| 15 | 15 | } |
| 16 | -.CodeMirror pre.CodeMirror-line, | |
| 17 | -.CodeMirror pre.CodeMirror-line-like { | |
| 16 | +.CodeMirror pre { | |
| 18 | 17 | padding: 0 4px; /* Horizontal padding of content */ |
| 19 | 18 | } |
| 20 | 19 | |
| 21 | 20 | .CodeMirror-scrollbar-filler, .CodeMirror-gutter-filler { |
| @@ -96,9 +95,9 @@ | ||
| 96 | 95 | .cm-tab { display: inline-block; text-decoration: inherit; } |
| 97 | 96 | |
| 98 | 97 | .CodeMirror-rulers { |
| 99 | 98 | position: absolute; |
| 100 | - left: 0; right: 0; top: -50px; bottom: 0; | |
| 99 | + left: 0; right: 0; top: -50px; bottom: -20px; | |
| 101 | 100 | overflow: hidden; |
| 102 | 101 | } |
| 103 | 102 | .CodeMirror-ruler { |
| 104 | 103 | border-left: 1px solid #ccc; |
| @@ -163,12 +162,12 @@ | ||
| 163 | 162 | } |
| 164 | 163 | |
| 165 | 164 | .CodeMirror-scroll { |
| 166 | 165 | overflow: scroll !important; /* Things will break if this is overridden */ |
| 167 | - /* 50px is the magic margin used to hide the element's real scrollbars */ | |
| 166 | + /* 30px is the magic margin used to hide the element's real scrollbars */ | |
| 168 | 167 | /* See overflow: hidden in .CodeMirror */ |
| 169 | - margin-bottom: -50px; margin-right: -50px; | |
| 170 | - padding-bottom: 50px; | |
| 168 | + margin-bottom: -30px; margin-right: -30px; | |
| 169 | + padding-bottom: 30px; | |
| 171 | 170 | height: 100%; |
| 172 | 171 | outline: none; /* Prevent dragging from highlighting the element */ |
| 173 | 172 | position: relative; |
| 174 | 173 | } |
| @@ -173,9 +172,9 @@ | ||
| 173 | 172 | position: relative; |
| 174 | 173 | } |
| 175 | 174 | .CodeMirror-sizer { |
| 176 | 175 | position: relative; |
| 177 | - border-right: 50px solid transparent; | |
| 176 | + border-right: 30px solid transparent; | |
| 178 | 177 | } |
| 179 | 178 | |
| 180 | 179 | /* The fake, visible scrollbars. Used to force redraw during scrolling |
| 181 | 180 | before actual scrolling happens, thus preventing shaking and |
| @@ -183,9 +182,8 @@ | ||
| 183 | 182 | .CodeMirror-vscrollbar, .CodeMirror-hscrollbar, .CodeMirror-scrollbar-filler, .CodeMirror-gutter-filler { |
| 184 | 183 | position: absolute; |
| 185 | 184 | z-index: 6; |
| 186 | 185 | display: none; |
| 187 | - outline: none; | |
| 188 | 186 | } |
| 189 | 187 | .CodeMirror-vscrollbar { |
| 190 | 188 | right: 0; top: 0; |
| 191 | 189 | overflow-x: hidden; |
| @@ -212,9 +210,9 @@ | ||
| 212 | 210 | white-space: normal; |
| 213 | 211 | height: 100%; |
| 214 | 212 | display: inline-block; |
| 215 | 213 | vertical-align: top; |
| 216 | - margin-bottom: -50px; | |
| 214 | + margin-bottom: -30px; | |
| 217 | 215 | } |
| 218 | 216 | .CodeMirror-gutter-wrapper { |
| 219 | 217 | position: absolute; |
| 220 | 218 | z-index: 4; |
| @@ -237,10 +235,9 @@ | ||
| 237 | 235 | .CodeMirror-lines { |
| 238 | 236 | cursor: text; |
| 239 | 237 | min-height: 1px; /* prevents collapsing before first draw */ |
| 240 | 238 | } |
| 241 | -.CodeMirror pre.CodeMirror-line, | |
| 242 | -.CodeMirror pre.CodeMirror-line-like { | |
| 239 | +.CodeMirror pre { | |
| 243 | 240 | /* Reset some styles that the rest of the page might have set */ |
| 244 | 241 | -moz-border-radius: 0; -webkit-border-radius: 0; border-radius: 0; |
| 245 | 242 | border-width: 0; |
| 246 | 243 | background: transparent; |
| @@ -257,10 +254,9 @@ | ||
| 257 | 254 | -webkit-tap-highlight-color: transparent; |
| 258 | 255 | -webkit-font-variant-ligatures: contextual; |
| 259 | 256 | font-variant-ligatures: contextual; |
| 260 | 257 | } |
| 261 | -.CodeMirror-wrap pre.CodeMirror-line, | |
| 262 | -.CodeMirror-wrap pre.CodeMirror-line-like { | |
| 258 | +.CodeMirror-wrap pre { | |
| 263 | 259 | word-wrap: break-word; |
| 264 | 260 | white-space: pre-wrap; |
| 265 | 261 | word-break: normal; |
| 266 | 262 | } |
| @@ -273,9 +269,9 @@ | ||
| 273 | 269 | |
| 274 | 270 | .CodeMirror-linewidget { |
| 275 | 271 | position: relative; |
| 276 | 272 | z-index: 2; |
| 277 | - padding: 0.1px; /* Force widget margins to stay inside of the container */ | |
| 273 | + overflow: auto; | |
| 278 | 274 | } |
| 279 | 275 | |
| 280 | 276 | .CodeMirror-widget {} |
| 281 | 277 | |
