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