function toggleMenuClass(cssClass)
{
  document.getElementById('menu').className = cssClass;
}