user-select is a CSS property that is not yet standard, and its behaviou...

...r can change. (https://developer.mozilla.org/en-US/docs/Web/CSS/user-select).

In Firefox there was a selection problem because of this.