/* ******************  menu  *************** */
.dot    { display : none }

div#Menu {
   width:12em;
   margin-right/* hide from IE5.0/Win */ : 0em;
   margin-top: 1.0em;
   left: 0em;
   right:auto;
   top:2em;
   bottom:2em;
   text-indent: 0.5em;
   padding:0;
   background: #eec;
   color: #000;
   border:0px solid #000;
   line-height:1.0em;
	}

body#Menu {
	right: 1em;
        margin-right: 1em;
	}

	
div#Menu p {
	padding:0;
	}

div#Menu a {
	display : block;
        background: #eec;
 	text-decoration:none;
	font-size: 1.0em;
	}
	
div#Menu a:link {
	display : block;
        background: #eec;
 	text-decoration:none;
	font-size: 1.0em;
	}
	
		
div#Menu a:hover {
        background-color:white;
	text-decoration: underline;
		}
		
div#Menu a:visited:hover  {
        background-color:white;
	text-decoration: underline;
}

div#Menu a:visited {
	font-weight : bold; 
	text-decoration : none;
	background: transparent; 
	}
	
div#Menu hr {display:none;}

div#Menu .navhead {
   background: #aa7;
   color: #fff;
   border: none;
   width: 100%;
   font-weight: bold;
   font-size: medium;
   text-indent: 0.5em;
   margin-top: 0.5em;
   padding: 0.1em 0;
}