Theme overhaul, switch to Solarized.