From 8dcc9c8d5388d98ad31e16fdef915648f0076bff Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E8=80=81=E5=B9=BF?= Date: Mon, 9 Oct 2017 05:45:19 -0500 Subject: [PATCH] Update web_terminal.html --- templates/jlog/web_terminal.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/templates/jlog/web_terminal.html b/templates/jlog/web_terminal.html index 9b088d57c..2ea736c23 100644 --- a/templates/jlog/web_terminal.html +++ b/templates/jlog/web_terminal.html @@ -11,7 +11,7 @@ .terminal { border: #000 solid 5px; - font-family: "Monaco", "Microsoft Yahei", "DejaVu Sans Mono", "Liberation Mono", monospace; + font-family: Consolas, Monaco, monospace; font-size: 11px; color: #f0f0f0; background: #000;