Optimize my "zenburn" theme, especially for python