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

.src
.src
.src
.src
.src .u{color:#088}
.src .x{color:#888}
.src .y{color:#888}
.src .z{color:#080}


.str { color: #088; } /* string  */
.kwd { color: #00a; } /* keyword .k{color:#00f}*/
.com { color: #484; } /* comment */
.typ { color: #606; } /* type    */
.lit { color: #066; } /* literal .c{color:#088}*/
.pun { color: #a02; } /* punct   .b{color:#f00}*/
.pln { color: #000; } /* plain   */
.tag { color: #888; }
.atn { color: #606; }
.atv { color: #080; }
.dec { color: #606; }
pre.prettyprint { padding: 4px; border: 1px inset #db8; }

@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; }
}