H3C eos日志格式

修改H3C的eos日志字体为等宽字体
当前为 2022-07-07 提交的版本，查看最新版本。
换行
// ==UserScript==
// @name         H3C eos日志格式
// @namespace    http://tampermonkey.net/
// @version      v1.2
// @description  修改H3C的eos日志字体为等宽字体
// @author       z404p
// @match        *://eos.h3c.com/project/logs*
// @match        *://eos-ts.h3c.com/project/logs*
// @icon         https://www.google.com/s2/favicons?sz=64&domain=greasyfork.org
// @grant        GM_log
// @license      MIT
// ==/UserScript==

(function() {
    'use strict';
    var t = setInterval(function(){
        if(document.getElementById("loghtml")){
            var elementStyle = document.getElementById("loghtml").style
            elementStyle['font-family'] = 'Consolas'
            elementStyle['letter-spacing'] = '0'
            clearInterval(t);
        }
    }, 100);

    var pNum=0
    var t2 = setInterval(function(){
        if(document.getElementById("loghtml")){
            var element = document.getElementById("loghtml")
            if(pNum !== element.children.length){
                console.log(element.children.length)
                pNum = element.children.length
                editChildren(element)
            }
        }
    }, 100);

    function editChildren(element){
        for (let i = 0; i < element.children.length; i++) {
            var children = element.children[i];
            children.style['margin-bottom'] = '5px'
            if(children.innerHTML.includes(' ERROR')){
                children.style.color = 'red'
            }else if(children.innerHTML.includes(' WARN')){
                children.style.color = 'yellow'
            }else if(children.innerHTML.includes(' DEBUG')){
                children.style.color = '#959595'
            }
        }
    }
})();