/**
 * Height fix functionality.
 */

var $m = function(id) {
  return document.getElementById(id);
};
 
function heightFix() {
  //fix the border to run the full height of the center div
  var left = $m("left"), content = $m("center");
  if (left && content) {
    var hArr = new Array(left.offsetHeight, content.offsetHeight);
	  var theHighest = 0;
	  for (var i = 0; i < hArr.length; i++) {
	    if (hArr[i] > theHighest) theHighest = hArr[i];
	  }
	  left.style.height = theHighest + "px";
	  content.style.height = theHighest + "px";
  }
}

if (window.attachEvent) { 
  window.attachEvent("onload", heightFix); 
} 
else {  
  window.addEventListener("load", heightFix, false); 
}