div.menu {
    
	width:200px;
	background:#ffffff;
	padding:0;
    /*font-weight:bold;*/
	font-size:8.0pt;font-family:Verdana,arial,helvetica;
	margin:0.1em;
	border:0px solid #000000;
}

div.menu a {
	display:block;
	margin:0;
	width:95%;
	padding:0.3em;
	font-weight:bold;
	border-top:1px dotted #CCC;
	color:#162F57;
	text-decoration:none;
}

html>body div.menu a {width:auto;}

div.menu a:hover {background:#ffffff;color:#162F57;text-decoration:none;}