/* Pretty printing styles. Used with prettify.js.
*
* This version is slight modified based on the original version.
*
* Name:	Stanley Ng
* Email: stanleyhlng@googlegroups.com
* 
* Reference:
* http://code.google.com/p/google-code-prettify/source/browse/trunk/src/prettify.css
*/
.pln {
color: #000; }
.str {
color: #080; }
.kwd {
color: #008;
font-weight: bold; }
.com {
color: #800;
font-style: italic; }
.typ {
color: #606;
font-weight: bold; }
.lit {
color: #066; }
.pun {
color: #660; }
.opn {
color: #660; }
.clo {
color: #660; }
.tag {
color: #008;
font-weight: bold; }
.atn {
color: #606; }
.atv {
color: #080; }
.dec {
color: #606; }
.var {
color: #606; }
.fun {
color: red; }
/* Put a border around prettyprinted code snippets. */
pre.prettyprint {
padding: 10px;
border: 1px solid #eee; }
/* Specify class=linenums on a pre to get line numbering */
ol.linenums {
margin: 0 0 0 40px; }
ol.linenums li {
color: #BEBEC5;
line-height: 18px;
padding-left: 12px;
text-shadow: 0 1px 0 #FFFFFF; }
li.L0,
li.L1,
li.L2,
li.L3,
li.L5,
li.L6,
li.L7,
li.L8 {
list-style-type: normal; }
/* Alternate shading for lines */
li.L1,
li.L3,
li.L5,
li.L7,
li.L9 {
background: #eee; }

/*
     FILE ARCHIVED ON 06:12:38 Sep 05, 2015 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 08:43:55 Feb 15, 2026.
     JAVASCRIPT APPENDED BY WAYBACK MACHINE, COPYRIGHT INTERNET ARCHIVE.

     ALL OTHER CONTENT MAY ALSO BE PROTECTED BY COPYRIGHT (17 U.S.C.
     SECTION 108(a)(3)).
*/
/*
playback timings (ms):
  captures_list: 1.666
  exclusion.robots: 1.018
  exclusion.robots.policy: 0.06
  esindex: 0.009
  cdx.remote: 40.31
  LoadShardBlock: 73.968 (3)
  PetaboxLoader3.datanode: 149.483 (4)
  load_resource: 259.967
  PetaboxLoader3.resolve: 119.107
*/