Fix unreliable scroll unlock

Again, very dirty code, but the deadline is short. Clean this up in the future.

static/js/nav.js

@@ -11,5 +11,8 @@ function toggle_menu() {
 element_button.addEventListener("click", toggle_menu);
 
 for (i = 0; i < nav_items.length; i++) {
-	nav_items[i].addEventListener("click", toggle_menu);
+	nav_items[i].addEventListener("click", function() {
+		toggle_menu();
+		document.body.classList.remove("noscroll");
+	});
 }