Для якорей, которые действуют как кнопки (например,Вопросов, Теги, пользователейи т. д. в верхней части страницы «Переполнение стека») или вкладок, есть ли в CSS стандартный способ отключения эффекта выделения, если пользователь случайно выбрал текст?

Я понимаю, что это можно сделать с помощью JavaScript, и небольшое прибегание к поиску принесло только Mozilla-moz-user-select вариант.

Существует ли совместимый со стандартами способ сделать это с помощью CSS, и если нет, то каков подход «наилучшей практики»?