Advertisement
Guest User

dealabs.com Old font

a guest
Feb 8th, 2023
110
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
JavaScript 1.15 KB | Source Code | 0 0
  1. // ==UserScript==
  2. // @name          dealabs.com Old font
  3. // @name:fr       dealabs.com ancienne police
  4. // @description   Restores old font on dealabs.com
  5. // @description:fr remmet l'ancienne police pour dealabs.com
  6. // @namespace     http://greasyfork.org
  7. // @include       http://www.dealabs.com/*
  8. // @include       https://dealabs.com/*
  9. // @include       http://*.dealabs.com/*
  10. // @include       https://*.dealabs.com/*
  11. // @run-at       document-end
  12. // @version       0.3
  13. // ==/UserScript==
  14. (function() {var css = ["body {font-family:Helvetica Neue,Helvetica,Arial,Lucida Grande,sans-serif !important;}"
  15. ].join("\n");
  16. if (typeof GM_addStyle != 'undefined') {
  17.  GM_addStyle(css);
  18.  } else if (typeof PRO_addStyle != 'undefined') {
  19.  PRO_addStyle(css);
  20.  } else if (typeof addStyle != 'undefined') {
  21.  addStyle(css);
  22.  } else {
  23.  var node = document.createElement('style');
  24.  node.type = 'text/css';
  25.  node.appendChild(document.createTextNode(css));
  26.  var heads = document.getElementsByTagName('head');
  27.  if (heads.length > 0) { heads[0].appendChild(node);
  28.  } else {
  29.  // no head yet, stick it whereever
  30.  document.documentElement.appendChild(node);
  31.  }
  32. }})();
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement