1234567891011121314151617181920212223242526
/*global document */(() => {    const source = document.getElementsByClassName('prettyprint source linenums');    let i = 0;    let lineNumber = 0;    let lineId;    let lines;    let totalLines;    let anchorHash;
    if (source && source[0]) {        anchorHash = document.location.hash.substring(1);        lines = source[0].getElementsByTagName('li');        totalLines = lines.length;
        for (; i < totalLines; i++) {            lineNumber++;            lineId = `line${lineNumber}`;            lines[i].id = lineId;            if (lineId === anchorHash) {                lines[i].className += ' selected';            }        }    }})();