.menu {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: 12px;
	font-weight: bold;
	color: #000066;
	text-decoration: none;
	background-color: #FFFFCE;
	width: 150px;
	line-height: 7mm;


}
a.menu:hover {
	background-color: #EFDBAD;
	width: 100%;

}
.menu2 {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: 12px;
	font-weight: bold;
	color: #000063;
	text-decoration: none;
	background-color: #F7EFAD;
	line-height: 7mm;
	width: 150px;


}
.hosted {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 10px;
	font-weight: bold;
	color: #333399;
	text-decoration: none;
}
a.hosted:hover {
	color: #993366;
}
.tabellastile {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 12px;
	font-weight: bold;
	color: #000066;
	text-decoration: none;
	letter-spacing: 1px;
}