(function(){
    function hl(){var h=location.hash;if(h&&h.match(/^#L\d+$/)){
        document.querySelectorAll('.git-file-content tr.highlighted').forEach(function(r){r.classList.remove('highlighted')});
        var el=document.getElementById(h.slice(1));if(el)el.classList.add('highlighted');
    }}
    window.addEventListener('hashchange',hl);hl();
})();