<style>

a.navigation { 
	text-decoration: none;
	font-family: Verdana, Arial, Helvetica, sans-serif;

} 


a.navigation:hover { 
	text-decoration: none;
	background-color: #A4CAE1;
	color: #000000;
} 

a.blue_library:hover {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 12px;
	color: #0033CC;
	text-decoration: none;
	font-weight: bold;
}





</style>