diff --git a/edit/edit.css b/edit/edit.css index 939c896c..2680551a 100644 --- a/edit/edit.css +++ b/edit/edit.css @@ -4,6 +4,7 @@ body { margin: 0; + height: 100vh; font: 12px arial,sans-serif; } @@ -1171,6 +1172,10 @@ body.linter-disabled .hidden-unless-compact { margin: 0 .5rem; padding: .5rem 0; } + .single-editor { + overflow: hidden; + flex: 1; + } .usercss #options:not([open]) ~ #lint.hidden ~ #footer, .usercss #lint:not([open]) + #footer { margin-top: -.25em;