change pygments to monokai