Hola amigos:
He probado con navigator.userAgent y navigator.appName, pero si en las "preferencias" de Opera está activa la identificación como Internet Explorer (no he probado otra cosa pero supongo que será igual)
La pregunta es si existe algo como document.all pero sin que se cuele explorer...
Saludos