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 |