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 10:28:09 Apr 16, 2021 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 22:39:41 Sep 10, 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: 386.6
  exclusion.robots: 0.103
  exclusion.robots.policy: 0.094
  cdx.remote: 0.072
  esindex: 0.011
  LoadShardBlock: 109.497 (3)
  PetaboxLoader3.datanode: 5825.206 (5)
  CDXLines.iter: 34.191 (3)
  load_resource: 5858.308 (2)
  PetaboxLoader3.resolve: 108.895 (2)
*/