.red {color: #ff0000}
.redbold {color: #ff0000; font-weight: bold}
.small {font-size: 8pt}
.large {font-size: 14pt}
.copyright {font-family: Arial; font-size: 8pt}
