.pln {color: #333333;}
.prettyprint{overflow:auto!important;}
@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;}
}
pre.prettyprint {
  background: #F0F0F0; font-family: Menlo, "Bitstream Vera Sans Mono", "DejaVu Sans Mono", Monaco, Consolas, monospace;
  font-size: 12px; line-height: 1.5; border: 1px solid #cccccc; padding: 0;}
ol.linenums {margin-top: 0; margin-bottom: 0; color: #888;}
.linenums li {background: #FAFAFA; padding-left: 10px; border-left: 1px solid #CCC;}
.linenums li {padding-top: 5px;}
.linenums li + li {padding-top: 0;}
.linenums li:last-child {padding-bottom: 5px;}
li.L0, li.L1, li.L2, li.L3, li.L4, li.L5, li.L6, li.L7, li.L8, li.L9 {}
li.L1, li.L3, li.L5, li.L7, li.L9 {}