// entfernt die gepunkteten Umrandungen geklickter Links

function UmrandungEntfernen(){
links=document.getElementsByTagName('a');
  for(i=0;i<links.length;i++)
  {
  links[i].onfocus=new Function("if(this.blur)this.blur()");
  }
}
onload=UmrandungEntfernen;