/* JavaScript-Funktionen zum Hervorheben der aktuellen Seite in der Navigation */

function highlight_navi(naviname) {
    /*
	Navigationsfeld um 20 Pixel nach rechts verlängern. 20 Pixel breit ist der Rahmenrand von
	16px + 4 px zusätzlicher Hintergrundrand, den die Hauptrahmen noch frei lassen.
	
	Die Breite des Textes (navi1, bzw. navi2{width} ist 146. Das Padding ist 8px in beide
	Richtungen. Breite der Navifelder ist also 162. Dies entspricht der clientWidth,
	die man über JavaScript abfragen kann. Also müssen nur noch die 4px zusätzlicher
	Hintergrundrand dazu addiert werden:
    */
	/* nicht mehr nötig, weil das hervorgehobene Navigationsfeld einen eigenen Style hat:
frames.navirahmen.document.links.namedItem(naviname).firstElementChild.style.width=frames.navirahmen.document.links.namedItem(naviname).firstElementChild.clientWidth+4+"px";
*/

    /* Text um " >" ergänzen: */

	frames.navirahmen.document.links.namedItem(naviname).innerHTML="<table class=\"navisel\"><tbody class=\"navisel\"><tr class=\"navisel\"><td class=\""+frames.navirahmen.document.links.namedItem(naviname).firstElementChild.className+"\">"+frames.navirahmen.document.links.namedItem(naviname).firstElementChild.innerHTML+"</td><td width=16><img src=\"images/pfeilr.gif\" border=0></td></tr></tbody></table>";

	
	/*
	alert(frames.navirahmen.document.links.namedItem(naviname).innerHTML);
	*/
}