您需要先安装一个扩展,例如 篡改猴、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://greasyfork.org/en/scripts/419347
- // @namespace https://greasyfork.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);
- }
- })();