// JavaScript Document
function ajustaAltura() {
    
    
    var altoIzq=(document.getElementById("zonaIzq")).offsetHeight;
    var altoDesplazable=(document.getElementById("zonaDesplazable")).offsetHeight;
    
    if (altoDesplazable>altoIzq)
    {
        var zonaIzq = document.getElementById("zonaIzq");    
        zonaIzq.style.height=(altoDesplazable/10) + "em";
    } else {
        var zonaDesplazable = document.getElementById("zonaDesplazable");    
        zonaDesplazable.style.height=((altoIzq-20)/10) + "em";
        
        var zonaNoSubmenu = document.getElementById("zonaNoSubmenu");    
        zonaNoSubmenu.style.height=((altoIzq-20)/10) + "em";
    }
}