var initLeftColHeight;

function initTabs(){
	  var leftColDiv = document.getElementById('left-column');
  // was doing -(leftColDiv.offsetTop)+10, but IE doesn't seem to recognise .offsetTop
  // As the top banner of the site is static at 79px, we can just go -69 instead.
  initLeftColHeight = (leftColDiv.offsetHeight)-69;

  var tabset = document.getElementById("menu");
  if(tabset){
    var links = tabset.getElementsByTagName("a");
	for (var k = 0; k < links.length; k++){
      if (links[k].className == "tab"){
        links[k].onclick = function (){
		  resetTabs();
		  this.parentNode.className = "active";
		  /*var divset = this.parentNode.getElementsByTagName("p");
		  if(divset.length==1){
		    loadMapSearch();
		  }*/
		  if((this.innerHTML=='Map of '+ vPortName)&&(!mapcheck)){
			  initMap();			  
		  }
		  leftset();
		  return false;
		}
	  }
	}
	leftset();
  }
}

function resetTabs(){
  var tabset = document.getElementById("menu");
  if (tabset){
    var links = tabset.getElementsByTagName("a");
    for (var k = 0; k < links.length; k++){
	  if (links[k].className == "tab"){
	    links[k].parentNode.className = "";
	  }
	}
  }
}

function leftset(){
  var topDiv = e('right-column');	
  var topMargin = (topDiv.offsetHeight) - 69;  
  
  var mainheight = 0;
    
  var menuset = e('menu');
  var subset = menuset.getElementsByTagName('li');
  
  var k;
  for(i=0; i<subset.length; i++){
    if(subset[i].className=='active'){
	  k=i;
	  break;	  
	}  
  }
  
  var divset = subset[k].getElementsByTagName('div');
  
  mainheight = divset[0].offsetHeight;
    
  /*if (typeof document.height != 'undefined') {
    mainheight = divset[0].height;
  }
  else if (document.compatMode && document.compatMode != 'BackCompat') {
    mainheight = divset[0].documentElement.scrollHeight;
  }
  else if (document.body && typeof document.body.scrollHeight != 'undefined') {
    mainheight = divset[0].scrollHeight;
  }*/
  
  //e("footer").style.top = mainheight+ "px";  
  if(mainheight+topMargin > initLeftColHeight){
    e('left-column').style.height = (mainheight+topMargin) + 'px';
  }else{
	e('left-column').style.height = (initLeftColHeight) + 'px';
  }
}

if (window.addEventListener)
  window.addEventListener("load", initTabs, false);
else if (window.attachEvent)
  window.attachEvent("onload", initTabs);