diff --git a/static/src/css/global.css b/static/src/css/global.css index 1d7dc5b1..56c87eb1 100644 --- a/static/src/css/global.css +++ b/static/src/css/global.css @@ -32,4 +32,8 @@ label { .right{ float: right; +} + +.CodeMirror pre { + font-family: "Consolas","Bitstream Vera Sans Mono","Courier New", Courier, monospace !important; } \ No newline at end of file diff --git a/template/admin/user/user_list.html b/template/admin/user/user_list.html index 54d55a72..6045bdbb 100644 --- a/template/admin/user/user_list.html +++ b/template/admin/user/user_list.html @@ -5,7 +5,7 @@
- +
diff --git a/template/oj/problem/problem.html b/template/oj/problem/problem.html index 2d8ddbb1..2b8dfa32 100644 --- a/template/oj/problem/problem.html +++ b/template/oj/problem/problem.html @@ -27,20 +27,20 @@ {% for item in samples %}
- +
 {{ item.input }}
- +
 {{ item.output }}
{% endfor %}
- +
{% if problem.hint %}
diff --git a/template/oj/problem/problem_list.html b/template/oj/problem/problem_list.html index e25ec7c5..53844de3 100644 --- a/template/oj/problem/problem_list.html +++ b/template/oj/problem/problem_list.html @@ -5,7 +5,7 @@
-