.text { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 12px; color: black; text-decoration: none}
.keyword {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 12px;  color: blue; text-decoration: none}
.comment {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 12px; color: green; text-decoration: none}
.tag {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 12px; color: darkred; text-decoration: none}
.attribute {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 12px; color: red; text-decoration: none}
.punctuation {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 12px; color: blue; text-decoration: none}
.usertext { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 12px; font-weight:bold; color: black; text-decoration: none}