| OLD | NEW |
| 1 .CodeMirror * { | 1 .CodeMirror * { |
| 2 box-sizing: content-box; | 2 box-sizing: content-box; |
| 3 } | 3 } |
| 4 | 4 |
| 5 .CodeMirror { | 5 .CodeMirror { |
| 6 line-height: 1.2em !important; | 6 line-height: 1.2em !important; |
| 7 background-color: transparent !important; | 7 background-color: transparent !important; |
| 8 } | 8 } |
| 9 | 9 |
| 10 .CodeMirror .source-frame-eval-expression { | 10 .CodeMirror .source-frame-eval-expression { |
| (...skipping 97 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 108 display: none; | 108 display: none; |
| 109 content: "."; | 109 content: "."; |
| 110 color: transparent; | 110 color: transparent; |
| 111 border-bottom: 1px solid rgb(175, 175, 175); | 111 border-bottom: 1px solid rgb(175, 175, 175); |
| 112 position: absolute; | 112 position: absolute; |
| 113 width: 90%; | 113 width: 90%; |
| 114 bottom: 50%; | 114 bottom: 50%; |
| 115 left: 5%; | 115 left: 5%; |
| 116 } | 116 } |
| 117 | 117 |
| 118 .show-whitespaces .CodeMirror .cm-tab:before { |
| 119 display: block !important; |
| 120 } |
| 121 |
| 118 .cm-execution-line { | 122 .cm-execution-line { |
| 119 background-color: rgb(171, 191, 254) !important; | 123 background-color: rgb(171, 191, 254) !important; |
| 120 outline: 1px solid rgb(64, 115, 244); | 124 outline: 1px solid rgb(64, 115, 244); |
| 121 } | 125 } |
| 122 | 126 |
| 123 .cm-execution-line .CodeMirror-linenumber { | 127 .cm-execution-line .CodeMirror-linenumber { |
| 124 border-right: 1px solid rgb(64, 115, 244); | 128 border-right: 1px solid rgb(64, 115, 244); |
| 125 } | 129 } |
| 126 | 130 |
| 127 .cm-token-highlight { | 131 .cm-token-highlight { |
| (...skipping 95 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 223 | 227 |
| 224 .CodeMirror .webkit-html-warning-message { | 228 .CodeMirror .webkit-html-warning-message { |
| 225 background-color: rgb(100%, 62%, 42%); | 229 background-color: rgb(100%, 62%, 42%); |
| 226 border: 2px solid rgb(100%, 52%, 21%); | 230 border: 2px solid rgb(100%, 52%, 21%); |
| 227 } | 231 } |
| 228 | 232 |
| 229 .CodeMirror .webkit-html-error-message { | 233 .CodeMirror .webkit-html-error-message { |
| 230 background-color: rgb(100%, 42%, 42%); | 234 background-color: rgb(100%, 42%, 42%); |
| 231 border: 2px solid rgb(100%, 31%, 31%); | 235 border: 2px solid rgb(100%, 31%, 31%); |
| 232 } | 236 } |
| OLD | NEW |