p {  font-family: Verdana, Arial, Helvetica, "sans-serif font-size"; font-size: 8pt}
h1 {  font-family: Verdana, Arial, Helvetica, "sans-serif font-size"; font-size: 12pt; font-weight: bold: 14pt}
h2 {  font-family: Verdana, Arial, Helvetica, "sans-serif font-size"; font-size: 11pt; font-weight: bold: 12pt}
h3 {  font-family: Verdana, Arial, Helvetica, "sans-serif font-size"; font-size: 10pt; font-weight: bold: 10pt}
li {  font-family: Verdana, Arial, Helvetica, "sans-serif font-size"; font-size: 8pt; line-height: 12pt}
dt {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 8pt; font-weight: bold: 12pt}
dd {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 8pt;}
.credits {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 8pt; font-style: italic}
.menu {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 8pt; font-style: normal; text-align: right}
a.menutoc {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 8pt; font-style: normal; text-align: right}
a.menutoc:hover {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 8pt; font-style: normal; text-align: right; color: #009966; background-color: #CCCCCC}
a {  font-family: Verdana, Arial, Helvetica, sans-serif; color: #333366; font-size: 8pt}
a.chiaro {  color : #ffffff;}
a.azzurro  {
  color : #009999;  
}
a.azzurro:hover {
  color : #990000;   }
a.blu  {
  color : #003366;  
}
a.blu:hover {
  color : #990000;   }

.piccolo {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 7pt}