summaryrefslogtreecommitdiff
path: root/public/index.php
diff options
context:
space:
mode:
authorJonas Kohl2024-11-07 15:57:49 +0100
committerJonas Kohl2024-11-07 15:57:49 +0100
commit71c4c50309fa34b7dbbdf90ff8ed589bd23202a0 (patch)
tree3f42e41eb248653824a53187690b257f429712d4 /public/index.php
parent5ee7d074a3441aab258f2a975b65f618443b49ec (diff)
UI Tweaks
Diffstat (limited to 'public/index.php')
-rw-r--r--public/index.php11
1 files changed, 5 insertions, 6 deletions
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();