Solarized coolness and terminal colors