in themes/tfjs/source/js/api.js [41:72]
function updateTocView() {
var top = window.scrollY;
var found;
var tocFound;
var symbol;
var sTop;
for (var i = 0; i < refSymbols.length; i++) {
symbol = refSymbols[i];
sTop = symbol.offsetTop;
if (sTop >= top) {
found = symbol;
break;
}
}
if (found) {
tocFound =
tocArea.querySelector('[href="#' + found.getAttribute('name') + '"]');
if (tocFound) {
if (lastHighlightedTocElement) {
lastHighlightedTocElement.classList.remove('highlighted');
}
tocFound.classList.add('highlighted');
if (!isInViewport(tocFound)) {
tocFound.scrollIntoView(false);
}
lastHighlightedTocElement = tocFound;
}
}
}