use zenburn theme instead of solarized