//++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
//++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
// Funktionen fuer das Projekt
//++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
//++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++


//++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
// Funktion zum erstellen eines Ausdrucks zum Zugriff auf einen Layer
//++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++


function ausdruck_setzen() {

	var idname = ausdruck_setzen.arguments[0];

	if (browser_ne6) {

		if (document.getElementById(idname)) {
			return document.getElementById(idname);

		} else {

			//alert('Es gibt keinen Layer mit der id \'' + idname + '\'');
			return null;

		}

	} else {

		if (document.all[idname]) {

			return document.all[idname];

		} else {

			//alert('Es gibt keinen Layer mit der id \'' + idname + '\'');
			return null;

		}

	}

}


//++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
// Funktionen fuer die onMouseover-Funktionen des Menues
//++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

function ueber() {

	var layername = ueber.arguments[0];
	var index = ueber.arguments[1];
	var ausdruck = new String();
	var layer = true;

	ausdruck = String(layername + index);
	layer = ausdruck_setzen(ausdruck);

	layer.className = 'on';

}

function raus() {

	var layername = raus.arguments[0];
	var index = raus.arguments[1];
	var ausdruck = new String();
	var layer = true;

	ausdruck = String(layername + index);
	layer = ausdruck_setzen(ausdruck);

	layer.className = 'out';

}


//++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
// Schrifgroesse aendern
//++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

var defaultGroesse = 0.75;
var aktuelleGroesse = defaultGroesse;
var groesseSchritt = 0.25;

function schriftgroesse(wert)
{

  if (wert == 'plus')
  {
    aktuelleGroesse += groesseSchritt;
    groesseAendern(aktuelleGroesse);
  }
  else
  {
    if (wert == 'minus')
    {
      aktuelleGroesse -= groesseSchritt;
      groesseAendern(aktuelleGroesse);
    }
    else
    {
      aktuelleGroesse = defaultGroesse;
      groesseAendern(aktuelleGroesse);
    }
  }

}

function groesseAendern(wert)
{
  var size = String(wert + 'em');
  var kopf = document.getElementById('kopf');
  var rumpf = document.getElementById('rumpf');
  var fuss = document.getElementById('fuss');

  kopf.style.fontSize = size;
  rumpf.style.fontSize = size;
  fuss.style.fontSize = size;
}