.holder {
	margin: 15px 0;
}

.holder a {
	font-size: 12px;
	cursor: pointer;
	margin: 0 5px;
}

.holder a.jp-previous { margin-right: 15px; }
.holder a.jp-next { margin-left: 15px; }

.holder a.jp-current, a.jp-current:hover { 
	font-weight: bold;
}

.holder a.jp-current, a.jp-current:hover,
.holder a.jp-disabled, a.jp-disabled:hover {
	cursor: default; 
	background: none;
}

.holder span { margin: 0 5px; }
/*
     FILE ARCHIVED ON 04:33:07 Jan 29, 2024 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 14:01:38 Dec 07, 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.534
  exclusion.robots: 0.024
  exclusion.robots.policy: 0.011
  esindex: 0.012
  cdx.remote: 251.633
  LoadShardBlock: 162.539 (3)
  PetaboxLoader3.datanode: 158.973 (5)
  PetaboxLoader3.resolve: 140.496 (3)
  load_resource: 149.33
  loaddict: 31.019
*/