function togglevisibility(id) 
{
       	var e = document.getElementById(id);
     	 if(e.style.display == 'block')
          	e.style.display = 'none';
      	else
         	e.style.display = 'block'; 
}
	
function toggleStyle(link) {
	if(link.className == 'contracted')
	link.className = 'expanded';
	else
	link.className = 'contracted';
	if(link.className == 'expanded')
	link.innerHTML = 'Hide keyboard controls';
	else
	link.innerHTML = 'Show keyboard controls';
	}