function toggle() {
	var ele = document.getElementById("toggletext");
	var text = document.getElementById("control-info");
	if(ele.style.display == "block") {
    		ele.style.display = "none";
    		document.getElementById("control-info").className = "";
		
  	}
	else {
		ele.style.display = "block";
		document.getElementById("control-info").className = "control-info-selected";
		
	}
}