Gotham theme for Emacs