Fix display of settings page

2022-10-15 15:59:00 +02:00 · 2022-10-15 15:59:00 +02:00 · e14d2efba3
commit e14d2efba3
parent b15e2c129e
1 changed files with 3 additions and 1 deletions
--- a/src/librustdoc/html/static/js/settings.js
+++ b/src/librustdoc/html/static/js/settings.js
@ -216,7 +216,9 @@
        const innerHTML = `<div class="settings">${buildSettingsPageSections(settings)}</div>`;
        const el = document.createElement(elementKind);
        el.id = "settings";
+        if (!isSettingsPage) {
            el.className = "popover";
+        }
        el.innerHTML = innerHTML;

        if (isSettingsPage) {