// $Id: scripts.js 18 2009-01-05 19:58:01Z ronnie $

// update image src attribute
function setTxtImg(id, src)
{
	document.images[id].src = "gfx/text_" + src + ".png";
}

// init vertical separator min-height to max(left.height,right.height)
//  (only used for non-IE browsers)
function initVertSep()
{
	var lh = document.getElementById("left_outer").offsetHeight;
	var rh = document.getElementById("right_outer").offsetHeight;
	var mx = 150 + Math.max(lh, rh);
	document.getElementById("vert_sep_outer").style.minHeight = mx + "px";
}

// IE uses this to update separator height on each resize instead of the above
function getIEVertSepHeight()
{
	var bh = document.body.clientHeight;
	var lh = document.getElementById("left_outer").offsetHeight;
	var rh = document.getElementById("right_outer").offsetHeight;
	var result = Math.max(bh - 151, Math.max(lh, rh));
	return result;
}