.highlight {
  font-family: Menlo, "DejaVu Sans Mono", Monaco, "Lucida Console", Courier, CourierNewPS, monospace;
  font-size: 1.5em;
  background: #ffffff;
  line-height: 1.1em;
}
.highlight .err {
  color: #a61717;
  background-color: #eb124b;
}
.highlight .k { font-weight: bold; }
.highlight .o { font-weight: bold; }
.highlight .c {
  color: #999988;
  font-style: italic;
}
.highlight .cm {
  color: #999988;
  font-style: italic;
}
.highlight .c1 {
  color: #999988;
  font-style: italic;
}
.highlight .cs {
  color: #717171;
  font-style: italic;
  font-weight: bold;
}
.highlight .cp {
  color: #717171;
  font-weight: bold;
}
.highlight .gd {
  color: #000000;
  background-color: #ffdddd;
}
.highlight .ge { font-style: italic; }
.highlight .gr { color: #a61717; }
.highlight .gh { color: #999988; }
.highlight .gi {
  color: #000000;
  background-color: #ddffdd;
}
.highlight .go { color: #999988; }
.highlight .gp { color: #717171; }
.highlight .gs { font-weight: bold; }
.highlight .gu { color: #999988; }
.highlight .gt { color: #000000; }
.highlight .gi .x {
  color: #000000;
  background-color: #ddffdd;
}
.highlight .gd .x {
  color: #000000;
  background-color: #ffdddd;
}
.highlight .kc { font-weight: bold; }
.highlight .kd { font-weight: bold; }
.highlight .kp { font-weight: bold; }
.highlight .kr { font-weight: bold; }
.highlight .kt {
  color: #473a88;
  font-weight: bold;
}
.highlight .m { color: #473a88; }
.highlight .na { color: #5d8499; }
.highlight .vc { color: #5d8499; }
.highlight .vg { color: #5d8499; }
.highlight .vi { color: #5d8499; }
.highlight .no { color: #5d8499; }
.highlight .nv { color: #5d8499; }
.highlight .ni { color: #473a88; }
.highlight .nb { color: #0086b3; }
.highlight .nc {
  color: #473a88;
  font-weight: bold;
}
.highlight .ne {
  color: #a61717;
  font-weight: bold;
}
.highlight .nf {
  color: #a61717;
  font-weight: bold;
}
.highlight .nn { color: #999988; }
.highlight .nt { color: #000080; }
.highlight .bp { color: #999988; }
.highlight .ow { font-weight: bold; }
.highlight .w { color: #c9c9c9; }
.highlight .mf { color: #2a9dff; }
.highlight .mh { color: #2a9dff; }
.highlight .mi { color: #2a9dff; }
.highlight .mo { color: #2a9dff; }
.highlight .il { color: #2a9dff; }
.highlight .s {
  color: #408000;
  font-weight: bold;
}
.highlight .sb { color: #408000; }
.highlight .sc { color: #408000; }
.highlight .s2 { color: #408000; }
.highlight .se { color: #408000; }
.highlight .sh { color: #408000; }
.highlight .si { color: #408000; }
.highlight .s1 { color: #408000; }
.highlight .sd {
  color: #804000;
  font-weight: bold;
}
.highlight .sx { color: #a61717; }
.highlight .sr { color: #e1316c; }
.highlight .ss { color: #e37622; }