☰

Github-code-font

github code font changer

À partir de 2019-04-08. Voir la dernière version.

mandree 2022-10-03
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....
mandree 2022-10-03
Mauvais The script has a bug, and should add fontfamily (not fontsize) into the font-family:...; CSS, and it should also patch .blob-code-inner.

Poster un avis, un commentaire ou une question

Si vous pensez que ce script enfreint les règles deGreasy Fork, veuillez le signaler pour le retirer.

Connectez-vous pour poster un avis, un commentaire ou une question.