| 1 |
.CodeMirror { |
| 2 |
border: 1px solid var(--wowp-border); |
| 3 |
font-size: 13px; |
| 4 |
//resize: vertical; |
| 5 |
//overflow: auto; |
| 6 |
//height: auto !important; |
| 7 |
//min-height: 350px !important; |
| 8 |
width: 100%; |
| 9 |
min-height: 60vh !important; |
| 10 |
height: calc(100vh - 295px) !important; |
| 11 |
//border: 1px solid #dcdcde; |
| 12 |
box-sizing: border-box; |
| 13 |
} |
| 14 |
|
| 15 |
.wpcoder-global-php .CodeMirror-sizer:before { |
| 16 |
content: "<?php\A defined( 'ABSPATH' ) || exit;\A\A"; |
| 17 |
white-space: pre; |
| 18 |
} |
| 19 |
|
| 20 |
.wpcoder-global-php .CodeMirror-sizer:before { |
| 21 |
color: #848A8A; |
| 22 |
position: absolute; |
| 23 |
} |
| 24 |
|
| 25 |
.wpcoder-global-php .CodeMirror-lines { |
| 26 |
padding-top: 50px; |
| 27 |
} |
| 28 |
|
| 29 |
.highlighted-gutter { |
| 30 |
background-color: #e8f2ff; |
| 31 |
border-left: 5px solid var(--wowp-orange); |
| 32 |
} |
| 33 |
|
