Revert GitHub Font
Restores the size and font used on GitHub before it was changed on 2016-07-12.
Extensions by gardnerjohng
1 extension
Chrome Web Store
1 extension
Restores the size and font used on GitHub before it was changed on 2016-07-12.