<!--

function activateButton(button) {
	button.className = 'activeMenu';
}

function deactivateButton(button) {
	button.className = 'inactiveMenu';
}

function ignore(button) {
	button.className = 'topRule';
}

function activateSubMenu(button) {
	button.className = 'activeSubMenu';
}

function deactivateSubMenu(button) {
	button.className = 'inactiveSubMenu';
}

//-->