$color01: #000;
$color02: #000080;
$color03: #00f;
$color04: #008080;
$color05: #080;
$color06: #555;
$color07: #800080;
$color08: #888;
$color09: #999;
$color10: #a61717;
$color11: #a00;
$color12: #aaa;
$color13: #bbb;
$color14: #dfd;
$color15: #e3d2d2;
$color16: #f00;
$color17: #fdd;
$color18: #ffc;

.highlight .hll {
  background-color: $color18;
}

.highlight .c {
  color: $color05;
  font-style: italic;
}

.highlight .err {
  background-color: $color15;
  color: $color10;
}

.highlight .k {
  color: $color02;
  font-weight: bold;
}

.highlight .cm {
  color: $color05;
  font-style: italic;
}

.highlight .cp {
  color: $color04;
}

.highlight .c1 {
  color: $color05;
  font-style: italic;
}

.highlight .cs {
  color: $color05;
  font-weight: bold;
}

.highlight .gd {
  background-color: $color17;
  color: $color01;
}

.highlight .ge {
  font-style: italic;
}

.highlight .gr {
  color: $color11;
}

.highlight .gh {
  color: $color09;
}

.highlight .gi {
  background-color: $color14;
  color: $color01;
}

.highlight .go {
  color: $color08;
}

.highlight .gp {
  color: $color06;
}

.highlight .gs {
  font-weight: bold;
}

.highlight .gu {
  color: $color12;
}

.highlight .gt {
  color: $color11;
}

.highlight .kc {
  color: $color02;
  font-weight: bold;
}

.highlight .kd {
  color: $color02;
  font-weight: bold;
}

.highlight .kn {
  color: $color02;
  font-weight: bold;
}

.highlight .kp {
  color: $color02;
  font-weight: bold;
}

.highlight .kr {
  color: $color02;
  font-weight: bold;
}

.highlight .kt {
  color: $color02;
  font-weight: bold;
}

.highlight .m {
  color: $color03;
}

.highlight .s {
  color: $color03;
}

.highlight .na {
  color: $color16;
}

.highlight .nt {
  color: $color02;
  font-weight: bold;
}

.highlight .ow {
  font-weight: bold;
}

.highlight .w {
  color: $color13;
}

.highlight .mf {
  color: $color03;
}

.highlight .mh {
  color: $color03;
}

.highlight .mi {
  color: $color03;
}

.highlight .mo {
  color: $color03;
}

.highlight .sb {
  color: $color03;
}

.highlight .sc {
  color: $color07;
}

.highlight .sd {
  color: $color03;
}

.highlight .s2 {
  color: $color03;
}

.highlight .se {
  color: $color03;
}

.highlight .sh {
  color: $color03;
}

.highlight .si {
  color: $color03;
}

.highlight .sx {
  color: $color03;
}

.highlight .sr {
  color: $color03;
}

.highlight .s1 {
  color: $color03;
}

.highlight .ss {
  color: $color03;
}

.highlight .il {
  color: $color03;
}