function toggleHWmenu()
{
	if (document.getElementById("hwMenu").style.display=="none")
	{
		document.getElementById("hwMenu").style.display="block";
		document.getElementById("hwMenuButton").style.marginBottom="5px";
	}
	else
	{
		document.getElementById("hwMenu").style.display="none";
		document.getElementById("hwMenuButton").style.marginBottom="10px";
	}
}