pygments tweaks