Switching back to the old tomorrow-night-eighties colorscheme