.nav_up{
	padding:2px;
	position:fixed;
	width:32px;
	height:32px;
	bottom:20px;
	opacity:0.7;
	right:30px;
	cursor: pointer;
	}
.nav_down{
	padding:2px;
	position:fixed;
	width:32px;
	height:32px;
	bottom:20px;
	opacity:0.7;
	right:66px;
	cursor: pointer;
	}
/*
     FILE ARCHIVED ON 10:39:00 Jun 23, 2019 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 12:34:14 Jul 10, 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.595
  exclusion.robots: 0.066
  exclusion.robots.policy: 0.053
  esindex: 0.007
  cdx.remote: 9.521
  LoadShardBlock: 113.209 (3)
  PetaboxLoader3.datanode: 89.677 (4)
  PetaboxLoader3.resolve: 74.738 (2)
  load_resource: 57.329
*/