The old GitHub font, a Chrome extension.
Self-explanatory. I used to make fun of people who entered the future kicking and screaming and dragging their heels, but shoe's on the other foot now. A nice quick lesson at learning how to make a Chrome extension. I think it's pretty close now, but if you have improvements to the CSS, PRs welcome! ๐ฌ
If you're into this sort of thing more generally (or if you use github enterprise and need to customize the domain), see below for more general approaches. ๐
With great hesitation and deepest regret, I've published it to the chrome web store.
- refined-github: This change and many more!
- Stylish: a generalized form of this extension. Apply your own CSS to any site. See issue #7 for details.
v1.0.3
: slightly tweaked.markdown-body
rule.
MIT