highlighter and pygments change