why was the gui colorscheme solarized???