.fontTime15 {  font-family: "Times New Roman", Times, serif; font-size: 15px; color: #000000; font-style: italic}
.fontVerdana11 {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 11px}
.fontVerdana9 {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9px}
.tasto {  font-family: "Times New Roman", Times, serif; font-size: 14px; font-style: italic; background-color: #245484; border: auto #FFFFFF ridge; color: #FFFFFF}