diff --git a/support/web/css/default.scss b/support/web/css/default.scss
index 8753a8d2f..46d362b29 100644
--- a/support/web/css/default.scss
+++ b/support/web/css/default.scss
@@ -337,6 +337,18 @@ article {
     flex-direction: row;
     justify-content: space-between;
     align-items: center;
+    margin-bottom: var(--parskip);
+
+    #article-nav-left {
+      display: flex;
+      gap: 16px;
+
+      #narrow-search-btn {
+        background-color: transparent;
+        border: none;
+        font-size: 24px;
+      }
+    }
   }
 
   > p {
diff --git a/support/web/js/prompt.tsx b/support/web/js/prompt.tsx
index 89eadbfe5..52d88c6ee 100644
--- a/support/web/js/prompt.tsx
+++ b/support/web/js/prompt.tsx
@@ -351,10 +351,9 @@ document.addEventListener("DOMContentLoaded", () => {
     }
   });
 
-  const searchInputProxy = document.getElementById("search-box-proxy") as HTMLInputElement | null;
-  if (searchInputProxy) {
-    searchInputProxy.addEventListener("focus", () => startSearch());
-  }
+  document.getElementById("search-box-proxy")?.addEventListener("focus", () => startSearch())
+  document.getElementById("narrow-search-btn")?.addEventListener("click", () => startSearch())
+
 
   document.addEventListener("keydown", e => {
     if (e.key == "k" && isShortcut(e)) {
diff --git a/support/web/template.html b/support/web/template.html
index b526f3fc8..c4ba46f36 100644
--- a/support/web/template.html
+++ b/support/web/template.html
@@ -50,6 +50,10 @@
       body span.reasoning-step .alternate {
         display: none;
       }
+
+      .js-only {
+        display: none !important;
+      }
     </style>
   </noscript>
 
@@ -93,7 +97,7 @@ <h3 class="Agda" style="margin-top: 0; margin-bottom: 0; white-space: pre;">
           $endif$
 
           <!-- Navbar navigation (lol) -->
-          <div class="search-form search-form-proxy mathpar" role="form">
+          <div class="search-form search-form-proxy mathpar js-only" role="form">
             <input id="search-box-proxy" type_="text" placeholder="Search..." autocomplete="off" tabindex="0" />
           </div>
 
@@ -117,13 +121,13 @@ <h3 class="Agda" style="margin-top: 0; margin-bottom: 0; white-space: pre;">
       <article>
         <!-- Article navigation (narrow screens only) -->
         <div class="narrow-only" id="article-nav">
-          <!-- Index return anchor (only if the page is not the index) -->
-          $if(is-index)$
-          $else$
-          <div id=return>
-            <a href="$base-url$/">back to index</a>
+          <div id="article-nav-left">
+            <a id=logo href="$base-url$/">
+              <img alt="1Lab" src="$base-url$/static/cube-72x.png" style="display: block; margin-bottom: 1em; margin: auto;"
+                width="32px" height="32px" />
+            </a>
+            <button id="narrow-search-btn" class="js-only">🔍</button>
           </div>
-          $endif$
 
           <!-- Navbar equations control -->
           <span class="equations" style="display: flex; gap: 0.25em; flex-wrap: nowrap;">