/* Pretty printing styles. Used with prettify.js. */



.str { color: #080; }

.kwd { color: #008; }

.com { color: #999; }

.typ { color: #606; }

.lit { color: #066; }

.pun { color: #660; }

.pln { color: #000; }

.tag { color: #008; }

.atn { color: #606; }

.atv { color: #080; }

.dec { color: #606; }

pre.prettyprint { padding: 10px; border: 1px dashed black; overflow: auto}
pre.pretty-title { padding: inherit; border: 0; overflow: visible;}
pre.prettyprint.scrollcode { padding: 10px; border: 1px dashed black; height: 200px; overflow: auto;}



@media print {

  .str { color: #060; }

  .kwd { color: #006; font-weight: bold; }

  .com { color: #600; font-style: italic; }

  .typ { color: #404; font-weight: bold; }

  .lit { color: #044; }

  .pun { color: #440; }

  .pln { color: #000; }

  .tag { color: #006; font-weight: bold; }

  .atn { color: #404; }

  .atv { color: #060; }

}