Changed pygments theme from github to zenburn