diff options
author | Jonas Kohl | 2024-11-07 15:57:49 +0100 |
---|---|---|
committer | Jonas Kohl | 2024-11-07 15:57:49 +0100 |
commit | 71c4c50309fa34b7dbbdf90ff8ed589bd23202a0 (patch) | |
tree | 3f42e41eb248653824a53187690b257f429712d4 /public/index.php | |
parent | 5ee7d074a3441aab258f2a975b65f618443b49ec (diff) |
UI Tweaks
Diffstat (limited to 'public/index.php')
-rw-r--r-- | public/index.php | 11 |
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">▶ Compile & run</button> + <div id="toolbar"> + <button type="submit">▶ Compile & 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(); |