.style3 { text-align: center; font-size: medium; } .style4 { font-family: "Times New Roman"; } .style5 { font-size: medium; font-weight: bold; } .style8 { font-family: Arial, sans-serif; font-size: 12pt; } .style10 { color: #FF0000; } .style11 { font-family: "Times New Roman"; font-size: medium; } .auto-style3 { text-align: center; font-size: 10.8pt; } .auto-style4 { text-align: center; font-size: medium; font-family: "Times New Roman", Times, serif; }