diff options
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(); |