.hll {
  background-color: #ffffcc;
}
.c {
  color: #408090;
  font-style: italic;
}
.err {
  border: 1px solid #ff0000;
}
.k {
  color: #007020;
  font-weight: bold;
}
.o {
  color: #666666;
}
.cm {
  color: #408090;
  font-style: italic;
}
.cp {
  color: #007020;
}
.c1 {
  color: #408090;
  font-style: italic;
}
.cs {
  background-color: #fff0f0;
  color: #408090;
}
.gd {
  color: #a00000;
}
.ge {
  font-style: italic;
}
.gr {
  color: #ff0000;
}
.gh {
  color: #000080;
  font-weight: bold;
}
.gi {
  color: #00a000;
}
.go {
  color: #303030;
}
.gp {
  color: #c65d09;
  font-weight: bold;
}
.gs {
  font-weight: bold;
}
.gu {
  color: #800080;
  font-weight: bold;
}
.gt {
  color: #0040d0;
}
.kc {
  color: #007020;
  font-weight: bold;
}
.kd {
  color: #007020;
  font-weight: bold;
}
.kn {
  color: #007020;
  font-weight: bold;
}
.kp {
  color: #007020;
}
.kr {
  color: #007020;
  font-weight: bold;
}
.kt {
  color: #902000;
}
.m {
  color: #208050;
}
.s {
  color: #4070a0;
}
.na {
  color: #4070a0;
}
.nb {
  color: #007020;
}
.nc {
  color: #0e84b5;
  font-weight: bold;
}
.no {
  color: #60add5;
}
.nd {
  color: #555555;
  font-weight: bold;
}
.ni {
  color: #d55537;
  font-weight: bold;
}
.ne {
  color: #007020;
}
.nf {
  color: #10d0e0;
}
.nl {
  color: #002070;
  font-weight: bold;
}
.nn {
  color: #0e84b5;
  font-weight: bold;
}
.nt {
  color: #062873;
  font-weight: bold;
}
.nv {
  color: #bb60d5;
}
.ow {
  color: #007020;
  font-weight: bold;
}
.w {
  color: #bbbbbb;
}
.mf {
  color: #208050;
}
.mh {
  color: #208050;
}
.mi {
  color: #208050;
}
.mo {
  color: #208050;
}
.sb {
  color: #4070a0;
}
.sc {
  color: #4070a0;
}
.sd {
  color: #4070a0;
  font-style: italic;
}
.s2 {
  color: #4070a0;
}
.se {
  color: #4070a0;
  font-weight: bold;
}
.sh {
  color: #4070a0;
}
.si {
  color: #70a0d0;
  font-style: italic;
}
.sx {
  color: #c65d09;
}
.sr {
  color: #235388;
}
.s1 {
  color: #4070a0;
}
.ss {
  color: #517918;
}
.bp {
  color: #007020;
}
.vc {
  color: #bb60d5;
}
.vg {
  color: #bb60d5;
}
.vi {
  color: #bb60d5;
}
.il {
  color: #208050;
}