use Solarized for GUI color