/*
	Css D'ausilio,
	stile nei link, e altri ammennicoli
*/

#footer a {
	color: gray;
} 

.vertical-menu a, div#body a {
	text-decoration: none;
	color: #02458d;
}

.vertical-menu a:hover, div#body a:hover {
	text-decoration: underline;
}