// código que faz com que o min_height da areanavegacao seja ajustado para acompanhar o aumento no tamanaho do menu

function ajustaMinHeight()
    {
    menuHeight = document.getElementById('menu').offsetHeight;
    areanavegacaoHeight = document.getElementById('areanavegacao').offsetHeight;

    if(menuHeight >= areanavegacaoHeight)
        {
        divMinHeight = document.getElementById('minHeight'); 
        size = 60 + (menuHeight - areanavegacaoHeight);
        loop = parseInt(size / 21);
        brs = "";
        for(i = 0 ; i <= loop; i++)
            brs += "<br/>";
        divMinHeight.innerHTML = brs;                
        }
    }