Update headfoot.js, removed alertdiv

2dc495e8 · Wolfgang Knopki · 0090a90f · 2dc495e8
Commit 2dc495e8 authored May 19, 2020 by Wolfgang Knopki
--- a/js/headfoot.js
+++ b/js/headfoot.js
@@ -118,7 +118,6 @@ function head() {
    navbarcontainer.appendChild(navelements);
    navbar.appendChild(navbarcontainer)

-    navheader.appendChild(alertdiv);
    navheader.appendChild(navbar);
    prependChild(document.body, navheader);
 }