🎉 欢迎访问GreasyFork镜像站!本站由公众号【爱吃馍】维护。 联系邮箱📮
💡 当前页面为缓存版本 (获取时间: 2025/12/22 12:42:39)。新内容正在后台静默同步中...

Greasy fork 爱吃馍镜像

LeetCode-Default-Font

Always use the default monospace font in the codemirror editor.

As of 2021-03-15. See the latest version.

You will need to install an extension such as Tampermonkey, Greasemonkey or Violentmonkey to install this script.

You will need to install an extension such as Tampermonkey to install this script.

You will need to install an extension such as Tampermonkey or Violentmonkey to install this script.

You will need to install an extension such as Tampermonkey or Userscripts to install this script.

You will need to install an extension such as Tampermonkey to install this script.

You will need to install a user script manager extension to install this script.

(I already have a user script manager, let me install it!)

安装遇到问题?关注公众号【爱吃馍】获取帮助

You will need to install an extension such as Stylus to install this style.

You will need to install an extension such as Stylus to install this style.

You will need to install an extension such as Stylus to install this style.

You will need to install a user style manager extension to install this style.

You will need to install a user style manager extension to install this style.

You will need to install a user style manager extension to install this style.

(I already have a user style manager, let me install it!)

安装遇到问题?关注公众号【爱吃馍】获取帮助

// ==UserScript==
// @name         LeetCode-Default-Font
// @namespace    leetcode-default-font
// @version      0.2
// @description  Always use the default monospace font in the codemirror editor.
// @author       [email protected]
// @include      *://leetcode.com/*
// ==/UserScript==

(function() {
    'use strict';
    function addGlobalStyle(css) {
        var head, style;
        head = document.getElementsByTagName('head')[0];
        if (!head) { return; }
        style = document.createElement('style');
        style.type = 'text/css';
        style.innerHTML = css;
        head.appendChild(style);
    }
    addGlobalStyle('.CodeMirror { font-family: monospace !important; }');
})();