.highlight table td {
      padding: 5px;
    }

    .highlight table pre {
      margin: 0;
    }

    .highlight .gh {
      color: #999999;
    }

    .highlight .sr {
      color: #f6aa11;
    }

    .highlight .go {
      color: #888888;
    }

    .highlight .gp {
      color: #555555;
    }


    .highlight .gu {
      color: #aaaaaa;
    }

    .highlight .nb {
      color: #f6aa11;
    }

    .highlight .cm {
      color: #75715e;
    }

    .highlight .cp {
      color: #75715e;
    }

    .highlight .c1 {
      color: #75715e;
    }

    .highlight .cs {
      color: #75715e;
    }

    .highlight .c,
    .highlight .ch,
    .highlight .cd,
    .highlight .cpf {
      color: #75715e;
    }

    .highlight .err {
      color: #960050;
    }

    .highlight .gr {
      color: #960050;
    }

    .highlight .gt {
      color: #960050;
    }

    .highlight .gd {
      color: #49483e;
    }

    .highlight .gi {
      color: #49483e;
    }

    .highlight .ge {
      color: #49483e;
    }

    .highlight .kc {
      color: #66d9ef;
    }

    .highlight .kd {
      color: #66d9ef;
    }

    .highlight .kr {
      color: #66d9ef;
    }

    .highlight .no {
      color: #66d9ef;
    }

    .highlight .kt {
      color: #66d9ef;
    }

    .highlight .mf {
      color: #ae81ff;
    }

    .highlight .mh {
      color: #ae81ff;
    }

    .highlight .il {
      color: #ae81ff;
    }

    .highlight .mi {
      color: #ae81ff;
    }

    .highlight .mo {
      color: #ae81ff;
    }

    .highlight .m,
    .highlight .mb,
    .highlight .mx {
      color: #ae81ff;
    }

    .highlight .sc {
      color: #ae81ff;
    }

    .highlight .se {
      color: #ae81ff;
    }

    .highlight .ss {
      color: #ae81ff;
    }

    .highlight .sd {
      color: #e6db74;
    }

    .highlight .s2 {
      color: #e6db74;
    }

    .highlight .sb {
      color: #e6db74;
    }

    .highlight .sh {
      color: #e6db74;
    }

    .highlight .si {
      color: #e6db74;
    }

    .highlight .sx {
      color: #e6db74;
    }

    .highlight .s1 {
      color: #e6db74;
    }

    .highlight .s,
    .highlight .sa,
    .highlight .dl {
      color: #e6db74;
    }

    .highlight .na {
      color: #a6e22e;
    }

    .highlight .nc {
      color: #a6e22e;
    }

    .highlight .nd {
      color: #a6e22e;
    }

    .highlight .ne {
      color: #a6e22e;
    }

    .highlight .nf,
    .highlight .fm {
      color: #a6e22e;
    }

    .highlight .vc {
      color: #ffffff;
    }

    .highlight .nn {
      color: #ffffff;
    }

    .highlight .ni {
      color: #ffffff;
    }

    .highlight .bp {
      color: #ffffff;
    }

    .highlight .vg {
      color: #ffffff;
    }

    .highlight .vi {
      color: #ffffff;
    }

    .highlight .nv,
    .highlight .vm {
      color: #ffffff;
    }

    .highlight .w {
      color: #ffffff;
    }

    .highlight {
      color: #ffffff;
    }

    .highlight .n,
    .highlight .py,
    .highlight .nx {
      color: #ffffff;
    }

    .highlight .nl {
      color: #f92672;
    }

    .highlight .ow {
      color: #f92672;
    }

    .highlight .nt {
      color: #f92672;
    }

    .highlight .k,
    .highlight .kv {
      color: #f92672;
    }

    .highlight .kn {
      color: #f92672;
    }

    .highlight .kp {
      color: #f92672;
    }

    .highlight .o {
      color: #f92672;
    }
  </style>
  <style media="print">
    * {
      -webkit-transition: none !important;
      transition: none !important;
    }

    .highlight table td {
      padding: 5px;
    }

    .highlight table pre {
      margin: 0;
    }

    .highlight,
    .highlight .w {
      color: #586e75;
    }

    .highlight .err {
      color: #002b36;
      background-color: #dc322f;
    }

    .highlight .c,
    .highlight .ch,
    .highlight .cd,
    .highlight .cm,
    .highlight .cpf,
    .highlight .c1,
    .highlight .cs {
      color: #657b83;
    }

    .highlight .cp {
      color: #b58900;
    }

    .highlight .nt {
      color: #b58900;
    }

    .highlight .o,
    .highlight .ow {
      color: #93a1a1;
    }

    .highlight .p,
    .highlight .pi {
      color: #93a1a1;
    }

    .highlight .gi {
      color: #859900;
    }

    .highlight .gd {
      color: #dc322f;
    }

    .highlight .gh {
      color: #268bd2;
      background-color: #002b36;
      font-weight: bold;
    }

    .highlight .k,
    .highlight .kn,
    .highlight .kp,
    .highlight .kr,
    .highlight .kv {
      color: #6c71c4;
    }

    .highlight .kc {
      color: #cb4b16;
    }

    .highlight .kt {
      color: #cb4b16;
    }

    .highlight .kd {
      color: #cb4b16;
    }

    .highlight .s,
    .highlight .sa,
    .highlight .sb,
    .highlight .sc,
    .highlight .dl,
    .highlight .sd,
    .highlight .s2,
    .highlight .sh,
    .highlight .sx,
    .highlight .s1 {
      color: #859900;
    }

    .highlight .sr {
      color: #2aa198;
    }

    .highlight .si {
      color: #d33682;
    }

    .highlight .se {
      color: #d33682;
    }

    .highlight .nn {
      color: #b58900;
    }

    .highlight .nc {
      color: #b58900;
    }

    .highlight .no {
      color: #b58900;
    }

    .highlight .na {
      color: #268bd2;
    }

    .highlight .m,
    .highlight .mb,
    .highlight .mf,
    .highlight .mh,
    .highlight .mi,
    .highlight .il,
    .highlight .mo,
    .highlight .mx {
      color: #859900;
    }

    .highlight .ss {
      color: #859900;
    }