Getting github to switch themes: I hope