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 350 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
361 padding-left: 5px; | 361 padding-left: 5px; |
362 color: #222; | 362 color: #222; |
363 -webkit-user-select: text; | 363 -webkit-user-select: text; |
364 } | 364 } |
365 | 365 |
366 .CodeMirror .cm-execution-line .text-editor-value-decoration { | 366 .CodeMirror .cm-execution-line .text-editor-value-decoration { |
367 background-color: transparent; | 367 background-color: transparent; |
368 opacity: 0.5; | 368 opacity: 0.5; |
369 } | 369 } |
370 | 370 |
371 .text-editor-messages-description-container { | |
372 display: inline-block; | |
373 } | |
374 | |
375 .text-editor-row-message:first-child { | |
376 border-top-width: 0; | |
377 } | |
378 | |
379 .text-editor-row-message { | |
380 border-top: 1px solid rgb(215, 215, 215); | |
381 line-height: 1.2; | |
382 white-space: nowrap; | |
383 display: flex; | |
384 align-items: center; | |
385 justify-content: flex-start; | |
386 } | |
387 | |
388 .text-editor-row-message .message-repeat-count { | |
389 margin-right: 0.5em; | |
390 } | |
391 | |
392 .CodeMirror .text-editor-line-decoration-icon { | 371 .CodeMirror .text-editor-line-decoration-icon { |
393 position: absolute; | 372 position: absolute; |
394 cursor: pointer; | 373 cursor: pointer; |
395 right: -16px; | 374 right: -16px; |
396 top: -9px; | 375 top: -9px; |
397 } | 376 } |
398 | 377 |
399 .CodeMirror .text-editor-line-with-warning:not(.cm-execution-line):not(.cm-reado
nly-highlight) { | 378 .CodeMirror .text-editor-line-with-warning:not(.cm-execution-line):not(.cm-reado
nly-highlight) { |
400 background-color: rgba(241, 230, 0, 0.1); | 379 background-color: rgba(241, 230, 0, 0.1); |
401 } | 380 } |
(...skipping 37 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
439 | 418 |
440 .CodeMirror .auto-complete-text { | 419 .CodeMirror .auto-complete-text { |
441 color: rgb(128,128,128); | 420 color: rgb(128,128,128); |
442 } | 421 } |
443 | 422 |
444 /** Prevent the codemirror textarea from stealing PageUp events **/ | 423 /** Prevent the codemirror textarea from stealing PageUp events **/ |
445 .CodeMirror textarea { | 424 .CodeMirror textarea { |
446 resize: none; | 425 resize: none; |
447 overflow: hidden; | 426 overflow: hidden; |
448 } | 427 } |
OLD | NEW |