pre.line-numbers {
	position: relative;
	padding-left: 3.8em;
	counter-reset: linenumber;
}

pre.line-numbers > code {
	position: relative;
}

.line-numbers .line-numbers-rows {
	position: absolute;
	pointer-events: none;
	top: 0;
	font-size: 100%;
	left: -3.8em;
	width: 3em; /* works for line-numbers below 1000 lines */
	letter-spacing: -1px;
	border-right: 1px solid #999;

	-webkit-user-select: none;
	-moz-user-select: none;
	-ms-user-select: none;
	user-select: none;

}

	.line-numbers-rows > span {
		pointer-events: none;
		display: block;
		counter-increment: linenumber;
	}

		.line-numbers-rows > span:before {
			content: counter(linenumber);
			color: #999;
			display: block;
			padding-right: 0.8em;
			text-align: right;
		}

/*
     FILE ARCHIVED ON 16:55:34 Aug 26, 2020 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 05:14:17 Feb 22, 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: 128.26
  exclusion.robots: 0.122
  exclusion.robots.policy: 0.111
  RedisCDXSource: 0.664
  esindex: 0.009
  LoadShardBlock: 99.198 (3)
  PetaboxLoader3.datanode: 78.138 (4)
  CDXLines.iter: 21.596 (3)
  load_resource: 156.182
  PetaboxLoader3.resolve: 153.657
*/