From e4b53dde442110716047373797453e42ec50f4a3 Mon Sep 17 00:00:00 2001 From: Davide Scaini Date: Wed, 13 May 2026 20:50:04 +0200 Subject: [PATCH] Nav: move Wiki to right-side menu (desktop + hamburger); fix missing element when PUBLIC_WIKI_URL unset in rebuilds --- site/src/layouts/Base.astro | 20 ++++++++++++++++---- 1 file changed, 16 insertions(+), 4 deletions(-) diff --git a/site/src/layouts/Base.astro b/site/src/layouts/Base.astro index 95d83f7..beab0b7 100644 --- a/site/src/layouts/Base.astro +++ b/site/src/layouts/Base.astro @@ -221,10 +221,6 @@ try { Convert )} Segments - {wikiUrl && ( - - )} )} @@ -239,6 +235,15 @@ try { title="" class="hidden sm:flex text-xs px-2 py-0.5 rounded-full bg-amber-900/60 text-amber-300 border border-amber-700/50 animate-pulse cursor-default" > + + {wikiUrl && ( + + )} Segments + {wikiUrl && ( + + )} Ideas @@ -622,6 +632,8 @@ try { if (user.wiki_access) { const wikiEl = document.getElementById('nav-wiki'); if (wikiEl) wikiEl.style.display = ''; + const wikiElM = document.getElementById('nav-wiki-m'); + if (wikiElM) wikiElM.style.display = ''; } // Admin: show admin link and poll for active jobs