Hola Maycol y JavierB
:
En una ocasión tuve que distinguir entre opera y explorer y me funcionó esto:
function esOpera() {
return (navigator.userAgent.toLowerCase().indexOf("opera" ) >= 0);
}
...por lo que bastaría modificar esto: if (document.all
&& !esOpera() )
Espero que te sirva.
Saludos