.times { color: #8b0000; font-size: 15px; font-family: "Times New Roman", Georgia, Times }