From 6d0621ac63bc2a5b74e2637aa69f84c9fabb7807 Mon Sep 17 00:00:00 2001
From: Juice10 <Juice10@users.noreply.github.com>
Date: Fri, 5 Apr 2024 13:42:25 +0000
Subject: [PATCH] deploy: 134fc1be9ed3c6eff8bcfe82c4b021d812ab2221

---
 play/index.html | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/play/index.html b/play/index.html
index e85ebbb..441eb4c 100644
--- a/play/index.html
+++ b/play/index.html
@@ -21,7 +21,14 @@
       Version:
       <select id="versions"></select>
     </p>
-    <div id="jsoneditor" style="width: 100%; height: 400px"></div>
+    <div
+      id="jsoneditor"
+      style="
+        width: 100%;
+        min-height: 400px;
+        height: calc(100vh - 656px - 100px);
+      "
+    ></div>
     <div id="player">
       <p class="loading">Loading player...</p>
     </div>