// JavaScript Hauptfunktion
// wird aufgerufen von window.onLoad bzw. body onLoad...
// diese Funktion ruft ggf. weitere Funktionen zur Initialisierung einer Seite auf.
function main()
{
	getStyleCookie();		// ermittelt eine evtl. in Cookies gespeicherte Schriftgröße
	setDivWidthIE();		// setzt die Div-Breite in IE im default-Template
}