| OLD | NEW |
| 1 .CodeMirror { | 1 .CodeMirror { |
| 2 line-height: 1.2em !important; | 2 line-height: 1.2em !important; |
| 3 background-color: transparent !important; | 3 background-color: transparent !important; |
| 4 color: #222; | 4 color: #222; |
| 5 } | 5 } |
| 6 | 6 |
| 7 .CodeMirror-linewidget { | 7 .CodeMirror-linewidget { |
| 8 overflow: visible !important; | 8 overflow: visible !important; |
| 9 } | 9 } |
| 10 | 10 |
| (...skipping 283 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 294 | 294 |
| 295 .text-editor-row-message:first-child { | 295 .text-editor-row-message:first-child { |
| 296 border-top-width: 0; | 296 border-top-width: 0; |
| 297 } | 297 } |
| 298 | 298 |
| 299 .text-editor-row-message { | 299 .text-editor-row-message { |
| 300 border-top: 1px solid rgb(215, 215, 215); | 300 border-top: 1px solid rgb(215, 215, 215); |
| 301 line-height: 1.2; | 301 line-height: 1.2; |
| 302 white-space: nowrap; | 302 white-space: nowrap; |
| 303 display: flex; | 303 display: flex; |
| 304 align-items: center; |
| 305 justify-content: flex-start; |
| 304 } | 306 } |
| 305 | 307 |
| 306 .text-editor-row-message .bubble-repeat-count { | 308 .text-editor-row-message .message-repeat-count { |
| 307 margin-right: 1ex; | 309 margin-right: 0.5em; |
| 308 margin-top: -1px; | |
| 309 } | 310 } |
| 310 | 311 |
| 311 .CodeMirror .text-editor-line-decoration-icon { | 312 .CodeMirror .text-editor-line-decoration-icon { |
| 312 position: absolute; | 313 position: absolute; |
| 313 cursor: pointer; | 314 cursor: pointer; |
| 314 right: -16px; | 315 right: -16px; |
| 315 top: -9px; | 316 top: -9px; |
| 316 } | 317 } |
| 317 | 318 |
| 318 .CodeMirror .text-editor-line-with-warning:not(.cm-execution-line) { | 319 .CodeMirror .text-editor-line-with-warning:not(.cm-execution-line) { |
| (...skipping 33 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 352 background-color: transparent; | 353 background-color: transparent; |
| 353 } | 354 } |
| 354 | 355 |
| 355 .-theme-with-dark-background .CodeMirror .CodeMirror-selected { | 356 .-theme-with-dark-background .CodeMirror .CodeMirror-selected { |
| 356 background-color: #454545; | 357 background-color: #454545; |
| 357 } | 358 } |
| 358 | 359 |
| 359 .CodeMirror .auto-complete-text{ | 360 .CodeMirror .auto-complete-text{ |
| 360 color: rgb(128,128,128); | 361 color: rgb(128,128,128); |
| 361 } | 362 } |
| OLD | NEW |