red {
  color: firebrick;
  font-weight: bold;
  font-family: Consolas, "Liberation Mono", Menlo, Courier, monospace;
}
blu {
  color: darkslateblue;
  font-weight: bold;
  font-family: Consolas, "Liberation Mono", Menlo, Courier, monospace;
}
grn {
  color: #097f5f;
  font-weight: bold;
  font-family: Consolas, "Liberation Mono", Menlo, Courier, monospace;
}
orng {
  color: DarkOrange;
  font-weight: bold;
  font-family: Consolas, "Liberation Mono", Menlo, Courier, monospace;
}
blk {
  color: black;
  font-weight: bold;
  font-family: Consolas, "Liberation Mono", Menlo, Courier, monospace;
}
gold {
  color: GoldenRod;
  font-weight: bold;
  font-family: Consolas, "Liberation Mono", Menlo, Courier, monospace;
}
purp {
  color: Purple;
  font-weight: bold;
  font-family: Consolas, "Liberation Mono", Menlo, Courier, monospace;
}
.red {
    color: firebrick;
}