Cacher is the code snippet organizer for pro developers

(function() {
    'use strict';
    function addGlobalStyle(css) {
        var head, style;
        head = document.getElementsByTagName('body')[0];
        if (!head) { return; }
        style = document.createElement('style');
        style.type = 'text/css';
        style.innerHTML = css;
        head.appendChild(style);
        console.log("tampermonkey addGlobalStyle");
    }

    addGlobalStyle('.CodeMirror { font-size: 20px }.jp-RenderedHTMLCommon{ font-size: 20px }');
})();