// Navigation menu open/close mechanism

function toggle(parent) {
	if (document.getElementById(parent).className=='closed') {
		document.getElementById(parent).className='open';
		document.getElementById(parent).firstChild.innerHTML='v';
	} else {
		document.getElementById(parent).className='closed';
		document.getElementById(parent).firstChild.innerHTML='»';
	}
}