/* CSS is how you can add style to your website, such as colors, fonts, and positioning of your
   HTML content. To learn how to do something, just try searching Google for questions like
   "how to change link color." */

/* body {
  background-color: white;
  color: black;
  font-family: Verdana;
} */

blink {
  animation: blinker 0.6s linear infinite;
}
  @keyframes blinker {  
  50% { opacity: 0; }
}
/*
     FILE ARCHIVED ON 22:31:14 Jan 13, 2023 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 18:19:42 Apr 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.379
  exclusion.robots: 0.013
  exclusion.robots.policy: 0.005
  esindex: 0.007
  cdx.remote: 13.592
  LoadShardBlock: 194.067 (3)
  PetaboxLoader3.datanode: 130.977 (4)
  PetaboxLoader3.resolve: 146.582 (2)
  load_resource: 149.207
*/