modify highlighter: pygments