diff --git a/trunk/web/template/syzoj/submitpage.php b/trunk/web/template/syzoj/submitpage.php index 776ddab9807..7576880e379 100644 --- a/trunk/web/template/syzoj/submitpage.php +++ b/trunk/web/template/syzoj/submitpage.php @@ -86,8 +86,8 @@ if (isset($OJ_TEST_RUN)&&$OJ_TEST_RUN) $height="400px";else $height="500px"; ?> -
-
+ +
@@ -388,13 +388,13 @@ function autoSave(){ function increaseFontSize(event) { event.preventDefault(); var currentSize = parseInt(editor.getFontSize()); - editor.setFontSize(currentSize + 1); + editor.setFontSize(currentSize + 3); } function decreaseFontSize(event) { event.preventDefault(); var currentSize = parseInt(editor.getFontSize()); - editor.setFontSize(currentSize - 1); + editor.setFontSize(currentSize - 3); } function toggleTheme(event) { event.preventDefault();