Modifica del font del codice github predefinito

Question

Non sono soddisfatto del carattere del codice predefinito di github che è Courier New. Voglio cambiarlo a Monaco, che è il mio font monospace preferito. È possibile modificare il mio codice del codice github? Se sì, come?

Answer 1

Soluzione per chrome:

1. Installare Stylist @https://chrome.google.com/webstore/detail/pabfempgigicdjjlccdgnbmeggkbjdhd

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

Divertiti!

Answer 2

Non ci sono impostazioni Github per farlo, dovresti considerare di scrivere il tuo foglio di stile personalizzato. Questo sarebbe specifico per il browser e dovresti sincronizzarlo manualmente su tutti i tuoi computer, quindi non è l'ideale.

Answer 3

Se si utilizza un browser compatibile, è possibile utilizzare lo script greasemonkey per indirizzare i blocchi di codice su github.com e renderli con monaco anziché con nuovo corriere.

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

Answer 4

Ho lo stesso problema con Firefox, quindi ecco lo usercript per Greasemonkey che sto usando. Basta incollarlo nella finestra dell'editor di script.

// ==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 + '; } ' + 
    '');