/* Funktionen fuer Blenden der Topnavi */

 function getPosition(element)
  /* der Aufruf dieser Funktion ermittelt die absoluten Koordinaten
     des Objekts element */
  {
    var elem=element,tagname="",x=0,y=0;
    
  /* solange elem ein Objekt ist und die Eigenschaft offsetTop enthaelt
     wird diese Schleife fuer das Element und all seine Offset-Eltern ausgefuehrt */
    while ((typeof(elem)=="object")&&(typeof(elem.tagName)!="undefined"))
    {
      y+=elem.offsetTop;     /* Offset des jeweiligen Elements addieren */
      x+=elem.offsetLeft;    /* Offset des jeweiligen Elements addieren */
      tagname=elem.tagName.toUpperCase(); /* tag-Name ermitteln, Grossbuchstaben */
  
  /* wenn beim Body-tag angekommen elem fuer Abbruch auf 0 setzen */
      if (tagname=="BODY")
        elem=0;
  
  /* wenn elem ein Objekt ist und offsetParent enthaelt
     Offset-Elternelement ermitteln */
      if (typeof(elem)=="object")
        if (typeof(elem.offsetParent)=="object")
          elem=elem.offsetParent;
    }
  
  /* Objekt mit x und y zurueckgeben */
    position=new Object();
    position.x=x;
    position.y=y;
    return position;
  }
            

 function einblenden (obj, tag) {
    if (tag) {
      var target = obj.getElementsByTagName(tag);
      target = target[0];
      target.style.visibility = "visible";
                        
        var pos = getPosition(document.getElementById("nav"));                             
        var x = pos.x-14;                                         
        target.style.left = x+"px";                 
    }
    else {
      obj.style.visibility = "visible";
    }
 }
 function ausblenden (obj, tag) {
    if (tag) {
      var target = obj.getElementsByTagName(tag);
      target = target[0];
      target.style.visibility = "hidden";                 
    }
    else {
      obj.style.visibility = "hidden";
    }
 }
 
 function positionieren (obj2, tag2) { 
        var target = obj2.getElementsByTagName(tag2);
        target = target[0];                                                                                            
        var pos = 0;
        pos = getPosition(document.getElementById("nav"));                             
        var x = 0;
        x = pos.x;                                         
        target.style.left = x+"px";                               
 }