Merge branch 'patch-1' into 'master'

Update headfoot.js, removed alertdiv

See merge request !39

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);
 }