change(font) 修改使用websocket的页面字体,增加监控size

增加 "Microsoft Yahei"

templates/exec_cmd.html

@@ -82,7 +82,7 @@
 
 <style type="text/css">
   * {
-    font-family: "Monaco", "DejaVu Sans Mono", "Liberation Mono", monospace;
+    font-family: "Monaco", "Microsoft Yahei", "DejaVu Sans Mono", "Liberation Mono", monospace;
     font-size: 11px;
 
   }

templates/jlog/log_online.html

@@ -3,7 +3,7 @@
     <style>
     .terminal {
         border: #000 solid 5px;
-        font-family: "Monaco", "DejaVu Sans Mono", "Liberation Mono", monospace;
+        font-family: "Monaco", "Microsoft Yahei", "DejaVu Sans Mono", "Liberation Mono", monospace;
         font-size: 11px;
         color: #f0f0f0;
         background: rgba(0, 0, 0, 0.6);
@@ -141,8 +141,8 @@
         var socket = new WebSocket(endpoint + '?file_path=' + file_path);
 
         var term = new Terminal({
-            cols: 80,
-            rows: 24,
+            cols: 98,
+            rows: 28,
             screenKeys: false,
             handler: function(){return false}
         });
@@ -150,7 +150,7 @@
         var tag = $('<div id="term" style="height:500px; overflow: auto;background-color: rgba(0, 0, 0, 0);border: none"></div>');
             term.open();
             $('.terminal').hide();
-            term.resize(80, 24);
+            term.resize(98, 28);
 
         socket.onopen = function(evt){
                 socket.send('hello');