.purple {  color: #990099}
.highlight {  background-color: #FFFFCC}
.red {  color: #FF0000}
.green {  color: #009900}
.blue {  color: #0033FF}
.orange {  color: #FF9900}
.navy {  color: #000099}
.grey {  color: #666666}
.pink {  color: #FF00FF}
.brown {  color: #990066}
.brownlight {  color: #999966}