pre.prettyprint .pln {
  color: #000
}
@media screen {
  pre.prettyprint .str {
    color: #080
  }
  pre.prettyprint .kwd {
    color: #008
  }
  pre.prettyprint .com {
    color: #800
  }
  pre.prettyprint .typ {
    color: #606
  }
  pre.prettyprint .lit {
    color: #066
  }
  pre.prettyprint .pun,
  pre.prettyprint .opn,
  pre.prettyprint .clo {
    color: #660
  }
  pre.prettyprint .tag {
    color: #008
  }
  pre.prettyprint .atn {
    color: #606
  }
  pre.prettyprint .atv {
    color: #080
  }
  pre.prettyprint .dec,
  pre.prettyprint .var {
    color: #606
  }
  pre.prettyprint .fun {
    color: red
  }
}
@media print,
projection {
  pre.prettyprint .str {
    color: #060
  }
  pre.prettyprint .kwd {
    color: #006;
    font-weight: bold
  }
  pre.prettyprint .com {
    color: #600;
    font-style: italic
  }
  pre.prettyprint .typ {
    color: #404;
    font-weight: bold
  }
  pre.prettyprint .lit {
    color: #044
  }
  pre.prettyprint .pun,
  pre.prettyprint .opn,
  pre.prettyprint .clo {
    color: #440
  }
  pre.prettyprint .tag {
    color: #006;
    font-weight: bold
  }
  pre.prettyprint .atn {
    color: #404
  }
  pre.prettyprint .atv {
    color: #060
  }
}
pre.prettyprint {
  padding: 20px;
  border: 1px solid #EEE;
  border-radius: 4px;
}
ol.linenums {
  margin-top: 0;
  margin-bottom: 0;
  margin-left: 15px;
  color: #999;
}
ol.linenums li {
  padding: 0px 10px;
  border-left: 3px solid #F9F9F9;
}
@media screen and (max-width:709px) {
  ol.linenums {
    margin-left: 35px;
  }
}
/* li.L0,
li.L1,
li.L2,
li.L3,
li.L5,
li.L6,
li.L7,
li.L8 {
  list-style-type: none
}
li.L1,
li.L3,
li.L5,
li.L7,
li.L9 {
  background: #eee
} */