BODY {
  font-weight: normal;
  background-color: #E0E0E0;
}

.keyword {
  color: #aa7733;
  font-weight: normal;
}

.string {
  color: darkgreen;
}

.comment {
  color: navy;
  font-style: italic;
}

.number {
  color: blue;
}

.type {
    color: teal;
    text-decoration: underline;
}