Different pygments theme (for github, etc)