diff --git a/web/include/vditor-adapter.js b/web/include/vditor-adapter.js
index f7788a7..c1b14ce 100644
--- a/web/include/vditor-adapter.js
+++ b/web/include/vditor-adapter.js
@@ -184,7 +184,28 @@
 
     aceAssetsPromise = new Promise(function (resolve, reject) {
       var aceScriptSrc = aceBase + '/ace.js';
+      var languageToolsSrc = aceBase + '/ext-language_tools.js';
       var existing = documentRef.querySelector('script[data-hustoj-ace-js="' + aceScriptSrc + '"]');
+      var loadLanguageTools = function () {
+        var languageTools = documentRef.querySelector('script[data-hustoj-ace-js="' + languageToolsSrc + '"]');
+        var done = function () {
+          finish();
+        };
+
+        if (languageTools) {
+          languageTools.addEventListener('load', done, { once: true });
+          languageTools.addEventListener('error', done, { once: true });
+          return;
+        }
+
+        languageTools = documentRef.createElement('script');
+        languageTools.src = languageToolsSrc;
+        languageTools.async = true;
+        languageTools.setAttribute('data-hustoj-ace-js', languageToolsSrc);
+        languageTools.onload = done;
+        languageTools.onerror = done;
+        documentRef.head.appendChild(languageTools);
+      };
       var finish = function () {
         if (global.ace && global.ace.config && typeof global.ace.config.set === 'function') {
           global.ace.config.set('basePath', aceBase);
@@ -194,9 +215,9 @@
 
       if (existing) {
         if (global.ace) {
-          finish();
+          loadLanguageTools();
         } else {
-          existing.addEventListener('load', finish, { once: true });
+          existing.addEventListener('load', loadLanguageTools, { once: true });
           existing.addEventListener('error', reject, { once: true });
         }
         return;
@@ -206,7 +227,7 @@
       script.src = aceScriptSrc;
       script.async = true;
       script.setAttribute('data-hustoj-ace-js', aceScriptSrc);
-      script.onload = finish;
+      script.onload = loadLanguageTools;
       script.onerror = function () {
         reject(new Error('Failed to load ' + aceScriptSrc));
       };
diff --git a/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_AMS-Regular.woff b/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_AMS-Regular.woff
new file mode 100644
index 0000000..42b74ab
Binary files /dev/null and b/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_AMS-Regular.woff differ
diff --git a/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_Calligraphic-Bold.woff b/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_Calligraphic-Bold.woff
new file mode 100644
index 0000000..0358ee4
Binary files /dev/null and b/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_Calligraphic-Bold.woff differ
diff --git a/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_Calligraphic-Regular.woff b/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_Calligraphic-Regular.woff
new file mode 100644
index 0000000..0358ee4
Binary files /dev/null and b/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_Calligraphic-Regular.woff differ
diff --git a/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_Fraktur-Bold.woff b/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_Fraktur-Bold.woff
new file mode 100644
index 0000000..0358ee4
Binary files /dev/null and b/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_Fraktur-Bold.woff differ
diff --git a/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_Fraktur-Regular.woff b/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_Fraktur-Regular.woff
new file mode 100644
index 0000000..0358ee4
Binary files /dev/null and b/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_Fraktur-Regular.woff differ
diff --git a/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_Main-Bold.woff b/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_Main-Bold.woff
new file mode 100644
index 0000000..42b74ab
Binary files /dev/null and b/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_Main-Bold.woff differ
diff --git a/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_Main-Italic.woff b/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_Main-Italic.woff
new file mode 100644
index 0000000..31d0038
Binary files /dev/null and b/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_Main-Italic.woff differ
diff --git a/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_Main-Regular.woff b/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_Main-Regular.woff
new file mode 100644
index 0000000..42b74ab
Binary files /dev/null and b/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_Main-Regular.woff differ
diff --git a/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_Math-BoldItalic.woff b/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_Math-BoldItalic.woff
new file mode 100644
index 0000000..31d0038
Binary files /dev/null and b/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_Math-BoldItalic.woff differ
diff --git a/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_Math-Italic.woff b/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_Math-Italic.woff
new file mode 100644
index 0000000..31d0038
Binary files /dev/null and b/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_Math-Italic.woff differ
diff --git a/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_SansSerif-Bold.woff b/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_SansSerif-Bold.woff
new file mode 100644
index 0000000..42b74ab
Binary files /dev/null and b/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_SansSerif-Bold.woff differ
diff --git a/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_SansSerif-Italic.woff b/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_SansSerif-Italic.woff
new file mode 100644
index 0000000..31d0038
Binary files /dev/null and b/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_SansSerif-Italic.woff differ
diff --git a/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_SansSerif-Regular.woff b/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_SansSerif-Regular.woff
new file mode 100644
index 0000000..42b74ab
Binary files /dev/null and b/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_SansSerif-Regular.woff differ
diff --git a/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_Script-Regular.woff b/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_Script-Regular.woff
new file mode 100644
index 0000000..0358ee4
Binary files /dev/null and b/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_Script-Regular.woff differ
diff --git a/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_Size1-Regular.woff b/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_Size1-Regular.woff
new file mode 100644
index 0000000..0358ee4
Binary files /dev/null and b/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_Size1-Regular.woff differ
diff --git a/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_Size2-Regular.woff b/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_Size2-Regular.woff
new file mode 100644
index 0000000..0358ee4
Binary files /dev/null and b/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_Size2-Regular.woff differ
diff --git a/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_Size3-Regular.woff b/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_Size3-Regular.woff
new file mode 100644
index 0000000..0358ee4
Binary files /dev/null and b/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_Size3-Regular.woff differ
diff --git a/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_Size4-Regular.woff b/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_Size4-Regular.woff
new file mode 100644
index 0000000..0358ee4
Binary files /dev/null and b/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_Size4-Regular.woff differ
diff --git a/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_Typewriter-Regular.woff b/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_Typewriter-Regular.woff
new file mode 100644
index 0000000..42b74ab
Binary files /dev/null and b/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_Typewriter-Regular.woff differ
diff --git a/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_Vector-Bold.woff b/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_Vector-Bold.woff
new file mode 100644
index 0000000..0358ee4
Binary files /dev/null and b/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_Vector-Bold.woff differ
diff --git a/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_Vector-Regular.woff b/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_Vector-Regular.woff
new file mode 100644
index 0000000..0358ee4
Binary files /dev/null and b/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_Vector-Regular.woff differ
diff --git a/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_Zero.woff b/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_Zero.woff
new file mode 100644
index 0000000..42b74ab
Binary files /dev/null and b/web/template/syzoj/output/chtml/fonts/woff-v2/MathJax_Zero.woff differ
diff --git a/web/template/syzoj/problem.php b/web/template/syzoj/problem.php
index c3e585f..31a7460 100644
--- a/web/template/syzoj/problem.php
+++ b/web/template/syzoj/problem.php
@@ -65,7 +65,7 @@ if ($pr_flag) {
 
   .sample-box pre {
     margin: 0;
-    padding: 16px 18px;
+    padding: 48px 18px 16px;
     overflow: auto;
     background: transparent;
   }