Instead of the browser default text selection colors, we could use the theme colors. See https://developer.mozilla.org/en-US/docs/Web/CSS/::selection