function resize()
{
var maincol = document.getElementById("contentarea");
var leftcol = document.getElementById("left_column");
var heightmax = 0;
	
	heightmax = maincol.offsetHeight
	
	if(heightmax > 500)
	{
		leftcol.style.height = heightmax + "px";	
	}
	
}

function resizebutton(columns)
{

	for($a=0; $a<columns; $a++)
	{
		gdiv = "grey" + $a;
		bdiv = "button" + $a;
		var greydiv = document.getElementById(gdiv);
		var buttondiv = document.getElementById(bdiv);			
		gheight = greydiv.offsetHeight;
		buttondiv.style.height = gheight + "px";
	}

}