.builtin {
  font-weight: bold;
  color: #da70d6;
}
.comment {
  font-style: italic; 
  color: #b22222;
}
.constant {
  color: #5f9ea0;
}
.function-name {
  color: #0000ff;
}
.keyword {
  font-weight: bold;
  color: #a020f0;
}
.string {
  /* font-family: cursive; */
  color: #bc8f8f;
}
.type {
  font-style: italic; 
  color: #228b22;
}
.Java.type {
  font-style: normal;
  color: #228b22;
}
.variable-name {
  color: #b8860b;
}
.tab { 
  background-color: #fff0ff;
}