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;
}