Change pygments setting