function toggle(card){
	card = document.getElementById("infobox"+card);
	if(card.style.display=="block"){
		card.style.display = "none";
	}else{
		closeAll();
		card.style.display = "block";
	}
}

function closeAll(){
	cards = document.getElementById("ins").getElementsByTagName("dt");
	for(var i=0;i<cards.length;i++){
		cards[i].style.display="none";
	}
}