updated config from pygment to highlighter