Guest User

Reddit Ubuntu Font

a guest
Dec 2nd, 2010
354
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  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 }');
Add Comment
Please, Sign In to add comment