pygments in config