source-overlay: be more subtle with the highlight.