/* Questi sono i valori dei collegamenti ipertestuali generali di tutti i doc del sito */
a:active { color: #CC3333 ; text-decoration: none}
a:hover {  color: #663399 ; text-decoration: none}
a:link {  color: #330099 ; text-decoration: none}
a:visited {  color: #330099 ; text-decoration: none} 

/* Stili del testo definiti nel sito... */
.style10 {font-size: 10px; font-family: Georgia, "Times New Roman", Times, serif; color: #000033;}
.style11 {font-size: 12px; font-family: Georgia, "Times New Roman", Times, serif; color: #000033; }
.style12 {font-size: 16px; font-family: Georgia, "Times New Roman", Times, serif; color: #000033; }
.style13 {font-size: 20px; font-family: Georgia, "Times New Roman", Times, serif; color: #000033; }
.style132 {font-size: 22px; font-family: Georgia, "Times New Roman", Times, serif; color: #000033; }
.style14 {font-size: 36px; font-family: Georgia, "Times New Roman", Times, serif; color: #000033; }

.style2 {font-size: 13px; font-family: Arial, Helvetica, sans-serif; color: #000033; }
.style21 {font-size: 14px; font-family: Arial, Helvetica, sans-serif; color: #000033; }
.style22 {font-size: 14px; font-family: Arial, Helvetica, sans-serif; color: #000033; }
.style23 {font-size: 18px; font-family: Arial, Helvetica, sans-serif; color: #000033; }

.style69 {
	font-size: 30px;
	font-family:Arial, Helvetica, sans-serif;
	color: #000033;
	font-weight: bolder;
	font-style: italic;
}

/* Questi sono i valori dei collegamenti ipertestuali del solo men?????? nel sito */
a.menu:active { color: #FFFFFF; font-size: 20px ; text-decoration: none}
a.menu:hover {   color: #EFFE98; font-size: 20px ; text-decoration: none}
a.menu:link {  color: #FFFFAA; font-size: 20px ; text-decoration: none}
a.menu:visited { color: #FFFFFE; font-size: 20px ; text-decoration: none}