// Div ein / ausblenden
function toggleMe(a){
  var e=document.getElementById(a);
  if(!e)return true;
  if(e.style.display=="none"){
    e.style.display="block"
  } else {
    e.style.display="none"
  }
  return true;
}

function turnBackBold (speclink) {
	var anchors = document.links
	for (i=0; i<anchors.length; i++) {
	anchors[i].style.fontWeight = '300';
	}
	speclink.style.fontWeight = '900';
}