var dw_fontSizer = {
  // sizeUnit and defaultSize for body.style.fontSize
  sizeUnit: "%",
  defaultSize: 100,
  // numbers (same unit as sizeUnit)
  maxSize:     130,
  minSize:     100,

  init: function() {
    if ( !document.body || !document.getElementById ) return;
    var size = window.location.search? window.location.search.slice(1): getCookie("fontSize");
    size = !isNaN( parseFloat(size) )? parseFloat(size): this.defaultSize;
    // in case default unit changed or size passed in url out of range
    if ( size > this.maxSize || size < this.minSize ) size = this.defaultSize;
    document.body.style.fontSize = size + this.sizeUnit;
	if (document.all) {dw_fontSizer.reposmainnav();}
  },

  getElement: function (myid) {
	var myelement = null;
  	myelement = document.getElementById(myid);
	if (!myelement) {
		alert('Das Element mit der ID: [' + myid + '] konnte nicht gefunden werden.');
	}
	return myelement;
  },  

  reposmainnav: function () {
	var myelement = null;
	var top = 0;
	var left = 0;
	// ermittle header Position
	myelement = dw_fontSizer.getElement('keyvisual');
	if (myelement) {
		top = myelement.offsetTop;
		top = (top + myelement.offsetHeight) + 1;
	}
	if (document.all) {
		window.status = '   ';
		window.setTimeout("dw_fontSizer.reposmainnav()", 500);
	}
	myelement = null;
	myelement = dw_fontSizer.getElement('mainnav');
	if (myelement) {
		myelement.style.top = top;
		myelement.style.left = 0;
	}
  },  
  
  adjust: function(inc) {
    var size = parseFloat( document.body.style.fontSize );
    /* !!!!! Änderung  Anfang !!!! */
    size = !isNaN( parseFloat(size) )? parseFloat(size): this.defaultSize;
    /* !!!!! Änderung Ende  !!!! */
    size += inc;
    // Test against max and min sizes 
    if (inc > 0) size = Math.min(size, this.maxSize);
    else size = Math.max(size, this.minSize);
    setCookie( "fontSize", size, 130, "/" );
    document.body.style.fontSize = size + this.sizeUnit;
	dw_fontSizer.reposmainnav();
  }, 
  
  reset: function() {
    document.body.style.fontSize = this.defaultSize + this.sizeUnit;
    deleteCookie("fontSize", "/");
  }
  
}