☰

CSS: correction of font family on various sites

Change unusual fonts to more common ones

As of 2020-12-29. See the latest version.

// ==UserScript==
// @name          CSS: correction of font family on various sites
// @description   Change unusual fonts to 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.0
// @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));
    var heads = document.getElementsByTagName('head');
    if (heads.length > 0) {
      heads[0].appendChild(node);
    } else {
      // no head yet, stick it whereever
      document.documentElement.appendChild(node);
    }
  }
})();