3 const source
= document
.getElementsByClassName('prettyprint source linenums');
11 if (source
&& source
[0]) {
12 anchorHash
= document
.location
.hash
.substring(1);
13 lines
= source
[0].getElementsByTagName('li');
14 totalLines
= lines
.length
;
16 for (; i
< totalLines
; i
++) {
18 lineId
= `line${lineNumber}`;
20 if (lineId
=== anchorHash
) {
21 lines
[i
].className
+= ' selected';