github code font changer
< Opiniones de Github-code-font
Working example, which does not raise blob-code-inner font size (Github appears to us 12px) and switches to IBM Plex Mono:
// ==UserScript== // @name Github-code-font // @namespace https://github.com/tjysdsg/github-code-font // @description github code font changer // @match https://github.com/*/* // @version 1 // @author tjysdsg // @grant none // ==/UserScript== var fontsize ="16px"; var fontfamily ="IBM Plex Mono"; // 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-inner { font-family: ' + fontfamily + '; } ' + '.blob-code { font-size: ' + fontsize + '; font-family: ' + fontfamily + '; } ' + '.blob-num { font-size: ' + fontsize + '; font-family: ' + fontfamily + '; } ' + '');
Inicia sesión para responder.
Working example, which does not raise blob-code-inner font size (Github appears to us 12px) and switches to IBM Plex Mono: