From b3fa1eaae239c97f1dc9663df2f6a853a7840fdf Mon Sep 17 00:00:00 2001
From: j433866 <j433866@gmail.com>
Date: Wed, 3 Jul 2019 14:24:05 +0100
Subject: [PATCH] Fix output heights being incorrect

---
 src/web/stylesheets/layout/_io.css | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)

diff --git a/src/web/stylesheets/layout/_io.css b/src/web/stylesheets/layout/_io.css
index 247bfddd..004411d6 100755
--- a/src/web/stylesheets/layout/_io.css
+++ b/src/web/stylesheets/layout/_io.css
@@ -156,21 +156,27 @@
 #input-wrapper,
 #output-wrapper,
 #input-wrapper > * ,
-#output-wrapper > .textarea-wrapper > #output-loader {
+#output-wrapper > .textarea-wrapper > div,
+#output-wrapper > .textarea-wrapper > textarea {
     height: calc(100% - var(--title-height));
 }
 
 #input-wrapper.show-tabs,
 #input-wrapper.show-tabs > *,
 #output-wrapper.show-tabs,
-#output-wrapper > .textarea-wrapper > #output-loader {
+#output-wrapper.show-tabs > .textarea-wrapper > div,
+#output-wrapper.show-tabs > .textarea-wrapper > textarea {
     height: calc(100% - var(--tab-height) - var(--title-height));
 }
 
-#output-wrapper > .textarea-wrapper > * {
+#output-wrapper > .textarea-wrapper > #output-html {
     height: 100%;
 }
 
+#show-file-overlay {
+    height: 32px;
+}
+
 .input-wrapper.textarea-wrapper {
     width: 100%;
     box-sizing: border-box;