function adjustLayout()
{
    var navHeight = Element.getHeight('navigation');
    var mainHeight = Element.getHeight('main');
    var newHeight = Math.max(navHeight, mainHeight);
    newHeight = newHeight + "px";
    Element.setStyle('main', {height: newHeight});
}

function initLayout()
{
    window.onresize = adjustLayout;
    adjustLayout();
    Element.setStyle('footer', {display: 'block'});
}