/* Gestion des styles pour les menus */
#menu_navigation {
  margin: 0;
  padding: 0;
  list-style: none;
  width: 205px;
  font: 16px "Trebuchet MS", Sans-serif;
}

#menu_navigation a, #menu_navigation span {
  display: block;
  padding: 4px 5px;
  color: #013475;
  text-decoration: none;
  font-weight: bold;
}
/*
#menu_navigation a:hover, #menu_navigation a:focus, #menu_navigation a:active {
  background-color: white;
}
*/
#menu_navigation a:hover {
  background-color: white;
}

#menu_navigation .subMenu {
  font-size: 12px;
  margin: 0;
  padding: 0;
  list-style: none;
}
#menu_navigation ul.subMenu a {
  padding: 3px 10px;
}

#menu_navigation div.main_menu {
  font-size: 12px;
  font-weight: bold;
}

#menu_navigation div.sous_menu {
  margin-left: 10px;
}

#menu_navigation li {
  vertical-align: bottom;   /* This fixes the IE5/IE6 Win gap! */
}

.menuSelected {
  background-color: white;
}
.menuHighlight {
  background-color: #E6F4FC;
}