// documento JavaScript


// *** menú fijo ***

// nombre de las imágenes que forman el menú
img_menu = new Array( "imagenes/presentaciones.gif", "imagenes/presentaciones_over.gif",
					  "imagenes/curriculum.gif", "imagenes/curriculum_over.gif",
					  "imagenes/productos.gif", "imagenes/productos_over.gif",
					  "imagenes/soporte_diagnosticos.gif", "imagenes/soporte_diagnosticos_over.gif",
					  "imagenes/soporte_aplicacion.gif", "imagenes/soporte_aplicacion_over.gif",
					  "imagenes/apoyo_comercial.gif", "imagenes/apoyo_comercial_over.gif",
					  "imagenes/calculo_sistemas.gif", "imagenes/calculo_sistemas_over.gif",
					  "imagenes/conformacion_sistemas.gif", "imagenes/conformacion_sistemas_over.gif",
					  "imagenes/inicio.gif", "imagenes/inicio_over.gif" );

// cambiar la imagen de la etiqueta especificada por la imagen dada
function Cambiar_Imagen( nombre_elemento, nombre_imagen )
{
   document.images[ nombre_elemento ].src = nombre_imagen;
}


// *** menú emergente ***

// muestra el menú emergente de productos
function showMenuOn( menu )
{
   document.all[ menu ].style.display = "block";
}

// oculta el menú emergente de productos
function showMenuOff( menu )
{
   document.all[ menu ].style.display = "none";
}

// estas funciones se usan para evitar que se cambie la "imagen de resaltado" (imagen que 
// indica que el ratón está arriba de ella) en productos cuando ocurre el evento 
// onmouseout y se entra en el menú emergente
function menuEmergenteOver( nombre_elemento, nombre_imagen, nombre_menu )
{
   Cambiar_Imagen( nombre_elemento, nombre_imagen );
   showMenuOn( nombre_menu );
}

function menuEmergenteOut( nombre_elemento, nombre_imagen, nombre_menu )
{
   Cambiar_Imagen( nombre_elemento, nombre_imagen );
   showMenuOff( nombre_menu );
}

// abrir en sub-ventana la página especificada
function abrirSubVentana(urlFuente,idVentana,opciones)
{
	window.open(urlFuente,idVentana,opciones);
}