.red{color: #FF0000;}
.blue{color: #0000FF;}
.green{color: #00FF00;}
.deepgreen{color: #00bb00;}
.gray{color: #999999;}
.wgray{color: #cccccc;}