function menu_toggle_class(elem)
{
  if (elem.className == '')
  {
    elem.className = 'hover';
  }
  else
  {
    elem.className = '';
  }
} // menu_swap_class()