// JavaScript Document

addEvent(window, 'load', stretch);
//addEvent(window, 'resize', stretch);

function stretch(){
  elements=new Array('content-extended','container', 'content-main', 'navigation', 'heading', 'navigation-masthead');
  sizes=new Array('450'); //min-height
  for (i=0;i<elements.length;i++){
    sizes[sizes.length]=document.getElementById(elements[i]).offsetHeight;
  }
  sizes[sizes.length-3]+=sizes[sizes.length-1]+sizes[sizes.length-2];
  sizes.sort(numSort);
  document.getElementById('container').style.height=sizes[sizes.length-1]+'px';
}