Yesterday I saw the following post on HackerNews:
Since I’ve been working with Ace some recently, I decided to work on a userscript that let’s you switch themes on Github.
You can check it out here:
Here is the current description from README.md:
Add a “theme” dropdown when editing files in the Github UI.
Before installing the user script:
After installing the user script: