source-highlight configuration