customized pygments highlighter