BODY {
  font-weight: bold;
  font-size: 150%;
  background-color: #000000;
  color: #FFFFFF;
}

.keyword {
  color: tan;
  font-weight: bold;
  
}

.type {
  color: white;
  font-weight: bold;
}

.string {
  color: wheat;
}

.comment {
  color: yellow;
}

.number {
  color: white;
}