Add a "theme" dropdown when editing files in the Github UI. - View it on GitHub