Cambiar la fuente predeterminada del código github

Question

No estoy satisfecho con la fuente de código predeterminada de github, que es Courier New. Quiero cambiarlo a Mónaco, que es mi fuente monoespacial preferida. ¿Es posible cambiar mi fuente de código github? Si es así, ¿cómo?

Answer 1

Solución para chrome:

1. Instalar estilista @https://chrome.google.com/webstore/detail/pabfempgigicdjjlccdgnbmeggkbjdhd

2. Instalar userscript @http://userstyles.org/styles/39502/github-a-different-font-stack-for-code-listings

¡Disfrútalo!

Answer 2

No hay configuración de Github para hacer esto, debería considerar escribir su propia hoja de estilo personalizada. Eso sería específico del navegador y tendría que sincronizarlo manualmente en todas sus computadoras, por lo que no es ideal.

Answer 3

Si utiliza un navegador compatible, puede usar la secuencia de comandos greasemonkey para apuntar a los bloques de código en github.com y renderizarlos con monaco en lugar de courier new.

• http://diveintogreasemonkey.org/
• http://diveintogreasemonkey.org/patterns/add-css.html

Answer 4

Tengo el mismo problema con Firefox, así que aquí está el UserScript para Greasemonkey que estoy usando. Simplemente pégalo en la ventana del editor de scripts.

// ==UserScript== 
// @name  Github font changer 
// @namespace local.greasemonkey.githubfontchanger 
// @include  https://github.com/* 
// @version  1 
// @grant  none 
// ==/UserScript== 

var fontdef ="Monaco, Monospace ! important"; // Set your font here. 

// 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-family: ' + fontdef + '; } ' + 
    '.blob-num { font-family: ' + fontdef + '; } ' + 
    '');