theme: zenburn specific code removed