.red {color: #FF0000;  font-size: 1.4em; font-family: Georgia, "Times New Roman", Times, serif}

.ok {color: #000000;  font-size: 1.4em; font-family: Georgia, "Times New Roman", Times, serif}