updated pygments.tex