modify pygments