.titulos {  font-family: "Times New Roman", Times, serif; font-size: 28pt; font-weight: bold}
.textos {  font-family: Arial, Helvetica, sans-serif; font-size: 10pt}
.textosrojo {  font-family: Arial, Helvetica, sans-serif; font-size: 10pt; color: #FF0000}
.titulosint {  font-family: Arial, Helvetica, sans-serif; font-size: 12pt; font-weight: bold}
.mini {  font-family: Arial, Helvetica, sans-serif; font-size: 7.5pt}