pre>code {
    background-color: #f7f7f7;
    display: block;
    padding: 1em;
    font-weight: normal;
    color: #333;
}

code {
    color: #333;
    background-color: #f3f3f3;
    padding: 0px;
    padding-bottom: 2.37px;
    border-radius: 3px;
}
/*
     FILE ARCHIVED ON 19:39:19 May 27, 2025 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 04:17:01 Oct 02, 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):
  capture_cache.get: 0.937
  captures_list: 0.496
  exclusion.robots: 0.056
  exclusion.robots.policy: 0.047
  esindex: 0.007
  cdx.remote: 6.008
  LoadShardBlock: 222.149 (3)
  PetaboxLoader3.resolve: 347.514 (3)
  PetaboxLoader3.datanode: 238.831 (5)
  load_resource: 403.133
  loaddict: 107.405
*/