Add a "theme" dropdown when editing files in the Github UI.