Github font changer script for #tampermonkey

githubfont.js

// ==UserScript==
// @name         Github font
// @namespace    http://tampermonkey.net/
// @version      0.1
// @description  try to take over the world!
// @author       You
// @match        https://*.github.com/*
// @grant        none
// ==/UserScript==

(function() {
    'use strict';

    var css ='.blob-code-inner {font-family: monospace !important; font-size:16px;}';

    var style=document.createElement('style');
    style.type='text/css';
    if(style.styleSheet){
        style.styleSheet.cssText = css;
    }else{
        style.appendChild(document.createTextNode(css));
    }
    document.getElementsByTagName('head')[0].appendChild(style);

})();