/* Script zum auf- und zuklappen der Karteneinstellungen*/
var x = 0;

function showelement(id,h,t) {
 if(x == -150) {
 e = document.getElementById(id);
 e.style.display = 'block';
 auf(t);
 }
 else{
  e = document.getElementById(id);
  e.style.display = 'block';
  zu(x,t);
 }
}

function auf(t) {
 if(x < 0) {
  x += 5;
  e.style.right = x+'px';
  //alert(t);
  var zeit = window.setTimeout('auf('+t+')', t);
  }
 else window.clearTimeout(zeit);
 document.getElementById("funcbar").setAttribute("src","grafiken/func_close.gif");
 document.getElementById("funcbar").setAttribute("alt","Karteneinstellungen ausblenden");
 document.getElementById("funcbar").setAttribute("title","Karteneinstellungen ausblenden");
}

function zu(h,t) {
 if(h > -150) {
  x -= 5;
  e.style.right = x+'px';
  var zeit = window.setTimeout('zu('+x+','+t+')',t);
  }
  else {
   window.clearTimeout(zeit);
   document.getElementById("funcbar").setAttribute("src","grafiken/func_open.gif");
   document.getElementById("funcbar").setAttribute("alt","Karteneinstellungen einblenden");
   document.getElementById("funcbar").setAttribute("title","Karteneinstellungen einblenden");
  }
 }