Switch to Zenburn theme for a change