.titolo1     { font-family: Times New Roman; font-size: 12 pt; color: #800000 }
.barre       { font-family: Comic Sans MS; font-size: 10 pt; font-weight: bold; margin-top: 
               10; margin-bottom: 10 }
.normale     { font-family: Times New Roman; font-size: 10 pt }