Changed pygments to highlighter option