Github-code-font

github code font changer

Version au 08/04/2019. Voir la dernière version.

Poser une question, écrire un avis, ou signaler le script.

Enveloppe les lignes

// ==UserScript==
// @name Github-code-font
// @namespace https://github.com/tjysdsg/github-code-font
// @description github code font changer
// @include https://github.com/*/*
// @version 1
// @author tjysdsg
// @grant none
// ==/UserScript==

var fontsize ="15px";
var fontfamily ="Noto Sans Regular";

// Function helper to inject css
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);
}

// Apply the font-family definition to code styles.
addGlobalStyle(
    '.blob-code { font-size: ' + fontsize + '; font-family: ' + fontsize + '; } ' +
    '.blob-num { font-size: ' + fontsize + '; font-family: ' + fontsize + '; } ' +
    '');