.res_menu_sep
{
  color: #5B5757;
  font-size:11px;
  font-family:Arial, Helvetica, sans-serif;
}

.res_menu_element
{
  font-size:11px;
  font-family:Verdana, Arial, Helvetica, sans-serif;
  color:#5B5757;
  padding-right:5px;
  padding-left:5px;
}

.res_menu_element a
{
  text-decoration : none;
  color: #5B5757;
}

.res_menu_element a:hover
{
  color : #5B5757;
  text-decoration : underline;
}