Update jsoneditor height in index.html

Author: Juice10

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>