update the pygments config