function toggle(name)
{
	if (toggle_states[name])
	{
		document.getElementById(name).className = 'button';
		toggle_states[name] = 0;
	} else {
		document.getElementById(name).className = 'button-active';
		toggle_states[name] = 1;
	}
}