.texnormal {  font-family: "Times New Roman", Times, serif; font-size: 10pt; font-style: normal; text-decoration: none; color: #663300}