* {font-family: Verdana, Tahoma, sans-serif}
.red {color: #C10018}
a.red{text-decoration: underline}
a.red:hover{text-decoration: none}
.title {font-size: 12px}
.annot {color: #C10018; font-size: 11px}
.text {font-size: 11}
.border {border: 1px solid #91233E}