| /* GitHub Theme */
.prettyprint {
  background: #fff;
  font-family: Menlo, 'Bitstream Vera Sans Mono', 'DejaVu Sans Mono', Monaco, Consolas, monospace;
  font-size: 1.2rem;
  padding: 2.5rem 3rem;
  -webkit-font-smoothing: antialiased; 
}
.pln {
  color: #333333;
}
@media screen {
  .str {
    color: #dd1144;
  }
  .kwd {
    color: #333333;
  }
  .com {
    color: #999988;
  }
  .typ {
    color: #445588;
  }
  .lit {
    color: #445588;
  }
  .pun {
    color: #333333;
  }
  .opn {
    color: #333333;
  }
  .clo {
    color: #333333;
  }
  .tag {
    color: navy;
  }
  .atn {
    color: teal;
  }
  .atv {
    color: #dd1144;
  }
  .dec {
    color: #333333;
  }
  .var {
    color: teal;
  }
  .fun {
    color: #990000;
  }
}
@media print, projection {
  .str {
    color: #006600;
  }
  .kwd {
    color: #006;
    font-weight: bold;
  }
  .com {
    color: #600;
    font-style: italic;
  }
  .typ {
    color: #404;
    font-weight: bold;
  }
  .lit {
    color: #004444;
  }
  .pun, .opn, .clo {
    color: #444400;
  }
  .tag {
    color: #006;
    font-weight: bold;
  }
  .atn {
    color: #440044;
  }
  .atv {
    color: #006600;
  }
}
/* Specify class=linenums on a pre to get line numbering */
ol.linenums {
  margin-top: 0;
  margin-bottom: 0;
}
/* IE indents via margin-left */
li.L0,
li.L1,
li.L2,
li.L3,
li.L4,
li.L5,
li.L6,
li.L7,
li.L8,
li.L9 {
  /* */
}
/* Alternate shading for lines */
li.L1,
li.L3,
li.L5,
li.L7,
li.L9 {
  /* */
}
/* My additional styles */
/*li.L0, li.L1, li.L2, li.L3,
li.L5, li.L6, li.L7, li.L8
{ list-style-type: decimal !important }*/
.prettyprint li {
  margin-bottom: .3rem;
}
 |