docs: persistent repo link, nav cleanup, pager + highlight fixes

- Add a persistent 'GitHub repo' link in the sidebar header, tucked under
  the logo above the divider, on every page
- Move 'What's in the repo' back under Get started with its sibling sections
- Fix sidebar active state so the current section reads as a location, not a
  stuck hover (Introduction no longer stays highlighted on scroll)
- Rewrite the prev/next pager: page-level only, order + labels matched to the
  sidebar nav (fixes Audit showing Patterns / Accessibility check)

Author: LinzLos

docs/docs.css

@@ -32,7 +32,6 @@ body {
    always visible without scrolling the sidebar. */
 .docs-logo-row {
   display: flex; align-items: stretch;
-  border-bottom: 1px solid var(--border-light);
 }
 .docs-logo-row .docs-logo {
   border-bottom: 0;
@@ -68,6 +67,18 @@ body {
   font-family: var(--font-mono);
 }
 
+/* persistent repo link — tucked under the logo, above the header divider,
+   left-aligned with the logo mark and the nav labels */
+.docs-repo-link {
+  display: flex; align-items: center; gap: var(--space-4);
+  padding: 0 var(--space-20) var(--space-16);
+  border-bottom: 1px solid var(--border-light);
+  font-size: var(--text-md); color: var(--text-secondary); line-height: 1.4;
+  transition: color var(--duration-fast);
+}
+.docs-repo-link:hover { color: var(--brand); }
+.docs-repo-link:focus-visible { outline: none; box-shadow: var(--shadow-focus); border-radius: var(--radius-xs); }
+
 .docs-nav { padding: var(--space-12) 0 var(--space-32); flex: 1; }
 .docs-nav-group { padding: var(--space-12) var(--space-12); }
 .docs-nav-group + .docs-nav-group { border-top: 1px solid var(--border-light); }

docs/docs.js

@@ -29,6 +29,8 @@
     <button class="theme-toggle-icon" data-theme-toggle onclick="toggleTheme()" aria-label="Toggle theme" title="Toggle theme"></button>
   </div>
 
+  <a class="docs-repo-link" href="https://github.com/LinzLos/tiny-wire" target="_blank" rel="noopener">GitHub repo ↗</a>
+
   <nav class="docs-nav">
     <div class="docs-nav-group">
       <a class="docs-nav-group-label" href="index.html">Get started</a>
@@ -96,11 +98,6 @@
       <a class="docs-nav-link" href="patterns.html#login">Login</a>
       <a class="docs-nav-link" href="patterns.html#settings">Settings</a>
     </div>
-
-    <div class="docs-nav-group">
-      <a class="docs-nav-group-label" href="https://github.com/LinzLos/tiny-wire" target="_blank" rel="noopener">Source</a>
-      <a class="docs-nav-link" href="https://github.com/LinzLos/tiny-wire" target="_blank" rel="noopener">GitHub repo ↗</a>
-    </div>
   </nav>
 
   <div class="docs-theme-toggle">
@@ -172,6 +169,8 @@
   function setupActiveLinks() {
     const page = location.pathname.split('/').pop() || 'index.html';
     const links = [...document.querySelectorAll(`.docs-nav-link[href*="${page}#"], .docs-nav-link[href^="#"]`)];
+    // the bare current-page link (e.g. Introduction) is the "top of page" sentinel
+    const topLink = document.querySelector(`.docs-nav-link[href="${page}"]`);
     const sections = [];
     links.forEach(l => {
       const hash = l.getAttribute('href').split('#')[1];
@@ -188,9 +187,12 @@
         if (el.offsetTop <= y) cur = el.id;
       });
       links.forEach(l => l.classList.remove('active'));
+      if (topLink) topLink.classList.remove('active');
       if (cur) {
         const target = sections.find(s => s.el.id === cur);
         if (target) target.link.classList.add('active');
+      } else if (topLink) {
+        topLink.classList.add('active');
       }
     }
     window.addEventListener('scroll', update, { passive: true });
@@ -458,13 +460,17 @@
   function setupPageNav() {
     const main = document.querySelector('.docs-main');
     if (!main) return;
+    // PAGES = the docs pages in nav order — ONE stop per page. The pager is a
+    // page-level device: it moves page → page only. In-page sections (e.g.
+    // "What's in the repo", a section of index) are reached via the sidebar and
+    // the on-page TOC, never the pager. Order MUST mirror the sidebar's page order.
     const PAGES = [
-      { file: 'index.html', title: 'Introduction' },
+      { file: 'index.html',       title: 'Introduction' },
+      { file: 'audit.html',       title: 'Audit & changelog' },
+      { file: 'a11y.html',        title: 'A11y check' },
       { file: 'foundations.html', title: 'Foundations' },
-      { file: 'components.html', title: 'Components' },
-      { file: 'patterns.html', title: 'Patterns' },
-      { file: 'audit.html', title: 'Audit & changelog' },
-      { file: 'a11y.html', title: 'Accessibility check' },
+      { file: 'components.html',  title: 'Components' },
+      { file: 'patterns.html',    title: 'Patterns' },
     ];
     const here = (location.pathname.split('/').pop() || 'index.html');
     const i = PAGES.findIndex(p => p.file === here);