/****************************************************************************
**
**	JavaScript-Functions for displaying and highlighting of
**	Menu-Items
**
**	(c) 2001-2004 by Ralph Rebske, rebske@itss.de
**
*/

function pvsNavOut(divObj)
{
	// Hover-Effekt ausschalten
	divObj.className = divObj.className.substr(0, divObj.className.length - 4);
}

function pvsNavOver(divObj)
{
	// Hover-Effekt einschalten
	divObj.className = divObj.className + 'Over';
}

function pvsNavClick(url)
{
	// zur URL wechseln
	window.location.href = url;
}