From 134fc1be9ed3c6eff8bcfe82c4b021d812ab2221 Mon Sep 17 00:00:00 2001
From: Justin Halsall <Juice10@users.noreply.github.com>
Date: Fri, 5 Apr 2024 15:41:51 +0200
Subject: [PATCH] Update jsoneditor height in index.html

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

diff --git a/play/index.html b/play/index.html
index 058d962..aaec0ee 100644
--- a/play/index.html
+++ b/play/index.html
@@ -19,7 +19,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>