/*! Color themes for Google Code Prettify | MIT License | github.com/jmblog/color-themes-for-google-code-prettify */
.prettyprint {
  font-family: Menlo, Bitstream Vera Sans Mono, DejaVu Sans Mono, Monaco,
    Consolas, monospace;
  border: 0 !important;
}
.pln {
  color: #333;
}
ol.linenums {
  margin-top: 0;
  margin-bottom: 0;
  color: #ccc;
}
li.L0,
li.L1,
li.L2,
li.L3,
li.L4,
li.L5,
li.L6,
li.L7,
li.L8,
li.L9 {
  padding-left: 1em;
  background-color: #fafbfc;
  list-style-type: decimal;
}

.str {
  color: #183691;
}
.kwd {
  color: #a71d5d;
}
.com {
  color: #969896;
}
.typ {
  color: #0086b3;
}
.lit {
  color: #0086b3;
}
.pun {
  color: #333;
}
.opn {
  color: #333;
}
.clo {
  color: #333;
}
.tag {
  color: navy;
}
.atn {
  color: #795da3;
}
.atv {
  color: #183691;
}
.dec {
  color: #333;
}
.var {
  color: teal;
}
.fun {
  color: #900;
}