/* Questi sono i valori dei collegamenti ipertestuali generali di tutti i doc del sito */
a:active {  font-weight: bold; color: #000033; text-decoration: line-through}
a:hover {  font-weight: bold; color: #000033; text-decoration: underline}
a:link {  color: #000033; text-decoration: none}
a:visited {  color: #000033; 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; }
.style133 {font-size: 40px; font-weight: bold; font-family: Georgia, "Times New Roman", Times, serif; color: #000033; }
.style132 {font-size: 36px; font-family: Georgia, "Times New Roman", Times, serif; color: #000033; }
.style14 {font-size: 48px; font-family: Georgia, "Times New Roman", Times, 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: 24px; font-family:"Comic Sans MS", "Arial Black", Arial, Verdana; color: #000033;}

/* 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}