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';