/*
 * basic javascript for die-kartei.de
 * used by e.g. nav.inc.php
 */

// will be filled from page_make_nav()
var navIndexOn = Array();

function navMouseOver(elem, permissionLevel, i) {
	elem.className = "nav"+permissionLevel+"over";
}

function navMouseOut(elem, permissionLevel, i) {
	if (typeof(navIndexOn) != "undefined" && i == navIndexOn[permissionLevel]) {
		elem.className = "nav"+permissionLevel+"on";
	} else {
		elem.className = "nav"+permissionLevel;
	}
}

function navClick(elem, permissionLevel, i) {

}

function userconfirm() {
	return confirm("Bist Du sicher?");
}