diff options
Diffstat (limited to 'ext/mixed')
-rw-r--r-- | ext/mixed/css/display.css | 4 | ||||
-rw-r--r-- | ext/mixed/js/display.js | 7 |
2 files changed, 3 insertions, 8 deletions
diff --git a/ext/mixed/css/display.css b/ext/mixed/css/display.css index 4db17264..b9215af4 100644 --- a/ext/mixed/css/display.css +++ b/ext/mixed/css/display.css @@ -62,10 +62,6 @@ ol, ul { height: 2.28571428em; /* 14px => 32px */ } -#error-orphaned { - display: none; -} - .invisible { visibility: hidden; } diff --git a/ext/mixed/js/display.js b/ext/mixed/js/display.js index efe33ee6..eabb73ca 100644 --- a/ext/mixed/js/display.js +++ b/ext/mixed/js/display.js @@ -456,15 +456,14 @@ class Display { } setContentOrphaned() { - const definitions = document.querySelector('#definitions'); const errorOrphaned = document.querySelector('#error-orphaned'); - if (definitions !== null) { - definitions.style.setProperty('display', 'none', 'important'); + if (this.container !== null) { + this.container.hidden = true; } if (errorOrphaned !== null) { - errorOrphaned.style.setProperty('display', 'block', 'important'); + errorOrphaned.hidden = false; } this.updateNavigation(null, null); |