<!--
// Änderungen erfolgen nur für Netscape/Firefox
if(navigator.appName == "Netscape") {

	// Alle DIV-Elemente der Seite in ein Array laden
	var div = document.getElementsByTagName("div");
	var divanzahl = div.length -1;


	for(var i=0; i<=divanzahl; i++) {
	
		// Breite nur anpassen, wenn eine angegeben wurde
		if(div[i].style.width != "") {
		
			// Linke Rahmendicke zur Breite hinzufügen
			if(div[i].style.borderLeftWidth != "") {
				var divbreite = div[i].style.width;
				var rahmenbreite = div[i].style.borderLeftWidth;
				rahmenbreite = rahmenbreite.replace("px","");
				rahmenbreite = new Number(rahmenbreite);
				divbreite = divbreite.replace("px","");
				divbreite = new Number(divbreite);
				divbreite = divbreite - rahmenbreite;
				div[i].style.width = divbreite + "px";
			}
			
			
			// Rechte Rahmendicke zur Breite hinzufügen
			if(div[i].style.borderRightWidth != "") {
				var divbreite = div[i].style.width;
				var rahmenbreite = div[i].style.borderRightWidth;
				rahmenbreite = rahmenbreite.replace("px","");
				rahmenbreite = new Number(rahmenbreite);
				divbreite = divbreite.replace("px","");
				divbreite = new Number(divbreite);
				divbreite = divbreite - rahmenbreite;
				div[i].style.width = divbreite + "px";
			}
		}


		// Höhe nur anpassen, wenn eine angegeben wurde
		if(div[i].style.height != "") {
		
			// Obere Rahmendicke zur Höhe hinzufügen
			if(div[i].style.borderTopWidth != "") {
				var divhoehe = div[i].style.height;
				var rahmenbreite = div[i].style.borderTopWidth;
				rahmenbreite = rahmenbreite.replace("px","");
				rahmenbreite = new Number(rahmenbreite);
				divhoehe = divhoehe.replace("px","");
				divhoehe = new Number(divhoehe);
				divhoehe = divhoehe - rahmenbreite;
				div[i].style.height = divhoehe + "px";
			}


			// Untere Rahmendicke zur Höhe hinzufügen
			if(div[i].style.borderBottomWidth != "") {
				var divhoehe = div[i].style.height;
				var rahmenbreite = div[i].style.borderBottomWidth;
				rahmenbreite = rahmenbreite.replace("px","");
				rahmenbreite = new Number(rahmenbreite);
				divhoehe = divhoehe.replace("px","");
				divhoehe = new Number(divhoehe);
				divhoehe = divhoehe - rahmenbreite;
				div[i].style.height = divhoehe + "px";
			}
		}
	}
}
//-->