.font_red_12 { font-size: 12px; color: #000000; font-family: "Times New Roman", Times, serif; font-weight: bold; }