.highlight {

  table {
    td {
      padding: 5px;
    }
    pre {
      margin: 0;
    }
  }
  .cm {
    color: #999988;
    font-style: italic;
  }
}
div .highlight {
  -webkit-box-shadow: 10px 10px 5px rgba(71, 71, 71, 0.2);
  -moz-box-shadow: 10px 10px 5px rgba(71, 71, 71, 0.2);
  box-shadow: 10px 10px 5px rgba(71, 71, 71, 0.2);
  background: #e9e8e8;
}
.highlight {
  .cp {
    color: #999999;
    font-weight: bold;
  }
  .c1 {
    color: #999988;
    font-style: italic;
  }
  .cs {
    color: #999999;
    font-weight: bold;
    font-style: italic;
  }
  .c, .ch, .cd, .cpf {
    color: #999988;
    font-style: italic;
  }
  .err {
    color: #a61717;
    background-color: #e3d2d2;
  }
  .gd {
    color: #000000;
    background-color: #ffdddd;
  }
  .ge {
    color: #000000;
    font-style: italic;
  }
  .gr {
    color: #aa0000;
  }
  .gh {
    color: #999999;
  }
  .gi {
    color: #000000;
    background-color: #ddffdd;
  }
  .go {
    color: #888888;
  }
  .gp {
    color: #555555;
  }
  .gs {
    font-weight: bold;
  }
  .gu {
    color: #aaaaaa;
  }
  .gt {
    color: #aa0000;
  }
  .kc, .kd, .kn, .kp, .kr {
    color: #000000;
    font-weight: bold;
  }
  .kt {
    color: #445588;
    font-weight: bold;
  }
  .k, .kv {
    color: #000000;
    font-weight: bold;
  }
  .mf, .mh, .il, .mi, .mo, .m, .mb, .mx {
    color: #009999;
  }
  .sb, .sc, .sd, .s2, .se, .sh, .si, .sx {
    color: #d14;
  }
  .sr {
    color: #009926;
  }
  .s1 {
    color: #d14;
  }
  .ss {
    color: #990073;
  }
  .s, .sa, .dl {
    color: #d14;
  }
  .na {
    color: #008080;
  }
  .bp {
    color: #999999;
  }
  .nb {
    color: #0086B3;
  }
  .nc {
    color: #445588;
    font-weight: bold;
  }
  .no {
    color: #008080;
  }
  .nd {
    color: #3c5d5d;
    font-weight: bold;
  }
  .ni {
    color: #800080;
  }
  .ne, .nf, .fm, .nl {
    color: #990000;
    font-weight: bold;
  }
  .nn {
    color: #555555;
  }
  .nt {
    color: #000080;
  }
  .vc, .vg, .vi, .nv, .vm {
    color: #008080;
  }
  .ow, .o {
    color: #000000;
    font-weight: bold;
  }
  .w {
    color: #bbbbbb;
  }
  background-color: #f8f8f8;
}