P.menu {
	font-size: 150%;
	font-family: sans-serif;
	text-decoration: none;
/*	border-width: 3px 0px 0px 3px;
	border-style: groove none none groove;
	padding: 5px; */
}

P.menu A { 
	text-decoration: none; 
}