.highlight {
  margin: 2em;
  background:#e8e8e8;
  color: black;
}

.highlight pre {
  margin: 0;
  padding: 0.3em;
}

.highlight .err {
border:1px solid red;
}

.highlight .cp {
color:#080;
}

.highlight .cs {
color:#080;
font-weight:700;
}

.highlight .gd {
color:#A00000;
}

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

.highlight .gr {
color:red;
}

.highlight .go {
color:gray;
}

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

.highlight .gu {
color:purple;
font-weight:700;
}

.highlight .gt {
color:#0040D0;
}

.highlight .nc {
color:#00F;
}

.highlight .no {
color:#800;
}

.highlight .ni {
color:#999;
font-weight:700;
}

.highlight .ne {
color:#D2413A;
font-weight:700;
}

.highlight .nl {
color:#A0A000;
}

.highlight .nn {
color:#00F;
font-weight:700;
}

.highlight .nt {
color:green;
font-weight:700;
}

.highlight .w {
color:#BBB;
}

.highlight .sd {
color:#B44;
font-style:italic;
}

.highlight .se {
color:#B62;
font-weight:700;
}

.highlight .si {
color:#B68;
font-weight:700;
}

.highlight .sx {
color:green;
}

.highlight .sr {
color:#B68;
}

.highlight .c,.highlight .cm,.highlight .c1 {
color:#080;
font-style:italic;
}

.highlight .k,.highlight .kc,.highlight .kd,.highlight .kr,.highlight .kt,.highlight .ow {
color:#A2F;
font-weight:700;
}

.highlight .o,.highlight .m,.highlight .mf,.highlight .mh,.highlight .mi,.highlight .mo,.highlight .il {
color:#666;
}

.highlight .gh,.highlight .gp {
color:navy;
font-weight:700;
}

.highlight .gi,.highlight .nf {
color:#00A000;
}

.highlight .kp,.highlight .nb,.highlight .nd,.highlight .bp {
color:#A2F;
}

.highlight .s,.highlight .na,.highlight .sb,.highlight .sc,.highlight .s2,.highlight .sh,.highlight .s1 {
color:#B44;
}

.highlight .nv,.highlight .ss,.highlight .vc,.highlight .vg,.highlight .vi {
color:#B8860B;
}