config for pygments