Merge pull request #962 from Tiang-88/patch-24

多余一行
zhblue · Sep 4, 2023 · ef92038 · ef92038
2 parents 7a43b6d + 21d925d
commit ef92038
Showing 1 changed file with 4 additions and 4 deletions.
diff --git 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";
 	?>
 
-<div style="position: relative;">
-    <div id="source" style="width:100%;" cols=180 rows=16></div>
+
+
 	<pre style="width:90%;height:<?php echo $height?>" cols=180 rows=16 id="source"><?php echo htmlentities($view_src,ENT_QUOTES,"UTF-8")?></pre>
 	<input type=hidden id="hide_source" name="source" value=""/>
 
@@ -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();