| 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 101 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 112 } | 112 } |
| 113 | 113 |
| 114 .breakpoints-deactivated .cm-breakpoint .CodeMirror-linenumber { | 114 .breakpoints-deactivated .cm-breakpoint .CodeMirror-linenumber { |
| 115 opacity: 0.5; | 115 opacity: 0.5; |
| 116 } | 116 } |
| 117 | 117 |
| 118 .breakpoints-deactivated .cm-breakpoint-disabled .CodeMirror-linenumber { | 118 .breakpoints-deactivated .cm-breakpoint-disabled .CodeMirror-linenumber { |
| 119 opacity: 0.3; | 119 opacity: 0.3; |
| 120 } | 120 } |
| 121 | 121 |
| 122 .cm-inline-breakpoint { |
| 123 position:relative; |
| 124 top: 1px; |
| 125 cursor: pointer; |
| 126 } |
| 127 |
| 128 .cm-execution-line-tail + .CodeMirror-widget { |
| 129 background-color: #abbffe; |
| 130 } |
| 131 |
| 132 .source-frame-eval-expression + .CodeMirror-widget { |
| 133 border: 1px solid rgb(163, 41, 34); |
| 134 border-left-width: 0; |
| 135 border-right-width: 0; |
| 136 background-color: rgb(255, 255, 194); |
| 137 } |
| 138 |
| 139 .cm-inline-breakpoint.cm-execution-line-tail { |
| 140 background-color: #698cfe; |
| 141 } |
| 142 |
| 143 .cm-execution-line-tail .cm-inline-breakpoint { |
| 144 background-color: white |
| 145 } |
| 146 |
| 147 .cm-inline-breakpoint.cm-inline-conditional { |
| 148 background-color: #ef9d0d; |
| 149 } |
| 150 |
| 151 .cm-inline-breakpoint.cm-inline-disabled { |
| 152 opacity: 0.5; |
| 153 } |
| 154 |
| 122 div.CodeMirror span.CodeMirror-matchingbracket { | 155 div.CodeMirror span.CodeMirror-matchingbracket { |
| 123 background-color: rgba(0, 0, 0, 0.07); | 156 background-color: rgba(0, 0, 0, 0.07); |
| 124 border-bottom: 1px solid rgba(0, 0, 0, 0.5); | 157 border-bottom: 1px solid rgba(0, 0, 0, 0.5); |
| 125 color: unset; | 158 color: unset; |
| 126 } | 159 } |
| 127 | 160 |
| 128 div.CodeMirror span.CodeMirror-nonmatchingbracket { | 161 div.CodeMirror span.CodeMirror-nonmatchingbracket { |
| 129 background-color: rgba(255, 0, 0, 0.07); | 162 background-color: rgba(255, 0, 0, 0.07); |
| 130 border-bottom: 1px solid rgba(255, 0, 0, 0.5); | 163 border-bottom: 1px solid rgba(255, 0, 0, 0.5); |
| 131 color: unset; | 164 color: unset; |
| (...skipping 256 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 388 | 421 |
| 389 .CodeMirror .auto-complete-text { | 422 .CodeMirror .auto-complete-text { |
| 390 color: rgb(128,128,128); | 423 color: rgb(128,128,128); |
| 391 } | 424 } |
| 392 | 425 |
| 393 /** Prevent the codemirror textarea from stealing PageUp events **/ | 426 /** Prevent the codemirror textarea from stealing PageUp events **/ |
| 394 .CodeMirror textarea { | 427 .CodeMirror textarea { |
| 395 resize: none; | 428 resize: none; |
| 396 overflow: hidden; | 429 overflow: hidden; |
| 397 } | 430 } |
| OLD | NEW |