in source/_static/js/custom.js [9:17]
function fixNavLinks() {
const navItems = document.getElementsByClassName("navbar-nav")[0].getElementsByClassName("nav-item");
for (let i = 0; i < navItems.length; i++) {
const navLink = getNavLinkOrNull(navItems[i]);
if (navLink === null) continue;
navLink.classList.remove("nav-external");
navLink.classList.add("nav-internal");
}
}