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



.str { color: #080; }

.kwd { color: #008; }

.com { color: #800; }

.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: 2px; border: 1px solid #888 }*/

pre.prettyprint {

	padding: 2px;

	border: 1px dashed #888;

/*	margin-left: 30px;

	margin-right: 10px;

	background-color: #f0f0f0;*/

	overflow: auto;

}



/* Specify class=linenums on a pre to get line numbering */

ol.linenums { margin-top: 0; margin-bottom: 0 } /* IE indents via margin-left */

li.L0,

li.L1,

li.L2,

li.L3,

li.L5,

li.L6,

li.L7,

li.L8 { list-style-type: none }

/* Alternate shading for lines */

li.L1,

li.L3,

li.L5,

li.L7,

li.L9 { background: #eee }



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

}

