// - Abrir popup a los que usan navegadores no compatibles con los estándares de Internet
// - Escribir el HTML que luego será un bonito menú CSS
//
// 20 Agosto 2004 Daniel Clemente. Todo esto es GPL.
// https://www.danielclemente.com
//
// En 2022: veo que este código es muy malo. Ya lo reemplacé por el menú nuevo.
// Por cierto, este fichero AHORA SE AUTOGENERA con estruweb.py
// Así que no me hace falta editarlo a mano
// console.log("Esto es menubody.js (v1)");
var ua=navigator.userAgent;
// Notas:
// - Opera a veces se identifica como IE
// - IE para MacOS 9 no tiene tantos fallos, y no hay tantas alternativas
if( ua.indexOf("MSIE")!=-1 && ua.indexOf("Opera")==-1 && ua.indexOf("Mac") == -1 ) {
window.open('../navega/popup.html','aviso','status=yes,scrollbars=yes,resizable=yes');
document.writeln("