From 05bc4301add9e7b75160d553b0c7419613e85f95 Mon Sep 17 00:00:00 2001
From: tophf <tophf@gmx.com>
Date: Tue, 21 Sep 2021 10:50:50 +0300
Subject: [PATCH] 349a8c38 follow-up: stretch editor in compact mode

---
 edit/edit.css | 5 +++++
 1 file changed, 5 insertions(+)

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;