/*
	scale_heights.js - scaling height of item a to the height of item b
*/

function scale_heights(itema, itemb)
{
	document.getElementById(itema).style.height = document.getElementById(itemb).offsetHeight + "px";
}

function scale_heights_if_smaller(itema, itemb)
{
	if(document.getElementById(itemb).offsetHeight >= document.getElementById(itema).offsetHeight)
	{
		document.getElementById(itema).style.height = document.getElementById(itemb).offsetHeight + "px";
	}
}