function toggle(menu) 
{
	var toggler;
  	toggler = document.getElementById(menu);
  	if (toggler.style.display.toLowerCase() == 'block')
    	toggler.style.display = 'none';
  	else
    	toggler.style.display = 'block';
} 

function activar(menu) 
{
	var seccion;
	seccion = document.getElementById(menu);
	seccion.style.fontweight = 'bold';
}