pygments style through theme configuration