Want more features on Pastebin? Sign Up, it's FREE!
Guest

Reddit Ubuntu Font

By: a guest on Dec 2nd, 2010  |  syntax: JavaScript  |  size: 1.03 KB  |  views: 64  |  expires: Never
download  |  raw  |  embed  |  report abuse  |  print
This paste has a previous version, view the difference. Text below is selected. Please press Ctrl+C to copy to your clipboard. (⌘+C on Mac)
  1. // Reddit Ubuntu Font user script
  2. // version 0.1
  3. // 2010-12-01
  4. // Copyright (c) 2010, Bryan Paddock
  5. // Released under the GPL license
  6. // http://www.gnu.org/copyleft/gpl.html
  7. //
  8. // --------------------------------------------------------------------
  9. //
  10. // Chrome User Script
  11. //
  12. // --------------------------------------------------------------------
  13. //
  14. // ==UserScript==
  15. // @name          Reddit Ubuntu Font
  16. // @namespace     http://www.reddit.com/r/ubuntu
  17. // @description   script to change default font to ubuntu
  18. // @include http://reddit.com/r/ubuntu*
  19. // @include http://reddit.com/r/Ubuntu*
  20. // @include http://www.reddit.com/r/ubuntu*
  21. // @include http://www.reddit.com/r/Ubuntu*
  22. // ==/UserScript==
  23.  
  24. function addGlobalStyle(css) {
  25.     var head, style;
  26.     head = document.getElementsByTagName('head')[0];
  27.     if (!head) { return; }
  28.     style = document.createElement('style');
  29.     style.type = 'text/css';
  30.     style.innerHTML = css;
  31.     head.appendChild(style);
  32. }
  33.  
  34. addGlobalStyle('body { font-family: Ubuntu; !important }');
clone this paste RAW Paste Data