Изменение шрифта по умолчанию github по умолчанию

Я недоволен шрифтом кода github по умолчанию, который является Courier New. Я хочу изменить его в Монако, который является моим предпочтительным шрифтом моноширины. Можно ли изменить шрифт кода github? Если да, то как?

Ответ 1

Решение для хрома:

Установить стилист @https://chrome.google.com/webstore/detail/pabfempgigicdjjlccdgnbmeggkbjdhd
Установите usercript @http://userstyles.org/styles/39502/github-a-different-font-stack-for-code-listings

Наслаждайтесь!

Ответ 2

Нет настройки Github для этого, вам придется подумать о написании собственной пользовательской таблицы стилей. Это будет специфичным для браузера, и вам придется синхронизировать его на всех компьютерах вручную, поэтому он не идеален.

Ответ 3

Предоставляя вам совместимый браузер, вы можете использовать greasemonkey script для таргетинга кодовых блоков на github.com и рендеринга их с помощью monaco, а не с курьером new.

Ответ 4

У меня есть такая же проблема с Firefox, так что вот пользовательский скрипт для Greasemonkey, который я использую. Просто вставьте его в окно редактора 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 + '; } ' +
  '');