From 377e42affc51ff01cff770b04bc87a203c5b9ea3 Mon Sep 17 00:00:00 2001 From: Stephan Huber Date: Fri, 10 Jul 2020 23:12:17 +0200 Subject: [PATCH] fix display style for older browsers --- js/main.js | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/js/main.js b/js/main.js index dc1667af..cbf2566f 100644 --- a/js/main.js +++ b/js/main.js @@ -42,7 +42,7 @@ var MM = (function () { dom.appendChild(moduleHeader); if (typeof module.getHeader() === "undefined" || module.getHeader() !== "") { - moduleHeader.style = "display: none;"; + moduleHeader.style.display = "none;"; } var moduleContent = document.createElement("div"); @@ -216,7 +216,11 @@ var MM = (function () { contentWrapper[0].appendChild(newContent); headerWrapper[0].innerHTML = newHeader; - headerWrapper[0].style = headerWrapper.length > 0 && newHeader ? undefined : "display: none;"; + if (headerWrapper.length > 0 && newHeader) { + delete headerWrapper[0].style; + } else { + headerWrapper[0].style.display = "none"; + } }; /* hideModule(module, speed, callback)