change pygments style from default to monokai