Ports of the Gotham colorscheme for common editors and terminal emulators.