pygments color theme changed to tango