// 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 }');