change pygments theme to monokai