diff --git a/about.html b/about.html index 4e522f9..85523d1 100644 --- a/about.html +++ b/about.html @@ -62,6 +62,7 @@ var objDiv=document.getElementById("toc") function scroll() { var elem=document.getElementsByClassName("nav-link active")[0] + console.log(elem.textContent) if (elem != null && last != elem.textContent) { last=elem.textContent; objDiv.scrollTop = elem.offsetTop; diff --git a/about_us.html b/about_us.html index f4cc272..9db2f28 100644 --- a/about_us.html +++ b/about_us.html @@ -62,6 +62,7 @@ var objDiv=document.getElementById("toc") function scroll() { var elem=document.getElementsByClassName("nav-link active")[0] + console.log(elem.textContent) if (elem != null && last != elem.textContent) { last=elem.textContent; objDiv.scrollTop = elem.offsetTop; diff --git a/content.html b/content.html index 29e86ed..38566f5 100644 --- a/content.html +++ b/content.html @@ -62,6 +62,7 @@ var objDiv=document.getElementById("toc") function scroll() { var elem=document.getElementsByClassName("nav-link active")[0] + console.log(elem.textContent) if (elem != null && last != elem.textContent) { last=elem.textContent; objDiv.scrollTop = elem.offsetTop; diff --git a/credits.html b/credits.html index d74cb89..756c42c 100644 --- a/credits.html +++ b/credits.html @@ -62,6 +62,7 @@ var objDiv=document.getElementById("toc") function scroll() { var elem=document.getElementsByClassName("nav-link active")[0] + console.log(elem.textContent) if (elem != null && last != elem.textContent) { last=elem.textContent; objDiv.scrollTop = elem.offsetTop; diff --git a/gallery.html b/gallery.html index 72f3050..2b3b9e4 100644 --- a/gallery.html +++ b/gallery.html @@ -62,6 +62,7 @@ var objDiv=document.getElementById("toc") function scroll() { var elem=document.getElementsByClassName("nav-link active")[0] + console.log(elem.textContent) if (elem != null && last != elem.textContent) { last=elem.textContent; objDiv.scrollTop = elem.offsetTop; diff --git a/licensing.html b/licensing.html index 129bbf2..cbd1fe7 100644 --- a/licensing.html +++ b/licensing.html @@ -62,6 +62,7 @@ var objDiv=document.getElementById("toc") function scroll() { var elem=document.getElementsByClassName("nav-link active")[0] + console.log(elem.textContent) if (elem != null && last != elem.textContent) { last=elem.textContent; objDiv.scrollTop = elem.offsetTop; diff --git a/playguide.html b/playguide.html index 1d56332..015eb6c 100644 --- a/playguide.html +++ b/playguide.html @@ -68,6 +68,7 @@ var objDiv=document.getElementById("toc") function scroll() { var elem=document.getElementsByClassName("nav-link active")[0] + console.log(elem.textContent) if (elem != null && last != elem.textContent) { last=elem.textContent; objDiv.scrollTop = elem.offsetTop; diff --git a/releases.html b/releases.html index a21b7a9..5bf99c4 100644 --- a/releases.html +++ b/releases.html @@ -62,6 +62,7 @@ var objDiv=document.getElementById("toc") function scroll() { var elem=document.getElementsByClassName("nav-link active")[0] + console.log(elem.textContent) if (elem != null && last != elem.textContent) { last=elem.textContent; objDiv.scrollTop = elem.offsetTop; diff --git a/videos.html b/videos.html index d60570e..3171b41 100644 --- a/videos.html +++ b/videos.html @@ -62,6 +62,7 @@ var objDiv=document.getElementById("toc") function scroll() { var elem=document.getElementsByClassName("nav-link active")[0] + console.log(elem.textContent) if (elem != null && last != elem.textContent) { last=elem.textContent; objDiv.scrollTop = elem.offsetTop;