/** JavaScript for FF3 and IE7.
 * 
 */


/** Gibt den Maximalwert von zwei gegebenen Werten zurück
 * 
 *  @return Maximalwert
 */
function max(a, b)
{
	if(a > b) return a;
	if(a < b) return b;
	return a;
}

/** Dehnt das Layout, um CSS Spalten auf die gleiche Länge zu setzen.
 * 
 * @return void
 */
function stretchLayout()
{
	// stretch layout if content panel is about to overflow
	centerHeight = max(document.getElementById("siteContent").offsetHeight, document.getElementById("menu").offsetHeight);
	document.getElementById("content").style.height = (centerHeight + 200) + "px";

	// set borders to height of content panel
	offsets = document.getElementById("flowTop").offsetHeight + document.getElementById("flowLow").offsetHeight;
	height = document.getElementById("content").offsetHeight - offsets;

	
	document.getElementById("flowLeft").style.height = height + "px";
	document.getElementById("flowRight").style.height = height + "px";
}