disable solarized theme; fix highlight colour