2024-01-13 03:07:59 +00:00
|
|
|
.Editor {
|
|
|
|
display: flex;
|
|
|
|
flex-direction: row;
|
|
|
|
height: 100%;
|
|
|
|
width: 100%;
|
|
|
|
}
|
|
|
|
|
2024-01-13 03:16:31 +00:00
|
|
|
.Editor-textwrapper {
|
2024-01-13 03:07:59 +00:00
|
|
|
flex: 1;
|
|
|
|
flex-basis: 0;
|
2024-01-13 03:30:55 +00:00
|
|
|
position: relative;
|
2024-01-13 03:39:00 +00:00
|
|
|
background: white;
|
2024-01-13 04:15:06 +00:00
|
|
|
font-family: ui-monospace, "Cascadia Code", "Source Code Pro", Menlo, Consolas,
|
|
|
|
"DejaVu Sans Mono", monospace;
|
|
|
|
font-weight: normal;
|
2024-01-27 18:06:05 +00:00
|
|
|
font-size: 1.3rem;
|
2024-01-13 04:15:06 +00:00
|
|
|
text-align: initial;
|
|
|
|
}
|
|
|
|
|
|
|
|
.Editor-textarea,
|
|
|
|
.Editor-underlay {
|
|
|
|
font-family: inherit;
|
|
|
|
font-weight: inherit;
|
|
|
|
font-size: inherit;
|
|
|
|
padding: 5px;
|
2024-01-23 01:01:30 +00:00
|
|
|
box-sizing: border-box;
|
2024-01-23 03:52:00 +00:00
|
|
|
margin: 0;
|
|
|
|
line-height: normal;
|
2024-01-13 03:07:59 +00:00
|
|
|
}
|
|
|
|
|
2024-01-13 03:16:31 +00:00
|
|
|
.Editor-textarea {
|
2024-01-13 03:39:00 +00:00
|
|
|
position: absolute;
|
|
|
|
top: 0;
|
|
|
|
bottom: 0;
|
|
|
|
left: 0;
|
|
|
|
right: 0;
|
2024-01-13 03:16:31 +00:00
|
|
|
width: 100%;
|
|
|
|
height: 100%;
|
2024-01-13 03:39:00 +00:00
|
|
|
box-sizing: border-box;
|
2024-01-13 04:15:06 +00:00
|
|
|
border: none;
|
2024-01-13 03:39:00 +00:00
|
|
|
background-color: transparent;
|
2024-01-23 03:39:37 +00:00
|
|
|
resize: none;
|
|
|
|
outline: none;
|
2024-01-13 03:16:31 +00:00
|
|
|
}
|
|
|
|
|
2024-01-13 03:39:00 +00:00
|
|
|
.Editor-underlay {
|
|
|
|
width: 100%;
|
|
|
|
height: 100%;
|
2024-01-13 03:30:55 +00:00
|
|
|
pointer-events: none;
|
2024-01-13 04:15:52 +00:00
|
|
|
color: transparent;
|
2024-01-23 02:59:59 +00:00
|
|
|
white-space: pre-wrap;
|
2024-01-28 01:16:33 +00:00
|
|
|
word-wrap: break-word;
|
|
|
|
overflow-y: scroll;
|
2024-01-23 02:59:59 +00:00
|
|
|
|
|
|
|
.highlighted {
|
|
|
|
background: #ffff00;
|
|
|
|
}
|
2024-01-13 03:30:55 +00:00
|
|
|
}
|