a { color: #9900FF; }
body { color: #000000; background: #FFFFFF; font-family: Times New Roman,serif; font-size: 14pt; }
td,p { color: #000000; font-family: Times New Roman,serif; font-size: 14pt; }
.header { font-family: Times New Roman,serif; font-size: 24pt; margin-left: 4%; margin-right: 4%; color: #9900FF; }
.subhead { font-family: Times New Roman,serif; font-size: 18pt; color: #9900FF; }
p { margin-left: 4%; margin-right: 4%; }
hr { height: 1; color: #9900FF; }
.vertline { background-color: #9900FF; }
.bulletin { font-size: 12pt; }
.large { font-size: 18pt; }
.small { font-size: 12pt; }
.mono { font-family:monospace; font-size: 14pt; }