Trying the solarized theme