/* For generic page styles. Not for sliders. */



.div1, .div2 {width:1000px;margin:0 auto;}
.div1 {margin-top:30px;margin-bottom:60px;text-align:center;line-height:20px;}
.div1 P {font-size:18px;}
.div1 a, .div2 a {color:#07C; }
.div1 a {margin:0 8px;}
.div1 a.current {color:black; text-decoration:none;}
.div2 {margin-top:70px;}
.div2 li {padding-top:6px;padding-bottom:6px;}
.green {color:Green;}
.cn {font-family: "Courier New", Georgia;}
#status {display:inline-block; margin-left:26px;line-height:50px;height:50px;vertical-align:middle;}

.code
{
    border: dashed 1px #BCBCCB; padding:8px 12px; background-color: #F3F3F9; white-space:pre; font-family:"Courier New", Georgia;
    font-size:12px; margin:6px 0;overflow:auto; 
}
/*
     FILE ARCHIVED ON 21:19:09 Aug 30, 2018 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 16:51:52 Sep 22, 2023.
     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: 353.432
  exclusion.robots: 0.087
  exclusion.robots.policy: 0.076
  cdx.remote: 0.065
  esindex: 0.009
  LoadShardBlock: 325.343 (3)
  PetaboxLoader3.datanode: 135.81 (5)
  load_resource: 1052.933 (2)
  PetaboxLoader3.resolve: 820.567 (2)
*/