/* Pretty printing styles. Used with prettify.js. */
	.str { color: #ab033a;  }
	.kwd { color: #000; }
	.com { color: #00803a; }
	.typ { color: #222632; }
	.lit { color: #3a00ff; }
	.pun { color: #666; }
	.pln { color: #44a6c4; }
	.tag { color: #79f; }
	.atn { color: #06f; }
	.atv { color: #060;}
	.dec { color: #c0c;  }
	
	pre.prettyprint { 
		padding: 2px; 
		font-family: Consolas, "Lucida Sans Unicode", monospace; 
		font-size: 0.8em;
		width: 65em;
		overflow: auto;
	}
	
	pre.prettyprint strong {
		font-weight: bold;
		font-size: 1.1em;		
	}



/*
Default colors:
.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; }
*/

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