Replace bbatsov's solarized theme