// ==UserScript==
// @name         修改牛客网编辑器字体
// @namespace    http://www.nowcoder.com/
// @version      0.1
// @description  把牛客网的代码编辑器字体改成Consolas!
// @author       delbertbeta
// @match        https://www.nowcoder.com/practice/*
// @grant        none
// @downloadURL none
// ==/UserScript==

(function() {
    'use strict';
    let head = document.getElementsByTagName('head')[0]
    let style = document.createElement('style')
    let value = ".cm-s-monokai.CodeMirror {font-family: 'Monaco','Menlo','Ubuntu Mono','Consolas','source-code-pro',monospace !important}"
    style.innerHTML = value
    head.appendChild(style)
})();