function getBrowserName() {
    var navegador = navigator.userAgent.toLowerCase();
    var nav;
    if (navegador.indexOf('msie 7.0') > -1) {
        nav = "IE7";
    }
    else if ((navegador.indexOf('firefox') > -1 && (navigator.vendor == "" || navigator.vendor=="Mozilla")) || (navegador.indexOf('msie 6.0') > -1))
        nav = "IE6";
//    alert(navegador);
    return nav;
}

// Devuelve la altura de una capa en un número entero
function getTamanyo(idCapa) {
    var nombre = document.getElementById(idCapa);
    var altura_px = "";
    if (getBrowserName() == "IE7")
        // con IE7 funciona :
        altura_px = nombre.offsetHeight;
    else {
        // con Firefox funciona :
        altura_px = window.getComputedStyle(nombre, null).height;
        altura_px = altura_px.substr(0,altura_px.length-2);
    }
    var alt = parseInt(altura_px);
    return alt;
}

// Función que modifica dinámicamente la altura del fullBody
// fullBody = foto_cabecera + bottom_red_bar + content
function tamanyo() {
    var alt1 = getTamanyo("content");
    var alt2 = getTamanyo("fotoCabecera");
    var alt3 = getTamanyo("bottom_red_bar");
    var alt4 = getTamanyo("menuIzquierda");

    // sumo todas las alturas, y le pongo un márgen inferior para la maquetación
    var altura_total = alt1 + alt2 + alt3 + 50;

    // pongo como altura total la mayor entre el menu de la izquierda y el cuerpo central
    if (alt4 > altura_total)
        altura_total = alt4;

    // si la página es demasiado pequeña, le doy una altura mínima de presentación
    if (altura_total < 1200)
        altura_total = 1200;
    // actualizo el tamaño de la capa
    var fullB = document.getElementById("fullBody");
    
    if (getBrowserName() == "IE7")
        // con IE7 funciona :
        fullB.style.height = altura_total;
    else
        // con Firefox funciona :
        fullB.style.height = altura_total + 'px';
    var contentContainer = document.getElementById("contentContainer");
    if (getBrowserName == "IE7")
        contentContainer.style.height = alt1;
    else
        contentContainer.style.height = alt1 + 'px';


}