div#main_navigation_menu {
  min-width: 9em;
  position: fixed;
}

div#main_navigation_menu a {
  text-decoration: none;
}

div#main_navigation_menu a:hover {
  font-weight : bold;
}

div#main_navigation_menu div[class~="subMenu"] {	
  font-size: 0.8em;	
  margin-left: 2em;
  width: auto;
}



/* Local Variables: */
/* coding: utf-8    */
/* End:             */