// other supporting functions
function toggleWSREQWarning()
{
	var warnSign = document.getElementById('wsreq_warn');
	var warnLink = document.getElementById('wsreq_link');
	if (warnSign != "undefined"){
		if (warnSign.style.display == "none"){
			warnSign.style.display = "block";
			warnLink.innerHTML = warnLink.innerHTML.replace('+','-');
		}else{
			warnSign.style.display = "none";
			warnLink.innerHTML = warnLink.innerHTML.replace('-','+');
		}
	}
}

function HoverStart(object)
{
	object.style.backgroundColor = '#ffffff';
	object.style.borderWidth = '2px';
}

function HoverStop(object)
{
	object.style.backgroundColor = null;
	object.style.borderWidth = '1px';
}