From ec08cb32aa880f09d772c8cd869e7e0d2faf194f Mon Sep 17 00:00:00 2001
From: rejas <github@veeck.de>
Date: Sat, 1 Aug 2020 12:31:48 +0200
Subject: [PATCH] Set visibility of header more explicitly

---
 js/main.js | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/js/main.js b/js/main.js
index a02e6496..9d241a07 100644
--- a/js/main.js
+++ b/js/main.js
@@ -42,6 +42,8 @@ var MM = (function () {
 
 			if (typeof module.getHeader() === "undefined" || module.getHeader() !== "") {
 				moduleHeader.style.display = "none;";
+			} else {
+				moduleHeader.style.display = "block;";
 			}
 
 			var moduleContent = document.createElement("div");
@@ -218,7 +220,7 @@ var MM = (function () {
 
 		headerWrapper[0].innerHTML = newHeader;
 		if (headerWrapper.length > 0 && newHeader) {
-			delete headerWrapper[0].style;
+			headerWrapper[0].style.display = "block";
 		} else {
 			headerWrapper[0].style.display = "none";
 		}