您需要先安装一个扩展,例如 篡改猴、Greasemonkey 或 暴力猴,之后才能安装此脚本。
您需要先安装一个扩展,例如 篡改猴 或 暴力猴,之后才能安装此脚本。
您需要先安装一个扩展,例如 篡改猴 或 暴力猴,之后才能安装此脚本。
您需要先安装一个扩展,例如 篡改猴 或 Userscripts ,之后才能安装此脚本。
您需要先安装一款用户脚本管理器扩展,例如 Tampermonkey,才能安装此脚本。
您需要先安装用户脚本管理器扩展后才能安装此脚本。
Correction of font family to substitute unusual fonts by more common ones
当前为
// ==UserScript== // @name CSS: correction of font family on various sites // @description Correction of font family to substitute unusual fonts by more common ones // @author MK // @homepage https://gf.zukizuki.org/en/scripts/419347 // @namespace https://gf.zukizuki.org/users/309172 // @include https://f.vision/* // @include http://f.vision/* // @include https://www.startpage.com/* // @include http://www.startpage.com/* // @version 1.1 // @note v1.1 2021-01-01 - code is rewritten to add CSS to the end of the document instead of <HEAD> tag in order to overcome possible server side CSS with !important rule // @note v1.0 2020-12-29 - initial release // ==/UserScript== (function() { var css = ` body { font-family: "Segoe UI", Arial, Helvetica, sans-serif !important; } `; if (typeof GM_addStyle != 'undefined') { GM_addStyle(css); } else if (typeof PRO_addStyle != 'undefined') { PRO_addStyle(css); } else if (typeof addStyle != 'undefined') { addStyle(css); } else { var node = document.createElement('style'); node.type = 'text/css'; node.appendChild(document.createTextNode(css)); document.documentElement.appendChild(node); } })();