I was wondering if it is possible to have an option for setting font preference in the user setting?
Hi @chandr3sh - thanks for sharing this suggestion! Right now we don’t have plans to support different fonts as an appearance setting but I’ll share this with the team. Are you looking to change fonts as a personal preference or for legibility/accessibility purposes?
It is just a personal preference. The Github-Dark project used to provide an option for changing the font, but it got removed in recent releases. I copy-pasta the source code from older version of StylishThemes/Github-Dark at GitHub-Font to have it working for me. But if it is all about setting the
Font Family CSS rule, it would be really awesome if we can set that preference directly in the Github.