From 71c4c50309fa34b7dbbdf90ff8ed589bd23202a0 Mon Sep 17 00:00:00 2001
From: Jonas Kohl
Date: Thu, 7 Nov 2024 15:57:49 +0100
Subject: UI Tweaks

---
 public/index.php | 11 +++++------
 1 file changed, 5 insertions(+), 6 deletions(-)

(limited to 'public/index.php')

diff --git a/public/index.php b/public/index.php
index 1fb9479..b5135e9 100644
--- a/public/index.php
+++ b/public/index.php
@@ -75,12 +75,11 @@ if (isset($_POST["code"]) && strlen($_POST["code"]) <= 16383) {
     <p>Powered by Eclipse Temurin</p>
     <form method="POST">
         <textarea maxlength="16383" id="editor" name="code" rows="20"><?= htmlentities($code ?? $defaultCode) ?></textarea>
-        <br>
-        <button type="submit">&#9654;&nbsp;Compile &amp; run</button>
+        <div id="toolbar">
+            <button type="submit">&#9654;&nbsp;Compile &amp; run</button>
+        </div>
     </form>
-    <div id="output" style="display: none;">
-        
-    </div>
+    <div id="output" style="display: none;"></div>
 
     <script>
         $(function() {
@@ -93,7 +92,7 @@ if (isset($_POST["code"]) && strlen($_POST["code"]) <= 16383) {
                 smartIndent: true,
                 indentUnit: 4
             });
-            editor.setSize(900, 500);
+            editor.setSize(898, 500);
 
             $("form").on("submit", function(e) {
                 e.preventDefault();
-- 
cgit v1.2.3