diff --git a/docs/index.html b/docs/index.html
index 81853e7cc832cc3d7cc3d855ab6f97848400b0e0..ceff19a326c507900bc973b16a8f9d6476b78ab0 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -196,6 +196,7 @@
content.removeChild( navigation );
}
+
// Create the navigation panel using data from list.js