diff --git a/about.html b/about.html
index b52ac0c..4e522f9 100644
--- a/about.html
+++ b/about.html
@@ -62,7 +62,6 @@
var objDiv=document.getElementById("toc")
function scroll() {
var elem=document.getElementsByClassName("nav-link active")[0]
- alert(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 a779617..f4cc272 100644
--- a/about_us.html
+++ b/about_us.html
@@ -62,7 +62,6 @@
var objDiv=document.getElementById("toc")
function scroll() {
var elem=document.getElementsByClassName("nav-link active")[0]
- alert(elem.textContent)
if (elem != null && last != elem.textContent) {
last=elem.textContent;
objDiv.scrollTop = elem.offsetTop;
diff --git a/content.html b/content.html
index 6b8b198..29e86ed 100644
--- a/content.html
+++ b/content.html
@@ -62,7 +62,6 @@
var objDiv=document.getElementById("toc")
function scroll() {
var elem=document.getElementsByClassName("nav-link active")[0]
- alert(elem.textContent)
if (elem != null && last != elem.textContent) {
last=elem.textContent;
objDiv.scrollTop = elem.offsetTop;
diff --git a/credits.html b/credits.html
index 3c67c4a..d74cb89 100644
--- a/credits.html
+++ b/credits.html
@@ -62,7 +62,6 @@
var objDiv=document.getElementById("toc")
function scroll() {
var elem=document.getElementsByClassName("nav-link active")[0]
- alert(elem.textContent)
if (elem != null && last != elem.textContent) {
last=elem.textContent;
objDiv.scrollTop = elem.offsetTop;
diff --git a/gallery.html b/gallery.html
index 52f6458..72f3050 100644
--- a/gallery.html
+++ b/gallery.html
@@ -62,7 +62,6 @@
var objDiv=document.getElementById("toc")
function scroll() {
var elem=document.getElementsByClassName("nav-link active")[0]
- alert(elem.textContent)
if (elem != null && last != elem.textContent) {
last=elem.textContent;
objDiv.scrollTop = elem.offsetTop;
diff --git a/licensing.html b/licensing.html
index 61d0712..129bbf2 100644
--- a/licensing.html
+++ b/licensing.html
@@ -62,7 +62,6 @@
var objDiv=document.getElementById("toc")
function scroll() {
var elem=document.getElementsByClassName("nav-link active")[0]
- alert(elem.textContent)
if (elem != null && last != elem.textContent) {
last=elem.textContent;
objDiv.scrollTop = elem.offsetTop;
diff --git a/playguide.html b/playguide.html
index e82b084..1d56332 100644
--- a/playguide.html
+++ b/playguide.html
@@ -68,7 +68,6 @@
var objDiv=document.getElementById("toc")
function scroll() {
var elem=document.getElementsByClassName("nav-link active")[0]
- alert(elem.textContent)
if (elem != null && last != elem.textContent) {
last=elem.textContent;
objDiv.scrollTop = elem.offsetTop;
diff --git a/releases.html b/releases.html
index 9ed649c..a21b7a9 100644
--- a/releases.html
+++ b/releases.html
@@ -62,7 +62,6 @@
var objDiv=document.getElementById("toc")
function scroll() {
var elem=document.getElementsByClassName("nav-link active")[0]
- alert(elem.textContent)
if (elem != null && last != elem.textContent) {
last=elem.textContent;
objDiv.scrollTop = elem.offsetTop;
diff --git a/videos.html b/videos.html
index 9b4f557..d60570e 100644
--- a/videos.html
+++ b/videos.html
@@ -62,7 +62,6 @@
var objDiv=document.getElementById("toc")
function scroll() {
var elem=document.getElementsByClassName("nav-link active")[0]
- alert(elem.textContent)
if (elem != null && last != elem.textContent) {
last=elem.textContent;
objDiv.scrollTop = elem.offsetTop;