/* Questi sono i valori dei collegamenti ipertestuali generali di tutti i doc del sito */
a:active {  font-weight: bold; color: #CC3333; text-decoration: line-through}
a:hover {  font-weight: bold; color: #663399; text-decoration: underline}
a:link {  color: #330099; text-decoration: none}
a:visited {  color: #993399; 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: 27px; font-family: Georgia, "Times New Roman", Times, serif; color: #000033; }
.style14 {font-size: 48px; 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: 17px; 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 { font-weight: bold; color: #FFFFFF; text-decoration: line-through; font-size: 20px}
a.menu:hover {  font-weight: bold; color: #FFFFFF; text-decoration: underline; font-size: 20px}
a.menu:link {  color: #FFFFFF; text-decoration: none; font-size: 20px}
a.menu:visited {  color: #FFFFFF; text-decoration: none; font-size: 20px}