From a45e35f5feb057f2b4d6a6385ecc40a470471a13 Mon Sep 17 00:00:00 2001
From: Radon Rosborough <radon.neon@gmail.com>
Date: Sun, 15 Aug 2021 17:37:52 -0700
Subject: [PATCH] Fix bizarre dynamic resizing bug

---
 frontend/pages/app.ejs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/frontend/pages/app.ejs b/frontend/pages/app.ejs
index 8afa2c5..f08be09 100644
--- a/frontend/pages/app.ejs
+++ b/frontend/pages/app.ejs
@@ -59,7 +59,7 @@
           </button>
         </div>
         <div style="height: 100%">
-          <div id="editor" style="height: 100%; padding: 12px; padding-left: 0"></div>
+          <div id="editor" style="height: 100%; margin: 12px; margin-left: 0"></div>
         </div>
       </div>
       <div class="column" id="terminal" style="background: black; padding: 0">