// Script by Alberto Martinez Perez (http://www.ampsoft.net)

var isIE5=navigator.userAgent.toUpperCase().indexOf("MSIE 5")!=-1;

function adjustHeight() {
  if (document.getElementById) {
    var targetElement=document.getElementById("contents"),
        elementOffset=45, styleOffset=80, documentHeight, totalOffset;

    if (targetElement && document.documentElement.offsetHeight
        && targetElement.offsetHeight) {
      documentHeight=document.documentElement.offsetHeight;
      if (targetElement.offsetHeight<documentHeight-elementOffset) {
        if (isIE5)
          totalOffset=elementOffset;
          else totalOffset=elementOffset+styleOffset;
        targetElement.style.height=String(documentHeight-totalOffset)+'px';
      }
    }
  }
}

window.onresize=adjustHeight;
window.onload=adjustHeight;