Impedir o realce acidental de texto

Já clicou em um menu de navegação para perceber que o texto dentro dele foi destacado acidentalmente porque você clicou duas vezes?

Não há necessidade de puxar o javascript para resolver isso.

.menu {
-webkit-user-select: none;
-moz-user-select: none;
-ms-user-select: none;
user
-select: none;
}