/* Update styles */
#update-results {
  margin-top: 3em;
  padding: 0.25em;
  border: 1px solid #ccc;
  background: #eee;
  font-size: smaller;
}
#update-results h2 {
  margin-top: 0.25em;
}
#update-results h4 {
  margin-bottom: 0.25em;
}
#update-results li.none {
  color: #888;
  font-style: italic;
}
#update-results li.failure strong {
  color: #b63300;
}

/*
     FILE ARCHIVED ON 19:14:56 Mar 07, 2012 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 02:49:46 Nov 26, 2021.
     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: 156.886
  exclusion.robots: 0.073
  exclusion.robots.policy: 0.067
  RedisCDXSource: 0.466
  esindex: 0.006
  LoadShardBlock: 140.31 (3)
  PetaboxLoader3.datanode: 159.166 (4)
  CDXLines.iter: 14.174 (3)
  load_resource: 93.159
  PetaboxLoader3.resolve: 61.652
*/