/* These are the style specifications for the menu layers.
   Set width to get more browsers' corporation  */
div.menu  {
  position:absolute; visibility:hidden;
  width:145px; left:0; top:0; z-index:500;
  font-size:12px;
  background-color:#000000; 
  border: 1px solid;
  border-color: #f7faff #99a #99a #f7faff;
}

/* Style specifications for menu items and links  */
div.menu ul { margin:.5em 1em .6em 0; padding:0 }
div.menu ul li { line-height:1; list-style-type:none; margin:0 0 .8em .4em; }

div.menu a { text-decoration:none; white-space:nowrap; }
div.menu a:link { color:#f4f400 }
div.menu a:visited { color:#f4f400 }
/*div.menu a:hover { color:#f4f400; border-bottom:1px dashed #f4f400 }*/
div.menu a:hover { color:#800000; border-bottom:0px dashed #f4f400 }