user-select is a CSS property that is not yet standard, and its behaviour can change. (https://developer.mozilla.org/en-US/docs/Web/CSS/user-select).
In Firefox there was a selection problem because of this.