☰

CSS: correction of font family on various sites

Correction of font family to substitute unusual fonts by more common ones

As of 2021-01-01. See the latest version.

// ==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);
  }
})();