mod: color for auto-highlight-symbol