#backtotop {
  background: #f7f7f7;
  border: 1px solid #cccccc;
  border-radius: 10px;
  bottom: 20px;
  color: #333333;
  cursor: pointer;
  display: none;
  width: max-content;
  padding: 10px 15px;
  position: fixed;
  right: 20px;
  text-align: center;
  z-index: 10;
}

#backtotop:hover {
  background: #eeeeee;
}

#backtotop:focus {
  opacity: 0.6;
  outline: none;
}

/*
     FILE ARCHIVED ON 05:06:50 Jul 24, 2024 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 04:07:26 Oct 02, 2025.
     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.54
  exclusion.robots: 0.018
  exclusion.robots.policy: 0.008
  esindex: 0.01
  cdx.remote: 34.399
  LoadShardBlock: 45.75 (3)
  PetaboxLoader3.datanode: 98.957 (5)
  load_resource: 136.609
  PetaboxLoader3.resolve: 73.937
  loaddict: 24.484
*/