adjust pygments configurations option to highlighter