349a8c38
follow-up: stretch editor in compact mode
This commit is contained in:
parent
58ad6f64d6
commit
05bc4301ad
|
@ -4,6 +4,7 @@
|
||||||
|
|
||||||
body {
|
body {
|
||||||
margin: 0;
|
margin: 0;
|
||||||
|
height: 100vh;
|
||||||
font: 12px arial,sans-serif;
|
font: 12px arial,sans-serif;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -1171,6 +1172,10 @@ body.linter-disabled .hidden-unless-compact {
|
||||||
margin: 0 .5rem;
|
margin: 0 .5rem;
|
||||||
padding: .5rem 0;
|
padding: .5rem 0;
|
||||||
}
|
}
|
||||||
|
.single-editor {
|
||||||
|
overflow: hidden;
|
||||||
|
flex: 1;
|
||||||
|
}
|
||||||
.usercss #options:not([open]) ~ #lint.hidden ~ #footer,
|
.usercss #options:not([open]) ~ #lint.hidden ~ #footer,
|
||||||
.usercss #lint:not([open]) + #footer {
|
.usercss #lint:not([open]) + #footer {
|
||||||
margin-top: -.25em;
|
margin-top: -.25em;
|
||||||
|
|
Loading…
Reference in New Issue
Block a user