Update pygments.less