a {
  color: #317efb;
  font-weight: bold;
}

body {
  font-family: "Benton Sans", "Helvetica Neue", helvetica, arial, sans-serif;
  margin: 0.1em;
  max-width: 800px;
  margin-left: auto;
  margin-right: auto;
  padding: 0 1em 0 1em;
}

button {
  padding: 0.5em 1em 0.5em 1em;
  color: white;
  background-color: #317efb;
  border-radius: 3px;
  font-weight: bold;
}

button:disabled {
  background-color: grey;
}

code {
  font-size: 1.2em;
  background-color: lightgrey;
}

ul li {
  list-style-type: disc;
}

.title--image {
  vertical-align: sub;
  height: 1em;
}

.title--link {
  text-decoration: none;
}
/*
     FILE ARCHIVED ON 06:04:48 Aug 03, 2024 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 10:19:22 Feb 03, 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: 0.706
  exclusion.robots: 0.054
  exclusion.robots.policy: 0.041
  esindex: 0.011
  cdx.remote: 24.507
  LoadShardBlock: 574.27 (3)
  PetaboxLoader3.resolve: 471.731 (5)
  PetaboxLoader3.datanode: 381.786 (5)
  load_resource: 299.975 (2)
*/