Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- // Reddit Ubuntu Font user script
- // version 0.1
- // 2010-12-01
- // Copyright (c) 2010, Bryan Paddock
- // Released under the GPL license
- // http://www.gnu.org/copyleft/gpl.html
- //
- // --------------------------------------------------------------------
- //
- // Chrome User Script
- //
- // --------------------------------------------------------------------
- //
- // ==UserScript==
- // @name Reddit Ubuntu Font
- // @namespace http://www.reddit.com/r/ubuntu
- // @description script to change default font to ubuntu
- // @include http://reddit.com/r/ubuntu*
- // @include http://reddit.com/r/Ubuntu*
- // @include http://www.reddit.com/r/ubuntu*
- // @include http://www.reddit.com/r/Ubuntu*
- // ==/UserScript==
- function addGlobalStyle(css) {
- var head, style;
- head = document.getElementsByTagName('head')[0];
- if (!head) { return; }
- style = document.createElement('style');
- style.type = 'text/css';
- style.innerHTML = css;
- head.appendChild(style);
- }
- addGlobalStyle('body { font-family: Ubuntu; !important }');
Add Comment
Please, Sign In to add comment