Fixes to shared navigation

Jacek Gębal · Jacek Gębal · commit b8c2ac02513b · 2026-06-16T00:33:44.000+03:00
diff --git a/docs/assets/topbar.css b/docs/assets/topbar.css
@@ -86,17 +86,9 @@
   top: 2rem !important;
 }
 
-/* Hide drawer hamburger and logo — our topbar has both.
-   Leave the search icon button intact so mobile search still works. */
-.md-header__button:not([for="__search"]) {
-  display: none !important;
-}
-
-/* Move palette toggle off-screen — our topbar handles theme switching */
-.md-header__option {
-  position: absolute !important;
-  left: -9999px !important;
-}
+/* NOTE: .md-header__button and .md-header__option hiding is intentionally
+   NOT here — it is injected by topbar.js only after the topbar is built,
+   so that a JS failure leaves Material's original navigation intact. */
 
 /* ── Org-site only ────────────────────────────────────────────────────────
    The org site sets data-utplsql-site="org" on <html> in its template.
diff --git a/docs/assets/topbar.js b/docs/assets/topbar.js
@@ -115,7 +115,6 @@
     updateThemeIcon();
   }
 
-  /* Updates the active class on nav links based on the current URL. */
   function injectDrawerNav() {
     /* Only needed on mobile — desktop shows links in the topbar itself. */
     if (!window.matchMedia('(max-width: 76.1875em)').matches) return;
@@ -231,12 +230,18 @@
     controls.appendChild(themeBtn);
     bar.appendChild(controls);
 
-    /* Inject back-to-top button offset so it clears the topbar + header.
-       topbar.css covers the org site; this covers sub-sites that only load the JS. */
+    /* Injected only after the topbar is successfully built so that a JS failure
+       leaves Material's original header navigation intact as a fallback. */
     if (!document.getElementById('utplsql-topbar-style')) {
       var style = document.createElement('style');
       style.id = 'utplsql-topbar-style';
-      style.textContent = '.md-top { top: 4.4rem !important; z-index: 11; }';
+      style.textContent =
+        /* Hide Material's hamburger/logo — our topbar has both */
+        '.md-header__button:not([for="__search"]) { display: none !important; }' +
+        /* Move palette toggle off-screen — our topbar handles theme switching */
+        '.md-header__option { position: absolute !important; left: -9999px !important; }' +
+        /* Back-to-top button: clear topbar + header */
+        '.md-top { top: 4.4rem !important; z-index: 11; }';
       document.head.appendChild(style);
     }
 
diff --git a/site-template/overrides/main.html b/site-template/overrides/main.html
@@ -7,6 +7,6 @@
 
 {% block extrahead %}
   {{ super() }}
-  <link rel="stylesheet" href="https://utplsql.org/assets/topbar.css">
-  <script src="https://utplsql.org/assets/topbar.js" defer></script>
+  <link rel="stylesheet" href="https://www.utplsql.org/assets/topbar.css">
+  <script src="https://www.utplsql.org/assets/topbar.js" defer></script>
 {% endblock %}
