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

Question

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

Answer 1

Решение для Chrome:

1. Установить Stylist @ https://chrome.google.com/webstore/detail/pabfempgigicdjjlccdgnbmeggkbjdhd

2. Установить usercript @ http://userstyles.org/styles/39502/github-a-different-font-stack-for-code-listings

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

Answer 2

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

Answer 3

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

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

Answer 4

У меня такая же проблема с Firefox, так что вот пользовательский скрипт для Greasemonkey, который я использую. Просто вставьте его в окно редактора скриптов.

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