use pygments default