function highlightButton(aElement) {
	if(aElement.firstChild.nodeValue != kapitel) {
		aElement.className = "buttonObenOn";
	}
}

function highlightButtonLinks(aElement) {
	if(aElement.firstChild.nodeValue != abschnitt) {
		aElement.className = "buttonLinksOn";
	}
}

// Macht die "richtigen" Buttons an, aus oder active
// Entscheidend ist das Kapitel und der Abschnitt der Seite
// Es werden die <ul> mit den IDs "Navigation" und "NavigationLinks" bearbeitet
function lightUpButtons() {
	var navObenUls = document.getElementById("Navigation");
    var navObenAElements = navObenUls.getElementsByTagName("a");	
	lightUpButtonsForAElems(navObenAElements, kapitel, "buttonOben");

	var navLinksUls = document.getElementById("NavigationLinks");
    var navLinksAElements = navLinksUls.getElementsByTagName("a");
	lightUpButtonsForAElems(navLinksAElements, abschnitt, "buttonLinks");	
}


// Setzt für die A-Elemente in übergebenen Array die richtige
// Klasse, so dass die Buttons richtig geschaltet sind
// Zustände: "On"     = Kapitel/Abschnitt gehovert
//           "Off"    = Kapitel/Abschnitt nicht gewählt
//           "Active" = Kapitel/Abschnitt nicht gewählt, aber Leiste darunter an
//           "ActiveOn" = Kapitel/Abschnitt gewählt, Leiste darunter an
function lightUpButtonsForAElems(aElemArray, proofText, className) {
	// Node-Index dieser Abschnitt-Seite berechnen und auf "ActiveOn" setzen
	var nodeIdx = -1;
	for (var i = 0; i < aElemArray.length; i++) {
		if(aElemArray[i].firstChild.nodeValue == proofText) {
			nodeIdx = i;
			aElemArray[i].className = className + "ActiveOn";
			break;
		}
	}
	
	// Elemente davor bearbeiten (auf "Aktiv" setzen) 
	// wenn keiner gefunden worden ist, ist idxNode == -1
	for(var i = 0; i < nodeIdx; i++) {
		aElemArray[i].className = className + "Active";		
	}
	
	// Elemente danach bearbeiten (auf "Off" setzen)
	// wenn keiner gefunden worden ist, ist idxNode == -1
	for(var i = nodeIdx + 1; i < aElemArray.length ; i++) {
		aElemArray[i].className = className + "Off";
	}
}