'soften' user-selected highlight