function minContentAreaHeight(minHeight) {
  
   contentHeight = "";
	
   contentHeight = getContentAreaHeight ();
   
   //alert("minHeight = " + minHeight + ", contentHeight = " + contentHeight);
   
    // remove the "px" in the height values to do a numerical comparison
  minHeightInt = parseInt(minHeight);
  contentHeightInt = parseInt(contentHeight);
 
  if (contentHeightInt < minHeightInt)   
    document.getElementById("contentarea").style.height = minHeightInt + "px";
	 
	
}

function getContentAreaHeight (){
 
    if (browser.isIE){
      contentHeight = document.all.contentarea.offsetHeight;
    } else { 
        contentareaObj = document.getElementById("contentarea");
        contentHeight = document.defaultView.getComputedStyle(contentareaObj, "").getPropertyValue("height");
	}
	
	return contentHeight;
}

