/**
	Based on Nifty Corners
	These styles allow for rounded corners purely with CSS.  No images and no JS.
*/

span.rtop, span.rbottom {
	display:block;
	background: #D9D9D3
}

span.rtop span, span.rbottom span {
	display:block;
	height: 1px;
	overflow: hidden; 
	background: #D9D9D3;
}

span.r1 {
	margin: 0 5px;
}

span.r2 {
	margin: 0 3px;
}

span.r3 {
	margin: 0 2px;
}

span.rtop span.r4, span.rbottom span.r4 {
	margin: 0 1px;
	height: 2px;
}

#sidebar div.block {
	background: #C9C9C3;
	padding-bottom: 0;	
	margin-bottom: 1.5em;
	
}

div.roundedCorner {
	padding-left: 1em;
}

/* Used to flag already-rounded corners */
div.alreadyRounded {
}


/*
     FILE ARCHIVED ON 14:39:08 Mar 14, 2016 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 20:18:22 Apr 23, 2022.
     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: 88.397
  exclusion.robots: 0.187
  exclusion.robots.policy: 0.18
  RedisCDXSource: 0.875
  esindex: 0.008
  LoadShardBlock: 71.527 (3)
  PetaboxLoader3.datanode: 173.383 (5)
  CDXLines.iter: 13.898 (3)
  load_resource: 271.579 (2)
  PetaboxLoader3.resolve: 90.159 (2)
*/