set option to select higlighted text color

keep it independent from background color, should make it easier to add a color selection option to branding