div.navigation {
	display:block;
	margin:10px 0 0 0;
	border-bottom:2px solid #13BE5F !important;
}

div.navigation ol {
	margin:0;
	padding:0;
	list-style:none;
}

div.navigation ol li {
	float:left;
	padding:0 3px 0 3px;
}

div.navigation ol li a {
	color:#13BE5F;
	font-weight:bold;
	font-size:12px;
	padding:6px 5px 5px 5px;
	display:block;
	text-decoration:none;
}

div.navigation ol li span.current {
	background:#eee;
	color:#000;
	display:block;
	font-size:12px;
	font-weight:bold;
	padding:6px 10px;
	border-bottom:2px solid #13BE5F;
}

div.navigation ol li span.title {
	color:#ccc;
	font-size:12px;
	font-weight:bold;
	padding:6px 10px 0 10px;
	display:block;
}
/*
     FILE ARCHIVED ON 08:03:48 Jan 04, 2011 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 21:14:53 Mar 16, 2021.
     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):
  RedisCDXSource: 9.637
  esindex: 0.022
  CDXLines.iter: 29.737 (3)
  PetaboxLoader3.resolve: 43.467
  LoadShardBlock: 505.162 (3)
  PetaboxLoader3.datanode: 614.966 (4)
  captures_list: 774.674
  exclusion.robots.policy: 0.35
  exclusion.robots: 0.365
  load_resource: 216.012
*/