diff --git a/docs/html/1-name.html b/docs/html/1-name.html
index 4712317..593dd7e 100644
--- a/docs/html/1-name.html
+++ b/docs/html/1-name.html
@@ -168,21 +168,26 @@
     .display.math{display: block; text-align: center; margin: 0.5rem auto;}
   </style>
   <style>
-  /* Catppuccin Latte (light) / Mocha (dark) — auto via prefers-color-scheme */
+  /* ── Catppuccin Latte (light) / Mocha (dark) ─────────────────── */
   :root {
+    color-scheme: light dark;
     --bg:       #eff1f5;
     --surface:  #e6e9ef;
     --overlay:  #ccd0da;
     --text:     #4c4f69;
-    --subtext:  #6c6f85;
+    --sub1:     #6c6f85;
+    --sub0:     #8c8fa1;
     --blue:     #1e66f5;
     --lavender: #7287fd;
+    --sapphire: #209fb5;
     --green:    #40a02b;
-    --red:      #d20f39;
     --yellow:   #df8e1d;
     --peach:    #fe640b;
+    --mauve:    #8839ef;
     --code-bg:  #dce0e8;
     --border:   #bcc0cc;
+    --glow1:    rgba(30, 102, 245, 0.05);
+    --glow2:    rgba(136, 57, 239, 0.04);
   }
 
   @media (prefers-color-scheme: dark) {
@@ -191,47 +196,96 @@
       --surface:  #313244;
       --overlay:  #45475a;
       --text:     #cdd6f4;
-      --subtext:  #a6adc8;
+      --sub1:     #bac2de;
+      --sub0:     #a6adc8;
       --blue:     #89b4fa;
       --lavender: #b4befe;
+      --sapphire: #74c7ec;
       --green:    #a6e3a1;
-      --red:      #f38ba8;
       --yellow:   #f9e2af;
       --peach:    #fab387;
+      --mauve:    #cba6f7;
       --code-bg:  #181825;
       --border:   #45475a;
+      --glow1:    rgba(137, 180, 250, 0.06);
+      --glow2:    rgba(203, 166, 247, 0.05);
     }
   }
 
   *, *::before, *::after { box-sizing: border-box; }
 
-  body {
+  html {
     background-color: var(--bg);
+    background-image:
+      radial-gradient(ellipse 55% 40% at 10% 5%,  var(--glow1) 0%, transparent 100%),
+      radial-gradient(ellipse 45% 45% at 90% 95%, var(--glow2) 0%, transparent 100%);
+    min-height: 100%;
+  }
+
+  body {
     color: var(--text);
-    font-family: system-ui, -apple-system, "Segoe UI", sans-serif;
+    font-family: system-ui, -apple-system, "Segoe UI", Helvetica, sans-serif;
     font-size: 16px;
-    line-height: 1.7;
-    max-width: 900px;
+    line-height: 1.75;
+    max-width: 880px;
     margin: 0 auto;
-    padding: 1.5rem 2rem 4rem;
+    padding: 2rem 2.5rem 5rem;
+    min-height: 100vh;
   }
 
-  a            { color: var(--blue); text-decoration: none; }
-  a:hover      { color: var(--lavender); text-decoration: underline; }
-  a:visited    { color: var(--lavender); }
+  /* ── Links ─────────────────────────────────────────────────── */
+  a         { color: var(--blue); text-decoration: none; }
+  a:hover   { color: var(--lavender); text-decoration: underline; }
+  a:visited { color: var(--lavender); }
 
+  /* ── Headings ──────────────────────────────────────────────── */
   h1, h2, h3, h4, h5, h6 {
+    font-family: "JetBrains Mono", "Fira Code", ui-monospace, monospace;
     color: var(--lavender);
-    margin-top: 1.8em;
-    margin-bottom: 0.4em;
     line-height: 1.3;
+    margin-top: 2em;
+    margin-bottom: 0.5em;
   }
-  h1 { font-size: 2em;   border-bottom: 2px solid var(--border); padding-bottom: 0.3em; }
-  h2 { font-size: 1.5em; border-bottom: 1px solid var(--border); padding-bottom: 0.2em; }
-  h3 { font-size: 1.2em; }
+  h1 {
+    font-size: 1.9rem;
+    color: var(--text);
+    border-bottom: 1px solid var(--border);
+    padding-bottom: 0.4em;
+    margin-top: 1.2em;
+  }
+  h2 {
+    font-size: 1.35rem;
+    border-bottom: 1px solid var(--border);
+    padding-bottom: 0.2em;
+  }
+  h3 { font-size: 1.1rem;  color: var(--sapphire); }
+  h4 { font-size: 0.95rem; color: var(--sub1); }
 
-  p  { margin: 0.75em 0; }
+  p { margin: 0.8em 0; }
 
+  /* ── Title block (pandoc-generated cover) ──────────────────── */
+  #title-block-header {
+    text-align: center;
+    padding: 2.5rem 0 2rem;
+    margin-bottom: 1.5rem;
+    border-bottom: 1px solid var(--border);
+  }
+  #title-block-header .title {
+    font-family: "JetBrains Mono", "Fira Code", ui-monospace, monospace;
+    font-size: 2.6rem;
+    letter-spacing: 0.12em;
+    color: var(--lavender);
+    border: none;
+    margin: 0 0 0.75rem;
+  }
+  #title-block-header .author,
+  #title-block-header .date {
+    color: var(--sub0);
+    font-size: 0.875rem;
+    margin: 0.2rem 0;
+  }
+
+  /* ── Inline code ───────────────────────────────────────────── */
   code {
     font-family: "JetBrains Mono", "Fira Code", ui-monospace, monospace;
     background: var(--code-bg);
@@ -241,86 +295,148 @@
     font-size: 0.875em;
   }
 
+  /* ── Code blocks ───────────────────────────────────────────── */
   pre {
     background: var(--code-bg);
     border: 1px solid var(--border);
-    border-radius: 8px;
-    padding: 1em 1.25em;
+    border-left: 3px solid var(--sapphire);
+    border-radius: 0 8px 8px 0;
+    padding: 1.1em 1.4em;
     overflow-x: auto;
-    line-height: 1.5;
+    line-height: 1.55;
+    margin: 1.2em 0;
   }
   pre code {
     background: none;
     color: var(--text);
     padding: 0;
-    font-size: 0.9em;
+    font-size: 0.88em;
   }
 
+  /* ── Blockquotes ───────────────────────────────────────────── */
   blockquote {
-    border-left: 3px solid var(--blue);
-    margin: 1.2em 0;
-    padding: 0.6em 1.2em;
+    border-left: 3px solid var(--yellow);
+    margin: 1.5em 0;
+    padding: 0.75em 1.25em;
     background: var(--surface);
-    color: var(--subtext);
+    color: var(--sub1);
     border-radius: 0 6px 6px 0;
   }
-  blockquote p { margin: 0; }
+  blockquote p { margin: 0.3em 0; }
 
+  /* ── Tables ────────────────────────────────────────────────── */
   table {
     border-collapse: collapse;
     width: 100%;
-    margin: 1.2em 0;
-    font-size: 0.95em;
+    margin: 1.4em 0;
+    font-size: 0.93em;
   }
   th, td {
     border: 1px solid var(--border);
-    padding: 0.5em 0.85em;
+    padding: 0.55em 0.9em;
     text-align: left;
   }
-  th { background: var(--surface); color: var(--lavender); font-weight: 600; }
+  th {
+    background: var(--surface);
+    color: var(--lavender);
+    font-weight: 600;
+    font-family: "JetBrains Mono", "Fira Code", ui-monospace, monospace;
+    font-size: 0.82em;
+    letter-spacing: 0.06em;
+    text-transform: uppercase;
+  }
   tr:nth-child(even) { background: var(--surface); }
-  tr:hover           { background: var(--overlay); }
+  tr:hover { background: var(--overlay); }
 
-  hr { border: none; border-top: 1px solid var(--border); margin: 2em 0; }
+  /* ── HR ────────────────────────────────────────────────────── */
+  hr { border: none; border-top: 1px solid var(--border); margin: 2.5em 0; }
 
-  ul, ol { padding-left: 1.5em; }
-  li { margin: 0.3em 0; }
+  /* ── Lists ─────────────────────────────────────────────────── */
+  ul, ol { padding-left: 1.6em; }
+  li { margin: 0.35em 0; }
 
-  /* ── Chunk navigation (prev / up / next) ──────────────────────── */
-  nav {
+  /* ── Chunk navigation bar (prev / up / next) ───────────────── */
+  nav:not(#TOC):not([role="doc-toc"]) {
     display: flex;
-    align-items: center;
-    gap: 0.75em;
+    align-items: stretch;
     background: var(--surface);
     border: 1px solid var(--border);
     border-radius: 8px;
-    padding: 0.6em 1em;
     margin: 1.5em 0;
-    font-size: 0.9em;
-    flex-wrap: wrap;
+    font-size: 0.875em;
+    overflow: hidden;
   }
-  nav a {
+  nav:not(#TOC):not([role="doc-toc"]) p {
+    margin: 0;
+    padding: 0.65em 1.2em;
+    display: flex;
+    gap: 1.75em;
+    flex-wrap: wrap;
+    align-items: center;
+    width: 100%;
+  }
+  nav:not(#TOC):not([role="doc-toc"]) a {
     color: var(--blue);
     white-space: nowrap;
   }
-  nav a:hover { color: var(--lavender); }
+  nav:not(#TOC):not([role="doc-toc"]) a:hover { color: var(--lavender); }
 
-  /* ── Table of contents (index page) ──────────────────────────── */
-  nav#toc, nav[role="doc-toc"] {
+  /* ── Table of contents panel ───────────────────────────────── */
+  nav#TOC, nav[role="doc-toc"] {
     display: block;
     background: var(--surface);
     border: 1px solid var(--border);
-    border-radius: 8px;
-    padding: 1em 1.5em;
+    border-left: 3px solid var(--lavender);
+    border-radius: 0 8px 8px 0;
+    padding: 1.2em 1.5em;
+    margin: 1.5em 0;
   }
-  nav#toc ul, nav[role="doc-toc"] ul {
-    padding-left: 1.2em;
-    margin: 0.4em 0;
+  nav#TOC > h2,
+  nav[role="doc-toc"] > h2 {
+    font-size: 0.7rem;
+    letter-spacing: 0.14em;
+    text-transform: uppercase;
+    color: var(--sub0);
+    border: none;
+    margin: 0 0 0.9em;
+    padding: 0;
   }
-  nav#toc li, nav[role="doc-toc"] li {
-    margin: 0.2em 0;
+  nav#TOC ul, nav[role="doc-toc"] ul {
+    list-style: none;
+    padding-left: 1em;
+    margin: 0.25em 0;
+  }
+  nav#TOC > ul, nav[role="doc-toc"] > ul { padding-left: 0; }
+  nav#TOC li, nav[role="doc-toc"] li {
+    margin: 0.3em 0;
+    padding-left: 0.75em;
+    border-left: 1px solid transparent;
+    transition: border-color 0.12s;
+  }
+  nav#TOC li:hover, nav[role="doc-toc"] li:hover {
+    border-left-color: var(--lavender);
+  }
+  nav#TOC a, nav[role="doc-toc"] a {
+    color: var(--sub1);
+    font-size: 0.9em;
+  }
+  nav#TOC a:hover, nav[role="doc-toc"] a:hover {
+    color: var(--lavender);
+    text-decoration: none;
   }
   </style>
+  <script>
+  /* Hide the ToC on every page except index.html */
+  document.addEventListener('DOMContentLoaded', function () {
+    var p = location.pathname;
+    var onIndex = p === '/' || p === '' || /\/index\.html(\?.*)?$/.test(p);
+    if (!onIndex) {
+      var toc = document.getElementById('TOC') ||
+                document.querySelector('[role="doc-toc"]');
+      if (toc) toc.remove();
+    }
+  });
+  </script>
 </head>
 <body>
 <nav id="sitenav">
diff --git a/docs/html/10-6-dependency-catalog.html b/docs/html/10-6-dependency-catalog.html
index f3919c2..0f8e38c 100644
--- a/docs/html/10-6-dependency-catalog.html
+++ b/docs/html/10-6-dependency-catalog.html
@@ -168,21 +168,26 @@
     .display.math{display: block; text-align: center; margin: 0.5rem auto;}
   </style>
   <style>
-  /* Catppuccin Latte (light) / Mocha (dark) — auto via prefers-color-scheme */
+  /* ── Catppuccin Latte (light) / Mocha (dark) ─────────────────── */
   :root {
+    color-scheme: light dark;
     --bg:       #eff1f5;
     --surface:  #e6e9ef;
     --overlay:  #ccd0da;
     --text:     #4c4f69;
-    --subtext:  #6c6f85;
+    --sub1:     #6c6f85;
+    --sub0:     #8c8fa1;
     --blue:     #1e66f5;
     --lavender: #7287fd;
+    --sapphire: #209fb5;
     --green:    #40a02b;
-    --red:      #d20f39;
     --yellow:   #df8e1d;
     --peach:    #fe640b;
+    --mauve:    #8839ef;
     --code-bg:  #dce0e8;
     --border:   #bcc0cc;
+    --glow1:    rgba(30, 102, 245, 0.05);
+    --glow2:    rgba(136, 57, 239, 0.04);
   }
 
   @media (prefers-color-scheme: dark) {
@@ -191,47 +196,96 @@
       --surface:  #313244;
       --overlay:  #45475a;
       --text:     #cdd6f4;
-      --subtext:  #a6adc8;
+      --sub1:     #bac2de;
+      --sub0:     #a6adc8;
       --blue:     #89b4fa;
       --lavender: #b4befe;
+      --sapphire: #74c7ec;
       --green:    #a6e3a1;
-      --red:      #f38ba8;
       --yellow:   #f9e2af;
       --peach:    #fab387;
+      --mauve:    #cba6f7;
       --code-bg:  #181825;
       --border:   #45475a;
+      --glow1:    rgba(137, 180, 250, 0.06);
+      --glow2:    rgba(203, 166, 247, 0.05);
     }
   }
 
   *, *::before, *::after { box-sizing: border-box; }
 
-  body {
+  html {
     background-color: var(--bg);
+    background-image:
+      radial-gradient(ellipse 55% 40% at 10% 5%,  var(--glow1) 0%, transparent 100%),
+      radial-gradient(ellipse 45% 45% at 90% 95%, var(--glow2) 0%, transparent 100%);
+    min-height: 100%;
+  }
+
+  body {
     color: var(--text);
-    font-family: system-ui, -apple-system, "Segoe UI", sans-serif;
+    font-family: system-ui, -apple-system, "Segoe UI", Helvetica, sans-serif;
     font-size: 16px;
-    line-height: 1.7;
-    max-width: 900px;
+    line-height: 1.75;
+    max-width: 880px;
     margin: 0 auto;
-    padding: 1.5rem 2rem 4rem;
+    padding: 2rem 2.5rem 5rem;
+    min-height: 100vh;
   }
 
-  a            { color: var(--blue); text-decoration: none; }
-  a:hover      { color: var(--lavender); text-decoration: underline; }
-  a:visited    { color: var(--lavender); }
+  /* ── Links ─────────────────────────────────────────────────── */
+  a         { color: var(--blue); text-decoration: none; }
+  a:hover   { color: var(--lavender); text-decoration: underline; }
+  a:visited { color: var(--lavender); }
 
+  /* ── Headings ──────────────────────────────────────────────── */
   h1, h2, h3, h4, h5, h6 {
+    font-family: "JetBrains Mono", "Fira Code", ui-monospace, monospace;
     color: var(--lavender);
-    margin-top: 1.8em;
-    margin-bottom: 0.4em;
     line-height: 1.3;
+    margin-top: 2em;
+    margin-bottom: 0.5em;
   }
-  h1 { font-size: 2em;   border-bottom: 2px solid var(--border); padding-bottom: 0.3em; }
-  h2 { font-size: 1.5em; border-bottom: 1px solid var(--border); padding-bottom: 0.2em; }
-  h3 { font-size: 1.2em; }
+  h1 {
+    font-size: 1.9rem;
+    color: var(--text);
+    border-bottom: 1px solid var(--border);
+    padding-bottom: 0.4em;
+    margin-top: 1.2em;
+  }
+  h2 {
+    font-size: 1.35rem;
+    border-bottom: 1px solid var(--border);
+    padding-bottom: 0.2em;
+  }
+  h3 { font-size: 1.1rem;  color: var(--sapphire); }
+  h4 { font-size: 0.95rem; color: var(--sub1); }
 
-  p  { margin: 0.75em 0; }
+  p { margin: 0.8em 0; }
 
+  /* ── Title block (pandoc-generated cover) ──────────────────── */
+  #title-block-header {
+    text-align: center;
+    padding: 2.5rem 0 2rem;
+    margin-bottom: 1.5rem;
+    border-bottom: 1px solid var(--border);
+  }
+  #title-block-header .title {
+    font-family: "JetBrains Mono", "Fira Code", ui-monospace, monospace;
+    font-size: 2.6rem;
+    letter-spacing: 0.12em;
+    color: var(--lavender);
+    border: none;
+    margin: 0 0 0.75rem;
+  }
+  #title-block-header .author,
+  #title-block-header .date {
+    color: var(--sub0);
+    font-size: 0.875rem;
+    margin: 0.2rem 0;
+  }
+
+  /* ── Inline code ───────────────────────────────────────────── */
   code {
     font-family: "JetBrains Mono", "Fira Code", ui-monospace, monospace;
     background: var(--code-bg);
@@ -241,86 +295,148 @@
     font-size: 0.875em;
   }
 
+  /* ── Code blocks ───────────────────────────────────────────── */
   pre {
     background: var(--code-bg);
     border: 1px solid var(--border);
-    border-radius: 8px;
-    padding: 1em 1.25em;
+    border-left: 3px solid var(--sapphire);
+    border-radius: 0 8px 8px 0;
+    padding: 1.1em 1.4em;
     overflow-x: auto;
-    line-height: 1.5;
+    line-height: 1.55;
+    margin: 1.2em 0;
   }
   pre code {
     background: none;
     color: var(--text);
     padding: 0;
-    font-size: 0.9em;
+    font-size: 0.88em;
   }
 
+  /* ── Blockquotes ───────────────────────────────────────────── */
   blockquote {
-    border-left: 3px solid var(--blue);
-    margin: 1.2em 0;
-    padding: 0.6em 1.2em;
+    border-left: 3px solid var(--yellow);
+    margin: 1.5em 0;
+    padding: 0.75em 1.25em;
     background: var(--surface);
-    color: var(--subtext);
+    color: var(--sub1);
     border-radius: 0 6px 6px 0;
   }
-  blockquote p { margin: 0; }
+  blockquote p { margin: 0.3em 0; }
 
+  /* ── Tables ────────────────────────────────────────────────── */
   table {
     border-collapse: collapse;
     width: 100%;
-    margin: 1.2em 0;
-    font-size: 0.95em;
+    margin: 1.4em 0;
+    font-size: 0.93em;
   }
   th, td {
     border: 1px solid var(--border);
-    padding: 0.5em 0.85em;
+    padding: 0.55em 0.9em;
     text-align: left;
   }
-  th { background: var(--surface); color: var(--lavender); font-weight: 600; }
+  th {
+    background: var(--surface);
+    color: var(--lavender);
+    font-weight: 600;
+    font-family: "JetBrains Mono", "Fira Code", ui-monospace, monospace;
+    font-size: 0.82em;
+    letter-spacing: 0.06em;
+    text-transform: uppercase;
+  }
   tr:nth-child(even) { background: var(--surface); }
-  tr:hover           { background: var(--overlay); }
+  tr:hover { background: var(--overlay); }
 
-  hr { border: none; border-top: 1px solid var(--border); margin: 2em 0; }
+  /* ── HR ────────────────────────────────────────────────────── */
+  hr { border: none; border-top: 1px solid var(--border); margin: 2.5em 0; }
 
-  ul, ol { padding-left: 1.5em; }
-  li { margin: 0.3em 0; }
+  /* ── Lists ─────────────────────────────────────────────────── */
+  ul, ol { padding-left: 1.6em; }
+  li { margin: 0.35em 0; }
 
-  /* ── Chunk navigation (prev / up / next) ──────────────────────── */
-  nav {
+  /* ── Chunk navigation bar (prev / up / next) ───────────────── */
+  nav:not(#TOC):not([role="doc-toc"]) {
     display: flex;
-    align-items: center;
-    gap: 0.75em;
+    align-items: stretch;
     background: var(--surface);
     border: 1px solid var(--border);
     border-radius: 8px;
-    padding: 0.6em 1em;
     margin: 1.5em 0;
-    font-size: 0.9em;
-    flex-wrap: wrap;
+    font-size: 0.875em;
+    overflow: hidden;
   }
-  nav a {
+  nav:not(#TOC):not([role="doc-toc"]) p {
+    margin: 0;
+    padding: 0.65em 1.2em;
+    display: flex;
+    gap: 1.75em;
+    flex-wrap: wrap;
+    align-items: center;
+    width: 100%;
+  }
+  nav:not(#TOC):not([role="doc-toc"]) a {
     color: var(--blue);
     white-space: nowrap;
   }
-  nav a:hover { color: var(--lavender); }
+  nav:not(#TOC):not([role="doc-toc"]) a:hover { color: var(--lavender); }
 
-  /* ── Table of contents (index page) ──────────────────────────── */
-  nav#toc, nav[role="doc-toc"] {
+  /* ── Table of contents panel ───────────────────────────────── */
+  nav#TOC, nav[role="doc-toc"] {
     display: block;
     background: var(--surface);
     border: 1px solid var(--border);
-    border-radius: 8px;
-    padding: 1em 1.5em;
+    border-left: 3px solid var(--lavender);
+    border-radius: 0 8px 8px 0;
+    padding: 1.2em 1.5em;
+    margin: 1.5em 0;
   }
-  nav#toc ul, nav[role="doc-toc"] ul {
-    padding-left: 1.2em;
-    margin: 0.4em 0;
+  nav#TOC > h2,
+  nav[role="doc-toc"] > h2 {
+    font-size: 0.7rem;
+    letter-spacing: 0.14em;
+    text-transform: uppercase;
+    color: var(--sub0);
+    border: none;
+    margin: 0 0 0.9em;
+    padding: 0;
   }
-  nav#toc li, nav[role="doc-toc"] li {
-    margin: 0.2em 0;
+  nav#TOC ul, nav[role="doc-toc"] ul {
+    list-style: none;
+    padding-left: 1em;
+    margin: 0.25em 0;
+  }
+  nav#TOC > ul, nav[role="doc-toc"] > ul { padding-left: 0; }
+  nav#TOC li, nav[role="doc-toc"] li {
+    margin: 0.3em 0;
+    padding-left: 0.75em;
+    border-left: 1px solid transparent;
+    transition: border-color 0.12s;
+  }
+  nav#TOC li:hover, nav[role="doc-toc"] li:hover {
+    border-left-color: var(--lavender);
+  }
+  nav#TOC a, nav[role="doc-toc"] a {
+    color: var(--sub1);
+    font-size: 0.9em;
+  }
+  nav#TOC a:hover, nav[role="doc-toc"] a:hover {
+    color: var(--lavender);
+    text-decoration: none;
   }
   </style>
+  <script>
+  /* Hide the ToC on every page except index.html */
+  document.addEventListener('DOMContentLoaded', function () {
+    var p = location.pathname;
+    var onIndex = p === '/' || p === '' || /\/index\.html(\?.*)?$/.test(p);
+    if (!onIndex) {
+      var toc = document.getElementById('TOC') ||
+                document.querySelector('[role="doc-toc"]');
+      if (toc) toc.remove();
+    }
+  });
+  </script>
 </head>
 <body>
 <nav id="sitenav">
diff --git a/docs/html/11-7-customization.html b/docs/html/11-7-customization.html
index 993f4fa..69b49c3 100644
--- a/docs/html/11-7-customization.html
+++ b/docs/html/11-7-customization.html
@@ -168,21 +168,26 @@
     .display.math{display: block; text-align: center; margin: 0.5rem auto;}
   </style>
   <style>
-  /* Catppuccin Latte (light) / Mocha (dark) — auto via prefers-color-scheme */
+  /* ── Catppuccin Latte (light) / Mocha (dark) ─────────────────── */
   :root {
+    color-scheme: light dark;
     --bg:       #eff1f5;
     --surface:  #e6e9ef;
     --overlay:  #ccd0da;
     --text:     #4c4f69;
-    --subtext:  #6c6f85;
+    --sub1:     #6c6f85;
+    --sub0:     #8c8fa1;
     --blue:     #1e66f5;
     --lavender: #7287fd;
+    --sapphire: #209fb5;
     --green:    #40a02b;
-    --red:      #d20f39;
     --yellow:   #df8e1d;
     --peach:    #fe640b;
+    --mauve:    #8839ef;
     --code-bg:  #dce0e8;
     --border:   #bcc0cc;
+    --glow1:    rgba(30, 102, 245, 0.05);
+    --glow2:    rgba(136, 57, 239, 0.04);
   }
 
   @media (prefers-color-scheme: dark) {
@@ -191,47 +196,96 @@
       --surface:  #313244;
       --overlay:  #45475a;
       --text:     #cdd6f4;
-      --subtext:  #a6adc8;
+      --sub1:     #bac2de;
+      --sub0:     #a6adc8;
       --blue:     #89b4fa;
       --lavender: #b4befe;
+      --sapphire: #74c7ec;
       --green:    #a6e3a1;
-      --red:      #f38ba8;
       --yellow:   #f9e2af;
       --peach:    #fab387;
+      --mauve:    #cba6f7;
       --code-bg:  #181825;
       --border:   #45475a;
+      --glow1:    rgba(137, 180, 250, 0.06);
+      --glow2:    rgba(203, 166, 247, 0.05);
     }
   }
 
   *, *::before, *::after { box-sizing: border-box; }
 
-  body {
+  html {
     background-color: var(--bg);
+    background-image:
+      radial-gradient(ellipse 55% 40% at 10% 5%,  var(--glow1) 0%, transparent 100%),
+      radial-gradient(ellipse 45% 45% at 90% 95%, var(--glow2) 0%, transparent 100%);
+    min-height: 100%;
+  }
+
+  body {
     color: var(--text);
-    font-family: system-ui, -apple-system, "Segoe UI", sans-serif;
+    font-family: system-ui, -apple-system, "Segoe UI", Helvetica, sans-serif;
     font-size: 16px;
-    line-height: 1.7;
-    max-width: 900px;
+    line-height: 1.75;
+    max-width: 880px;
     margin: 0 auto;
-    padding: 1.5rem 2rem 4rem;
+    padding: 2rem 2.5rem 5rem;
+    min-height: 100vh;
   }
 
-  a            { color: var(--blue); text-decoration: none; }
-  a:hover      { color: var(--lavender); text-decoration: underline; }
-  a:visited    { color: var(--lavender); }
+  /* ── Links ─────────────────────────────────────────────────── */
+  a         { color: var(--blue); text-decoration: none; }
+  a:hover   { color: var(--lavender); text-decoration: underline; }
+  a:visited { color: var(--lavender); }
 
+  /* ── Headings ──────────────────────────────────────────────── */
   h1, h2, h3, h4, h5, h6 {
+    font-family: "JetBrains Mono", "Fira Code", ui-monospace, monospace;
     color: var(--lavender);
-    margin-top: 1.8em;
-    margin-bottom: 0.4em;
     line-height: 1.3;
+    margin-top: 2em;
+    margin-bottom: 0.5em;
   }
-  h1 { font-size: 2em;   border-bottom: 2px solid var(--border); padding-bottom: 0.3em; }
-  h2 { font-size: 1.5em; border-bottom: 1px solid var(--border); padding-bottom: 0.2em; }
-  h3 { font-size: 1.2em; }
+  h1 {
+    font-size: 1.9rem;
+    color: var(--text);
+    border-bottom: 1px solid var(--border);
+    padding-bottom: 0.4em;
+    margin-top: 1.2em;
+  }
+  h2 {
+    font-size: 1.35rem;
+    border-bottom: 1px solid var(--border);
+    padding-bottom: 0.2em;
+  }
+  h3 { font-size: 1.1rem;  color: var(--sapphire); }
+  h4 { font-size: 0.95rem; color: var(--sub1); }
 
-  p  { margin: 0.75em 0; }
+  p { margin: 0.8em 0; }
 
+  /* ── Title block (pandoc-generated cover) ──────────────────── */
+  #title-block-header {
+    text-align: center;
+    padding: 2.5rem 0 2rem;
+    margin-bottom: 1.5rem;
+    border-bottom: 1px solid var(--border);
+  }
+  #title-block-header .title {
+    font-family: "JetBrains Mono", "Fira Code", ui-monospace, monospace;
+    font-size: 2.6rem;
+    letter-spacing: 0.12em;
+    color: var(--lavender);
+    border: none;
+    margin: 0 0 0.75rem;
+  }
+  #title-block-header .author,
+  #title-block-header .date {
+    color: var(--sub0);
+    font-size: 0.875rem;
+    margin: 0.2rem 0;
+  }
+
+  /* ── Inline code ───────────────────────────────────────────── */
   code {
     font-family: "JetBrains Mono", "Fira Code", ui-monospace, monospace;
     background: var(--code-bg);
@@ -241,86 +295,148 @@
     font-size: 0.875em;
   }
 
+  /* ── Code blocks ───────────────────────────────────────────── */
   pre {
     background: var(--code-bg);
     border: 1px solid var(--border);
-    border-radius: 8px;
-    padding: 1em 1.25em;
+    border-left: 3px solid var(--sapphire);
+    border-radius: 0 8px 8px 0;
+    padding: 1.1em 1.4em;
     overflow-x: auto;
-    line-height: 1.5;
+    line-height: 1.55;
+    margin: 1.2em 0;
   }
   pre code {
     background: none;
     color: var(--text);
     padding: 0;
-    font-size: 0.9em;
+    font-size: 0.88em;
   }
 
+  /* ── Blockquotes ───────────────────────────────────────────── */
   blockquote {
-    border-left: 3px solid var(--blue);
-    margin: 1.2em 0;
-    padding: 0.6em 1.2em;
+    border-left: 3px solid var(--yellow);
+    margin: 1.5em 0;
+    padding: 0.75em 1.25em;
     background: var(--surface);
-    color: var(--subtext);
+    color: var(--sub1);
     border-radius: 0 6px 6px 0;
   }
-  blockquote p { margin: 0; }
+  blockquote p { margin: 0.3em 0; }
 
+  /* ── Tables ────────────────────────────────────────────────── */
   table {
     border-collapse: collapse;
     width: 100%;
-    margin: 1.2em 0;
-    font-size: 0.95em;
+    margin: 1.4em 0;
+    font-size: 0.93em;
   }
   th, td {
     border: 1px solid var(--border);
-    padding: 0.5em 0.85em;
+    padding: 0.55em 0.9em;
     text-align: left;
   }
-  th { background: var(--surface); color: var(--lavender); font-weight: 600; }
+  th {
+    background: var(--surface);
+    color: var(--lavender);
+    font-weight: 600;
+    font-family: "JetBrains Mono", "Fira Code", ui-monospace, monospace;
+    font-size: 0.82em;
+    letter-spacing: 0.06em;
+    text-transform: uppercase;
+  }
   tr:nth-child(even) { background: var(--surface); }
-  tr:hover           { background: var(--overlay); }
+  tr:hover { background: var(--overlay); }
 
-  hr { border: none; border-top: 1px solid var(--border); margin: 2em 0; }
+  /* ── HR ────────────────────────────────────────────────────── */
+  hr { border: none; border-top: 1px solid var(--border); margin: 2.5em 0; }
 
-  ul, ol { padding-left: 1.5em; }
-  li { margin: 0.3em 0; }
+  /* ── Lists ─────────────────────────────────────────────────── */
+  ul, ol { padding-left: 1.6em; }
+  li { margin: 0.35em 0; }
 
-  /* ── Chunk navigation (prev / up / next) ──────────────────────── */
-  nav {
+  /* ── Chunk navigation bar (prev / up / next) ───────────────── */
+  nav:not(#TOC):not([role="doc-toc"]) {
     display: flex;
-    align-items: center;
-    gap: 0.75em;
+    align-items: stretch;
     background: var(--surface);
     border: 1px solid var(--border);
     border-radius: 8px;
-    padding: 0.6em 1em;
     margin: 1.5em 0;
-    font-size: 0.9em;
-    flex-wrap: wrap;
+    font-size: 0.875em;
+    overflow: hidden;
   }
-  nav a {
+  nav:not(#TOC):not([role="doc-toc"]) p {
+    margin: 0;
+    padding: 0.65em 1.2em;
+    display: flex;
+    gap: 1.75em;
+    flex-wrap: wrap;
+    align-items: center;
+    width: 100%;
+  }
+  nav:not(#TOC):not([role="doc-toc"]) a {
     color: var(--blue);
     white-space: nowrap;
   }
-  nav a:hover { color: var(--lavender); }
+  nav:not(#TOC):not([role="doc-toc"]) a:hover { color: var(--lavender); }
 
-  /* ── Table of contents (index page) ──────────────────────────── */
-  nav#toc, nav[role="doc-toc"] {
+  /* ── Table of contents panel ───────────────────────────────── */
+  nav#TOC, nav[role="doc-toc"] {
     display: block;
     background: var(--surface);
     border: 1px solid var(--border);
-    border-radius: 8px;
-    padding: 1em 1.5em;
+    border-left: 3px solid var(--lavender);
+    border-radius: 0 8px 8px 0;
+    padding: 1.2em 1.5em;
+    margin: 1.5em 0;
   }
-  nav#toc ul, nav[role="doc-toc"] ul {
-    padding-left: 1.2em;
-    margin: 0.4em 0;
+  nav#TOC > h2,
+  nav[role="doc-toc"] > h2 {
+    font-size: 0.7rem;
+    letter-spacing: 0.14em;
+    text-transform: uppercase;
+    color: var(--sub0);
+    border: none;
+    margin: 0 0 0.9em;
+    padding: 0;
   }
-  nav#toc li, nav[role="doc-toc"] li {
-    margin: 0.2em 0;
+  nav#TOC ul, nav[role="doc-toc"] ul {
+    list-style: none;
+    padding-left: 1em;
+    margin: 0.25em 0;
+  }
+  nav#TOC > ul, nav[role="doc-toc"] > ul { padding-left: 0; }
+  nav#TOC li, nav[role="doc-toc"] li {
+    margin: 0.3em 0;
+    padding-left: 0.75em;
+    border-left: 1px solid transparent;
+    transition: border-color 0.12s;
+  }
+  nav#TOC li:hover, nav[role="doc-toc"] li:hover {
+    border-left-color: var(--lavender);
+  }
+  nav#TOC a, nav[role="doc-toc"] a {
+    color: var(--sub1);
+    font-size: 0.9em;
+  }
+  nav#TOC a:hover, nav[role="doc-toc"] a:hover {
+    color: var(--lavender);
+    text-decoration: none;
   }
   </style>
+  <script>
+  /* Hide the ToC on every page except index.html */
+  document.addEventListener('DOMContentLoaded', function () {
+    var p = location.pathname;
+    var onIndex = p === '/' || p === '' || /\/index\.html(\?.*)?$/.test(p);
+    if (!onIndex) {
+      var toc = document.getElementById('TOC') ||
+                document.querySelector('[role="doc-toc"]');
+      if (toc) toc.remove();
+    }
+  });
+  </script>
 </head>
 <body>
 <nav id="sitenav">
diff --git a/docs/html/12-8-fisher-plugins.html b/docs/html/12-8-fisher-plugins.html
index 08584d9..010c307 100644
--- a/docs/html/12-8-fisher-plugins.html
+++ b/docs/html/12-8-fisher-plugins.html
@@ -168,21 +168,26 @@
     .display.math{display: block; text-align: center; margin: 0.5rem auto;}
   </style>
   <style>
-  /* Catppuccin Latte (light) / Mocha (dark) — auto via prefers-color-scheme */
+  /* ── Catppuccin Latte (light) / Mocha (dark) ─────────────────── */
   :root {
+    color-scheme: light dark;
     --bg:       #eff1f5;
     --surface:  #e6e9ef;
     --overlay:  #ccd0da;
     --text:     #4c4f69;
-    --subtext:  #6c6f85;
+    --sub1:     #6c6f85;
+    --sub0:     #8c8fa1;
     --blue:     #1e66f5;
     --lavender: #7287fd;
+    --sapphire: #209fb5;
     --green:    #40a02b;
-    --red:      #d20f39;
     --yellow:   #df8e1d;
     --peach:    #fe640b;
+    --mauve:    #8839ef;
     --code-bg:  #dce0e8;
     --border:   #bcc0cc;
+    --glow1:    rgba(30, 102, 245, 0.05);
+    --glow2:    rgba(136, 57, 239, 0.04);
   }
 
   @media (prefers-color-scheme: dark) {
@@ -191,47 +196,96 @@
       --surface:  #313244;
       --overlay:  #45475a;
       --text:     #cdd6f4;
-      --subtext:  #a6adc8;
+      --sub1:     #bac2de;
+      --sub0:     #a6adc8;
       --blue:     #89b4fa;
       --lavender: #b4befe;
+      --sapphire: #74c7ec;
       --green:    #a6e3a1;
-      --red:      #f38ba8;
       --yellow:   #f9e2af;
       --peach:    #fab387;
+      --mauve:    #cba6f7;
       --code-bg:  #181825;
       --border:   #45475a;
+      --glow1:    rgba(137, 180, 250, 0.06);
+      --glow2:    rgba(203, 166, 247, 0.05);
     }
   }
 
   *, *::before, *::after { box-sizing: border-box; }
 
-  body {
+  html {
     background-color: var(--bg);
+    background-image:
+      radial-gradient(ellipse 55% 40% at 10% 5%,  var(--glow1) 0%, transparent 100%),
+      radial-gradient(ellipse 45% 45% at 90% 95%, var(--glow2) 0%, transparent 100%);
+    min-height: 100%;
+  }
+
+  body {
     color: var(--text);
-    font-family: system-ui, -apple-system, "Segoe UI", sans-serif;
+    font-family: system-ui, -apple-system, "Segoe UI", Helvetica, sans-serif;
     font-size: 16px;
-    line-height: 1.7;
-    max-width: 900px;
+    line-height: 1.75;
+    max-width: 880px;
     margin: 0 auto;
-    padding: 1.5rem 2rem 4rem;
+    padding: 2rem 2.5rem 5rem;
+    min-height: 100vh;
   }
 
-  a            { color: var(--blue); text-decoration: none; }
-  a:hover      { color: var(--lavender); text-decoration: underline; }
-  a:visited    { color: var(--lavender); }
+  /* ── Links ─────────────────────────────────────────────────── */
+  a         { color: var(--blue); text-decoration: none; }
+  a:hover   { color: var(--lavender); text-decoration: underline; }
+  a:visited { color: var(--lavender); }
 
+  /* ── Headings ──────────────────────────────────────────────── */
   h1, h2, h3, h4, h5, h6 {
+    font-family: "JetBrains Mono", "Fira Code", ui-monospace, monospace;
     color: var(--lavender);
-    margin-top: 1.8em;
-    margin-bottom: 0.4em;
     line-height: 1.3;
+    margin-top: 2em;
+    margin-bottom: 0.5em;
   }
-  h1 { font-size: 2em;   border-bottom: 2px solid var(--border); padding-bottom: 0.3em; }
-  h2 { font-size: 1.5em; border-bottom: 1px solid var(--border); padding-bottom: 0.2em; }
-  h3 { font-size: 1.2em; }
+  h1 {
+    font-size: 1.9rem;
+    color: var(--text);
+    border-bottom: 1px solid var(--border);
+    padding-bottom: 0.4em;
+    margin-top: 1.2em;
+  }
+  h2 {
+    font-size: 1.35rem;
+    border-bottom: 1px solid var(--border);
+    padding-bottom: 0.2em;
+  }
+  h3 { font-size: 1.1rem;  color: var(--sapphire); }
+  h4 { font-size: 0.95rem; color: var(--sub1); }
 
-  p  { margin: 0.75em 0; }
+  p { margin: 0.8em 0; }
 
+  /* ── Title block (pandoc-generated cover) ──────────────────── */
+  #title-block-header {
+    text-align: center;
+    padding: 2.5rem 0 2rem;
+    margin-bottom: 1.5rem;
+    border-bottom: 1px solid var(--border);
+  }
+  #title-block-header .title {
+    font-family: "JetBrains Mono", "Fira Code", ui-monospace, monospace;
+    font-size: 2.6rem;
+    letter-spacing: 0.12em;
+    color: var(--lavender);
+    border: none;
+    margin: 0 0 0.75rem;
+  }
+  #title-block-header .author,
+  #title-block-header .date {
+    color: var(--sub0);
+    font-size: 0.875rem;
+    margin: 0.2rem 0;
+  }
+
+  /* ── Inline code ───────────────────────────────────────────── */
   code {
     font-family: "JetBrains Mono", "Fira Code", ui-monospace, monospace;
     background: var(--code-bg);
@@ -241,86 +295,148 @@
     font-size: 0.875em;
   }
 
+  /* ── Code blocks ───────────────────────────────────────────── */
   pre {
     background: var(--code-bg);
     border: 1px solid var(--border);
-    border-radius: 8px;
-    padding: 1em 1.25em;
+    border-left: 3px solid var(--sapphire);
+    border-radius: 0 8px 8px 0;
+    padding: 1.1em 1.4em;
     overflow-x: auto;
-    line-height: 1.5;
+    line-height: 1.55;
+    margin: 1.2em 0;
   }
   pre code {
     background: none;
     color: var(--text);
     padding: 0;
-    font-size: 0.9em;
+    font-size: 0.88em;
   }
 
+  /* ── Blockquotes ───────────────────────────────────────────── */
   blockquote {
-    border-left: 3px solid var(--blue);
-    margin: 1.2em 0;
-    padding: 0.6em 1.2em;
+    border-left: 3px solid var(--yellow);
+    margin: 1.5em 0;
+    padding: 0.75em 1.25em;
     background: var(--surface);
-    color: var(--subtext);
+    color: var(--sub1);
     border-radius: 0 6px 6px 0;
   }
-  blockquote p { margin: 0; }
+  blockquote p { margin: 0.3em 0; }
 
+  /* ── Tables ────────────────────────────────────────────────── */
   table {
     border-collapse: collapse;
     width: 100%;
-    margin: 1.2em 0;
-    font-size: 0.95em;
+    margin: 1.4em 0;
+    font-size: 0.93em;
   }
   th, td {
     border: 1px solid var(--border);
-    padding: 0.5em 0.85em;
+    padding: 0.55em 0.9em;
     text-align: left;
   }
-  th { background: var(--surface); color: var(--lavender); font-weight: 600; }
+  th {
+    background: var(--surface);
+    color: var(--lavender);
+    font-weight: 600;
+    font-family: "JetBrains Mono", "Fira Code", ui-monospace, monospace;
+    font-size: 0.82em;
+    letter-spacing: 0.06em;
+    text-transform: uppercase;
+  }
   tr:nth-child(even) { background: var(--surface); }
-  tr:hover           { background: var(--overlay); }
+  tr:hover { background: var(--overlay); }
 
-  hr { border: none; border-top: 1px solid var(--border); margin: 2em 0; }
+  /* ── HR ────────────────────────────────────────────────────── */
+  hr { border: none; border-top: 1px solid var(--border); margin: 2.5em 0; }
 
-  ul, ol { padding-left: 1.5em; }
-  li { margin: 0.3em 0; }
+  /* ── Lists ─────────────────────────────────────────────────── */
+  ul, ol { padding-left: 1.6em; }
+  li { margin: 0.35em 0; }
 
-  /* ── Chunk navigation (prev / up / next) ──────────────────────── */
-  nav {
+  /* ── Chunk navigation bar (prev / up / next) ───────────────── */
+  nav:not(#TOC):not([role="doc-toc"]) {
     display: flex;
-    align-items: center;
-    gap: 0.75em;
+    align-items: stretch;
     background: var(--surface);
     border: 1px solid var(--border);
     border-radius: 8px;
-    padding: 0.6em 1em;
     margin: 1.5em 0;
-    font-size: 0.9em;
-    flex-wrap: wrap;
+    font-size: 0.875em;
+    overflow: hidden;
   }
-  nav a {
+  nav:not(#TOC):not([role="doc-toc"]) p {
+    margin: 0;
+    padding: 0.65em 1.2em;
+    display: flex;
+    gap: 1.75em;
+    flex-wrap: wrap;
+    align-items: center;
+    width: 100%;
+  }
+  nav:not(#TOC):not([role="doc-toc"]) a {
     color: var(--blue);
     white-space: nowrap;
   }
-  nav a:hover { color: var(--lavender); }
+  nav:not(#TOC):not([role="doc-toc"]) a:hover { color: var(--lavender); }
 
-  /* ── Table of contents (index page) ──────────────────────────── */
-  nav#toc, nav[role="doc-toc"] {
+  /* ── Table of contents panel ───────────────────────────────── */
+  nav#TOC, nav[role="doc-toc"] {
     display: block;
     background: var(--surface);
     border: 1px solid var(--border);
-    border-radius: 8px;
-    padding: 1em 1.5em;
+    border-left: 3px solid var(--lavender);
+    border-radius: 0 8px 8px 0;
+    padding: 1.2em 1.5em;
+    margin: 1.5em 0;
   }
-  nav#toc ul, nav[role="doc-toc"] ul {
-    padding-left: 1.2em;
-    margin: 0.4em 0;
+  nav#TOC > h2,
+  nav[role="doc-toc"] > h2 {
+    font-size: 0.7rem;
+    letter-spacing: 0.14em;
+    text-transform: uppercase;
+    color: var(--sub0);
+    border: none;
+    margin: 0 0 0.9em;
+    padding: 0;
   }
-  nav#toc li, nav[role="doc-toc"] li {
-    margin: 0.2em 0;
+  nav#TOC ul, nav[role="doc-toc"] ul {
+    list-style: none;
+    padding-left: 1em;
+    margin: 0.25em 0;
+  }
+  nav#TOC > ul, nav[role="doc-toc"] > ul { padding-left: 0; }
+  nav#TOC li, nav[role="doc-toc"] li {
+    margin: 0.3em 0;
+    padding-left: 0.75em;
+    border-left: 1px solid transparent;
+    transition: border-color 0.12s;
+  }
+  nav#TOC li:hover, nav[role="doc-toc"] li:hover {
+    border-left-color: var(--lavender);
+  }
+  nav#TOC a, nav[role="doc-toc"] a {
+    color: var(--sub1);
+    font-size: 0.9em;
+  }
+  nav#TOC a:hover, nav[role="doc-toc"] a:hover {
+    color: var(--lavender);
+    text-decoration: none;
   }
   </style>
+  <script>
+  /* Hide the ToC on every page except index.html */
+  document.addEventListener('DOMContentLoaded', function () {
+    var p = location.pathname;
+    var onIndex = p === '/' || p === '' || /\/index\.html(\?.*)?$/.test(p);
+    if (!onIndex) {
+      var toc = document.getElementById('TOC') ||
+                document.querySelector('[role="doc-toc"]');
+      if (toc) toc.remove();
+    }
+  });
+  </script>
 </head>
 <body>
 <nav id="sitenav">
diff --git a/docs/html/13-9-viewing-this-manual.html b/docs/html/13-9-viewing-this-manual.html
index 5fcb224..508cfc5 100644
--- a/docs/html/13-9-viewing-this-manual.html
+++ b/docs/html/13-9-viewing-this-manual.html
@@ -168,21 +168,26 @@
     .display.math{display: block; text-align: center; margin: 0.5rem auto;}
   </style>
   <style>
-  /* Catppuccin Latte (light) / Mocha (dark) — auto via prefers-color-scheme */
+  /* ── Catppuccin Latte (light) / Mocha (dark) ─────────────────── */
   :root {
+    color-scheme: light dark;
     --bg:       #eff1f5;
     --surface:  #e6e9ef;
     --overlay:  #ccd0da;
     --text:     #4c4f69;
-    --subtext:  #6c6f85;
+    --sub1:     #6c6f85;
+    --sub0:     #8c8fa1;
     --blue:     #1e66f5;
     --lavender: #7287fd;
+    --sapphire: #209fb5;
     --green:    #40a02b;
-    --red:      #d20f39;
     --yellow:   #df8e1d;
     --peach:    #fe640b;
+    --mauve:    #8839ef;
     --code-bg:  #dce0e8;
     --border:   #bcc0cc;
+    --glow1:    rgba(30, 102, 245, 0.05);
+    --glow2:    rgba(136, 57, 239, 0.04);
   }
 
   @media (prefers-color-scheme: dark) {
@@ -191,47 +196,96 @@
       --surface:  #313244;
       --overlay:  #45475a;
       --text:     #cdd6f4;
-      --subtext:  #a6adc8;
+      --sub1:     #bac2de;
+      --sub0:     #a6adc8;
       --blue:     #89b4fa;
       --lavender: #b4befe;
+      --sapphire: #74c7ec;
       --green:    #a6e3a1;
-      --red:      #f38ba8;
       --yellow:   #f9e2af;
       --peach:    #fab387;
+      --mauve:    #cba6f7;
       --code-bg:  #181825;
       --border:   #45475a;
+      --glow1:    rgba(137, 180, 250, 0.06);
+      --glow2:    rgba(203, 166, 247, 0.05);
     }
   }
 
   *, *::before, *::after { box-sizing: border-box; }
 
-  body {
+  html {
     background-color: var(--bg);
+    background-image:
+      radial-gradient(ellipse 55% 40% at 10% 5%,  var(--glow1) 0%, transparent 100%),
+      radial-gradient(ellipse 45% 45% at 90% 95%, var(--glow2) 0%, transparent 100%);
+    min-height: 100%;
+  }
+
+  body {
     color: var(--text);
-    font-family: system-ui, -apple-system, "Segoe UI", sans-serif;
+    font-family: system-ui, -apple-system, "Segoe UI", Helvetica, sans-serif;
     font-size: 16px;
-    line-height: 1.7;
-    max-width: 900px;
+    line-height: 1.75;
+    max-width: 880px;
     margin: 0 auto;
-    padding: 1.5rem 2rem 4rem;
+    padding: 2rem 2.5rem 5rem;
+    min-height: 100vh;
   }
 
-  a            { color: var(--blue); text-decoration: none; }
-  a:hover      { color: var(--lavender); text-decoration: underline; }
-  a:visited    { color: var(--lavender); }
+  /* ── Links ─────────────────────────────────────────────────── */
+  a         { color: var(--blue); text-decoration: none; }
+  a:hover   { color: var(--lavender); text-decoration: underline; }
+  a:visited { color: var(--lavender); }
 
+  /* ── Headings ──────────────────────────────────────────────── */
   h1, h2, h3, h4, h5, h6 {
+    font-family: "JetBrains Mono", "Fira Code", ui-monospace, monospace;
     color: var(--lavender);
-    margin-top: 1.8em;
-    margin-bottom: 0.4em;
     line-height: 1.3;
+    margin-top: 2em;
+    margin-bottom: 0.5em;
   }
-  h1 { font-size: 2em;   border-bottom: 2px solid var(--border); padding-bottom: 0.3em; }
-  h2 { font-size: 1.5em; border-bottom: 1px solid var(--border); padding-bottom: 0.2em; }
-  h3 { font-size: 1.2em; }
+  h1 {
+    font-size: 1.9rem;
+    color: var(--text);
+    border-bottom: 1px solid var(--border);
+    padding-bottom: 0.4em;
+    margin-top: 1.2em;
+  }
+  h2 {
+    font-size: 1.35rem;
+    border-bottom: 1px solid var(--border);
+    padding-bottom: 0.2em;
+  }
+  h3 { font-size: 1.1rem;  color: var(--sapphire); }
+  h4 { font-size: 0.95rem; color: var(--sub1); }
 
-  p  { margin: 0.75em 0; }
+  p { margin: 0.8em 0; }
 
+  /* ── Title block (pandoc-generated cover) ──────────────────── */
+  #title-block-header {
+    text-align: center;
+    padding: 2.5rem 0 2rem;
+    margin-bottom: 1.5rem;
+    border-bottom: 1px solid var(--border);
+  }
+  #title-block-header .title {
+    font-family: "JetBrains Mono", "Fira Code", ui-monospace, monospace;
+    font-size: 2.6rem;
+    letter-spacing: 0.12em;
+    color: var(--lavender);
+    border: none;
+    margin: 0 0 0.75rem;
+  }
+  #title-block-header .author,
+  #title-block-header .date {
+    color: var(--sub0);
+    font-size: 0.875rem;
+    margin: 0.2rem 0;
+  }
+
+  /* ── Inline code ───────────────────────────────────────────── */
   code {
     font-family: "JetBrains Mono", "Fira Code", ui-monospace, monospace;
     background: var(--code-bg);
@@ -241,86 +295,148 @@
     font-size: 0.875em;
   }
 
+  /* ── Code blocks ───────────────────────────────────────────── */
   pre {
     background: var(--code-bg);
     border: 1px solid var(--border);
-    border-radius: 8px;
-    padding: 1em 1.25em;
+    border-left: 3px solid var(--sapphire);
+    border-radius: 0 8px 8px 0;
+    padding: 1.1em 1.4em;
     overflow-x: auto;
-    line-height: 1.5;
+    line-height: 1.55;
+    margin: 1.2em 0;
   }
   pre code {
     background: none;
     color: var(--text);
     padding: 0;
-    font-size: 0.9em;
+    font-size: 0.88em;
   }
 
+  /* ── Blockquotes ───────────────────────────────────────────── */
   blockquote {
-    border-left: 3px solid var(--blue);
-    margin: 1.2em 0;
-    padding: 0.6em 1.2em;
+    border-left: 3px solid var(--yellow);
+    margin: 1.5em 0;
+    padding: 0.75em 1.25em;
     background: var(--surface);
-    color: var(--subtext);
+    color: var(--sub1);
     border-radius: 0 6px 6px 0;
   }
-  blockquote p { margin: 0; }
+  blockquote p { margin: 0.3em 0; }
 
+  /* ── Tables ────────────────────────────────────────────────── */
   table {
     border-collapse: collapse;
     width: 100%;
-    margin: 1.2em 0;
-    font-size: 0.95em;
+    margin: 1.4em 0;
+    font-size: 0.93em;
   }
   th, td {
     border: 1px solid var(--border);
-    padding: 0.5em 0.85em;
+    padding: 0.55em 0.9em;
     text-align: left;
   }
-  th { background: var(--surface); color: var(--lavender); font-weight: 600; }
+  th {
+    background: var(--surface);
+    color: var(--lavender);
+    font-weight: 600;
+    font-family: "JetBrains Mono", "Fira Code", ui-monospace, monospace;
+    font-size: 0.82em;
+    letter-spacing: 0.06em;
+    text-transform: uppercase;
+  }
   tr:nth-child(even) { background: var(--surface); }
-  tr:hover           { background: var(--overlay); }
+  tr:hover { background: var(--overlay); }
 
-  hr { border: none; border-top: 1px solid var(--border); margin: 2em 0; }
+  /* ── HR ────────────────────────────────────────────────────── */
+  hr { border: none; border-top: 1px solid var(--border); margin: 2.5em 0; }
 
-  ul, ol { padding-left: 1.5em; }
-  li { margin: 0.3em 0; }
+  /* ── Lists ─────────────────────────────────────────────────── */
+  ul, ol { padding-left: 1.6em; }
+  li { margin: 0.35em 0; }
 
-  /* ── Chunk navigation (prev / up / next) ──────────────────────── */
-  nav {
+  /* ── Chunk navigation bar (prev / up / next) ───────────────── */
+  nav:not(#TOC):not([role="doc-toc"]) {
     display: flex;
-    align-items: center;
-    gap: 0.75em;
+    align-items: stretch;
     background: var(--surface);
     border: 1px solid var(--border);
     border-radius: 8px;
-    padding: 0.6em 1em;
     margin: 1.5em 0;
-    font-size: 0.9em;
-    flex-wrap: wrap;
+    font-size: 0.875em;
+    overflow: hidden;
   }
-  nav a {
+  nav:not(#TOC):not([role="doc-toc"]) p {
+    margin: 0;
+    padding: 0.65em 1.2em;
+    display: flex;
+    gap: 1.75em;
+    flex-wrap: wrap;
+    align-items: center;
+    width: 100%;
+  }
+  nav:not(#TOC):not([role="doc-toc"]) a {
     color: var(--blue);
     white-space: nowrap;
   }
-  nav a:hover { color: var(--lavender); }
+  nav:not(#TOC):not([role="doc-toc"]) a:hover { color: var(--lavender); }
 
-  /* ── Table of contents (index page) ──────────────────────────── */
-  nav#toc, nav[role="doc-toc"] {
+  /* ── Table of contents panel ───────────────────────────────── */
+  nav#TOC, nav[role="doc-toc"] {
     display: block;
     background: var(--surface);
     border: 1px solid var(--border);
-    border-radius: 8px;
-    padding: 1em 1.5em;
+    border-left: 3px solid var(--lavender);
+    border-radius: 0 8px 8px 0;
+    padding: 1.2em 1.5em;
+    margin: 1.5em 0;
   }
-  nav#toc ul, nav[role="doc-toc"] ul {
-    padding-left: 1.2em;
-    margin: 0.4em 0;
+  nav#TOC > h2,
+  nav[role="doc-toc"] > h2 {
+    font-size: 0.7rem;
+    letter-spacing: 0.14em;
+    text-transform: uppercase;
+    color: var(--sub0);
+    border: none;
+    margin: 0 0 0.9em;
+    padding: 0;
   }
-  nav#toc li, nav[role="doc-toc"] li {
-    margin: 0.2em 0;
+  nav#TOC ul, nav[role="doc-toc"] ul {
+    list-style: none;
+    padding-left: 1em;
+    margin: 0.25em 0;
+  }
+  nav#TOC > ul, nav[role="doc-toc"] > ul { padding-left: 0; }
+  nav#TOC li, nav[role="doc-toc"] li {
+    margin: 0.3em 0;
+    padding-left: 0.75em;
+    border-left: 1px solid transparent;
+    transition: border-color 0.12s;
+  }
+  nav#TOC li:hover, nav[role="doc-toc"] li:hover {
+    border-left-color: var(--lavender);
+  }
+  nav#TOC a, nav[role="doc-toc"] a {
+    color: var(--sub1);
+    font-size: 0.9em;
+  }
+  nav#TOC a:hover, nav[role="doc-toc"] a:hover {
+    color: var(--lavender);
+    text-decoration: none;
   }
   </style>
+  <script>
+  /* Hide the ToC on every page except index.html */
+  document.addEventListener('DOMContentLoaded', function () {
+    var p = location.pathname;
+    var onIndex = p === '/' || p === '' || /\/index\.html(\?.*)?$/.test(p);
+    if (!onIndex) {
+      var toc = document.getElementById('TOC') ||
+                document.querySelector('[role="doc-toc"]');
+      if (toc) toc.remove();
+    }
+  });
+  </script>
 </head>
 <body>
 <nav id="sitenav">
diff --git a/docs/html/2-synopsis.html b/docs/html/2-synopsis.html
index e341a86..f2afd75 100644
--- a/docs/html/2-synopsis.html
+++ b/docs/html/2-synopsis.html
@@ -168,21 +168,26 @@
     .display.math{display: block; text-align: center; margin: 0.5rem auto;}
   </style>
   <style>
-  /* Catppuccin Latte (light) / Mocha (dark) — auto via prefers-color-scheme */
+  /* ── Catppuccin Latte (light) / Mocha (dark) ─────────────────── */
   :root {
+    color-scheme: light dark;
     --bg:       #eff1f5;
     --surface:  #e6e9ef;
     --overlay:  #ccd0da;
     --text:     #4c4f69;
-    --subtext:  #6c6f85;
+    --sub1:     #6c6f85;
+    --sub0:     #8c8fa1;
     --blue:     #1e66f5;
     --lavender: #7287fd;
+    --sapphire: #209fb5;
     --green:    #40a02b;
-    --red:      #d20f39;
     --yellow:   #df8e1d;
     --peach:    #fe640b;
+    --mauve:    #8839ef;
     --code-bg:  #dce0e8;
     --border:   #bcc0cc;
+    --glow1:    rgba(30, 102, 245, 0.05);
+    --glow2:    rgba(136, 57, 239, 0.04);
   }
 
   @media (prefers-color-scheme: dark) {
@@ -191,47 +196,96 @@
       --surface:  #313244;
       --overlay:  #45475a;
       --text:     #cdd6f4;
-      --subtext:  #a6adc8;
+      --sub1:     #bac2de;
+      --sub0:     #a6adc8;
       --blue:     #89b4fa;
       --lavender: #b4befe;
+      --sapphire: #74c7ec;
       --green:    #a6e3a1;
-      --red:      #f38ba8;
       --yellow:   #f9e2af;
       --peach:    #fab387;
+      --mauve:    #cba6f7;
       --code-bg:  #181825;
       --border:   #45475a;
+      --glow1:    rgba(137, 180, 250, 0.06);
+      --glow2:    rgba(203, 166, 247, 0.05);
     }
   }
 
   *, *::before, *::after { box-sizing: border-box; }
 
-  body {
+  html {
     background-color: var(--bg);
+    background-image:
+      radial-gradient(ellipse 55% 40% at 10% 5%,  var(--glow1) 0%, transparent 100%),
+      radial-gradient(ellipse 45% 45% at 90% 95%, var(--glow2) 0%, transparent 100%);
+    min-height: 100%;
+  }
+
+  body {
     color: var(--text);
-    font-family: system-ui, -apple-system, "Segoe UI", sans-serif;
+    font-family: system-ui, -apple-system, "Segoe UI", Helvetica, sans-serif;
     font-size: 16px;
-    line-height: 1.7;
-    max-width: 900px;
+    line-height: 1.75;
+    max-width: 880px;
     margin: 0 auto;
-    padding: 1.5rem 2rem 4rem;
+    padding: 2rem 2.5rem 5rem;
+    min-height: 100vh;
   }
 
-  a            { color: var(--blue); text-decoration: none; }
-  a:hover      { color: var(--lavender); text-decoration: underline; }
-  a:visited    { color: var(--lavender); }
+  /* ── Links ─────────────────────────────────────────────────── */
+  a         { color: var(--blue); text-decoration: none; }
+  a:hover   { color: var(--lavender); text-decoration: underline; }
+  a:visited { color: var(--lavender); }
 
+  /* ── Headings ──────────────────────────────────────────────── */
   h1, h2, h3, h4, h5, h6 {
+    font-family: "JetBrains Mono", "Fira Code", ui-monospace, monospace;
     color: var(--lavender);
-    margin-top: 1.8em;
-    margin-bottom: 0.4em;
     line-height: 1.3;
+    margin-top: 2em;
+    margin-bottom: 0.5em;
   }
-  h1 { font-size: 2em;   border-bottom: 2px solid var(--border); padding-bottom: 0.3em; }
-  h2 { font-size: 1.5em; border-bottom: 1px solid var(--border); padding-bottom: 0.2em; }
-  h3 { font-size: 1.2em; }
+  h1 {
+    font-size: 1.9rem;
+    color: var(--text);
+    border-bottom: 1px solid var(--border);
+    padding-bottom: 0.4em;
+    margin-top: 1.2em;
+  }
+  h2 {
+    font-size: 1.35rem;
+    border-bottom: 1px solid var(--border);
+    padding-bottom: 0.2em;
+  }
+  h3 { font-size: 1.1rem;  color: var(--sapphire); }
+  h4 { font-size: 0.95rem; color: var(--sub1); }
 
-  p  { margin: 0.75em 0; }
+  p { margin: 0.8em 0; }
 
+  /* ── Title block (pandoc-generated cover) ──────────────────── */
+  #title-block-header {
+    text-align: center;
+    padding: 2.5rem 0 2rem;
+    margin-bottom: 1.5rem;
+    border-bottom: 1px solid var(--border);
+  }
+  #title-block-header .title {
+    font-family: "JetBrains Mono", "Fira Code", ui-monospace, monospace;
+    font-size: 2.6rem;
+    letter-spacing: 0.12em;
+    color: var(--lavender);
+    border: none;
+    margin: 0 0 0.75rem;
+  }
+  #title-block-header .author,
+  #title-block-header .date {
+    color: var(--sub0);
+    font-size: 0.875rem;
+    margin: 0.2rem 0;
+  }
+
+  /* ── Inline code ───────────────────────────────────────────── */
   code {
     font-family: "JetBrains Mono", "Fira Code", ui-monospace, monospace;
     background: var(--code-bg);
@@ -241,86 +295,148 @@
     font-size: 0.875em;
   }
 
+  /* ── Code blocks ───────────────────────────────────────────── */
   pre {
     background: var(--code-bg);
     border: 1px solid var(--border);
-    border-radius: 8px;
-    padding: 1em 1.25em;
+    border-left: 3px solid var(--sapphire);
+    border-radius: 0 8px 8px 0;
+    padding: 1.1em 1.4em;
     overflow-x: auto;
-    line-height: 1.5;
+    line-height: 1.55;
+    margin: 1.2em 0;
   }
   pre code {
     background: none;
     color: var(--text);
     padding: 0;
-    font-size: 0.9em;
+    font-size: 0.88em;
   }
 
+  /* ── Blockquotes ───────────────────────────────────────────── */
   blockquote {
-    border-left: 3px solid var(--blue);
-    margin: 1.2em 0;
-    padding: 0.6em 1.2em;
+    border-left: 3px solid var(--yellow);
+    margin: 1.5em 0;
+    padding: 0.75em 1.25em;
     background: var(--surface);
-    color: var(--subtext);
+    color: var(--sub1);
     border-radius: 0 6px 6px 0;
   }
-  blockquote p { margin: 0; }
+  blockquote p { margin: 0.3em 0; }
 
+  /* ── Tables ────────────────────────────────────────────────── */
   table {
     border-collapse: collapse;
     width: 100%;
-    margin: 1.2em 0;
-    font-size: 0.95em;
+    margin: 1.4em 0;
+    font-size: 0.93em;
   }
   th, td {
     border: 1px solid var(--border);
-    padding: 0.5em 0.85em;
+    padding: 0.55em 0.9em;
     text-align: left;
   }
-  th { background: var(--surface); color: var(--lavender); font-weight: 600; }
+  th {
+    background: var(--surface);
+    color: var(--lavender);
+    font-weight: 600;
+    font-family: "JetBrains Mono", "Fira Code", ui-monospace, monospace;
+    font-size: 0.82em;
+    letter-spacing: 0.06em;
+    text-transform: uppercase;
+  }
   tr:nth-child(even) { background: var(--surface); }
-  tr:hover           { background: var(--overlay); }
+  tr:hover { background: var(--overlay); }
 
-  hr { border: none; border-top: 1px solid var(--border); margin: 2em 0; }
+  /* ── HR ────────────────────────────────────────────────────── */
+  hr { border: none; border-top: 1px solid var(--border); margin: 2.5em 0; }
 
-  ul, ol { padding-left: 1.5em; }
-  li { margin: 0.3em 0; }
+  /* ── Lists ─────────────────────────────────────────────────── */
+  ul, ol { padding-left: 1.6em; }
+  li { margin: 0.35em 0; }
 
-  /* ── Chunk navigation (prev / up / next) ──────────────────────── */
-  nav {
+  /* ── Chunk navigation bar (prev / up / next) ───────────────── */
+  nav:not(#TOC):not([role="doc-toc"]) {
     display: flex;
-    align-items: center;
-    gap: 0.75em;
+    align-items: stretch;
     background: var(--surface);
     border: 1px solid var(--border);
     border-radius: 8px;
-    padding: 0.6em 1em;
     margin: 1.5em 0;
-    font-size: 0.9em;
-    flex-wrap: wrap;
+    font-size: 0.875em;
+    overflow: hidden;
   }
-  nav a {
+  nav:not(#TOC):not([role="doc-toc"]) p {
+    margin: 0;
+    padding: 0.65em 1.2em;
+    display: flex;
+    gap: 1.75em;
+    flex-wrap: wrap;
+    align-items: center;
+    width: 100%;
+  }
+  nav:not(#TOC):not([role="doc-toc"]) a {
     color: var(--blue);
     white-space: nowrap;
   }
-  nav a:hover { color: var(--lavender); }
+  nav:not(#TOC):not([role="doc-toc"]) a:hover { color: var(--lavender); }
 
-  /* ── Table of contents (index page) ──────────────────────────── */
-  nav#toc, nav[role="doc-toc"] {
+  /* ── Table of contents panel ───────────────────────────────── */
+  nav#TOC, nav[role="doc-toc"] {
     display: block;
     background: var(--surface);
     border: 1px solid var(--border);
-    border-radius: 8px;
-    padding: 1em 1.5em;
+    border-left: 3px solid var(--lavender);
+    border-radius: 0 8px 8px 0;
+    padding: 1.2em 1.5em;
+    margin: 1.5em 0;
   }
-  nav#toc ul, nav[role="doc-toc"] ul {
-    padding-left: 1.2em;
-    margin: 0.4em 0;
+  nav#TOC > h2,
+  nav[role="doc-toc"] > h2 {
+    font-size: 0.7rem;
+    letter-spacing: 0.14em;
+    text-transform: uppercase;
+    color: var(--sub0);
+    border: none;
+    margin: 0 0 0.9em;
+    padding: 0;
   }
-  nav#toc li, nav[role="doc-toc"] li {
-    margin: 0.2em 0;
+  nav#TOC ul, nav[role="doc-toc"] ul {
+    list-style: none;
+    padding-left: 1em;
+    margin: 0.25em 0;
+  }
+  nav#TOC > ul, nav[role="doc-toc"] > ul { padding-left: 0; }
+  nav#TOC li, nav[role="doc-toc"] li {
+    margin: 0.3em 0;
+    padding-left: 0.75em;
+    border-left: 1px solid transparent;
+    transition: border-color 0.12s;
+  }
+  nav#TOC li:hover, nav[role="doc-toc"] li:hover {
+    border-left-color: var(--lavender);
+  }
+  nav#TOC a, nav[role="doc-toc"] a {
+    color: var(--sub1);
+    font-size: 0.9em;
+  }
+  nav#TOC a:hover, nav[role="doc-toc"] a:hover {
+    color: var(--lavender);
+    text-decoration: none;
   }
   </style>
+  <script>
+  /* Hide the ToC on every page except index.html */
+  document.addEventListener('DOMContentLoaded', function () {
+    var p = location.pathname;
+    var onIndex = p === '/' || p === '' || /\/index\.html(\?.*)?$/.test(p);
+    if (!onIndex) {
+      var toc = document.getElementById('TOC') ||
+                document.querySelector('[role="doc-toc"]');
+      if (toc) toc.remove();
+    }
+  });
+  </script>
 </head>
 <body>
 <nav id="sitenav">
diff --git a/docs/html/3-description.html b/docs/html/3-description.html
index 5d8f2f7..2f8a9d5 100644
--- a/docs/html/3-description.html
+++ b/docs/html/3-description.html
@@ -168,21 +168,26 @@
     .display.math{display: block; text-align: center; margin: 0.5rem auto;}
   </style>
   <style>
-  /* Catppuccin Latte (light) / Mocha (dark) — auto via prefers-color-scheme */
+  /* ── Catppuccin Latte (light) / Mocha (dark) ─────────────────── */
   :root {
+    color-scheme: light dark;
     --bg:       #eff1f5;
     --surface:  #e6e9ef;
     --overlay:  #ccd0da;
     --text:     #4c4f69;
-    --subtext:  #6c6f85;
+    --sub1:     #6c6f85;
+    --sub0:     #8c8fa1;
     --blue:     #1e66f5;
     --lavender: #7287fd;
+    --sapphire: #209fb5;
     --green:    #40a02b;
-    --red:      #d20f39;
     --yellow:   #df8e1d;
     --peach:    #fe640b;
+    --mauve:    #8839ef;
     --code-bg:  #dce0e8;
     --border:   #bcc0cc;
+    --glow1:    rgba(30, 102, 245, 0.05);
+    --glow2:    rgba(136, 57, 239, 0.04);
   }
 
   @media (prefers-color-scheme: dark) {
@@ -191,47 +196,96 @@
       --surface:  #313244;
       --overlay:  #45475a;
       --text:     #cdd6f4;
-      --subtext:  #a6adc8;
+      --sub1:     #bac2de;
+      --sub0:     #a6adc8;
       --blue:     #89b4fa;
       --lavender: #b4befe;
+      --sapphire: #74c7ec;
       --green:    #a6e3a1;
-      --red:      #f38ba8;
       --yellow:   #f9e2af;
       --peach:    #fab387;
+      --mauve:    #cba6f7;
       --code-bg:  #181825;
       --border:   #45475a;
+      --glow1:    rgba(137, 180, 250, 0.06);
+      --glow2:    rgba(203, 166, 247, 0.05);
     }
   }
 
   *, *::before, *::after { box-sizing: border-box; }
 
-  body {
+  html {
     background-color: var(--bg);
+    background-image:
+      radial-gradient(ellipse 55% 40% at 10% 5%,  var(--glow1) 0%, transparent 100%),
+      radial-gradient(ellipse 45% 45% at 90% 95%, var(--glow2) 0%, transparent 100%);
+    min-height: 100%;
+  }
+
+  body {
     color: var(--text);
-    font-family: system-ui, -apple-system, "Segoe UI", sans-serif;
+    font-family: system-ui, -apple-system, "Segoe UI", Helvetica, sans-serif;
     font-size: 16px;
-    line-height: 1.7;
-    max-width: 900px;
+    line-height: 1.75;
+    max-width: 880px;
     margin: 0 auto;
-    padding: 1.5rem 2rem 4rem;
+    padding: 2rem 2.5rem 5rem;
+    min-height: 100vh;
   }
 
-  a            { color: var(--blue); text-decoration: none; }
-  a:hover      { color: var(--lavender); text-decoration: underline; }
-  a:visited    { color: var(--lavender); }
+  /* ── Links ─────────────────────────────────────────────────── */
+  a         { color: var(--blue); text-decoration: none; }
+  a:hover   { color: var(--lavender); text-decoration: underline; }
+  a:visited { color: var(--lavender); }
 
+  /* ── Headings ──────────────────────────────────────────────── */
   h1, h2, h3, h4, h5, h6 {
+    font-family: "JetBrains Mono", "Fira Code", ui-monospace, monospace;
     color: var(--lavender);
-    margin-top: 1.8em;
-    margin-bottom: 0.4em;
     line-height: 1.3;
+    margin-top: 2em;
+    margin-bottom: 0.5em;
   }
-  h1 { font-size: 2em;   border-bottom: 2px solid var(--border); padding-bottom: 0.3em; }
-  h2 { font-size: 1.5em; border-bottom: 1px solid var(--border); padding-bottom: 0.2em; }
-  h3 { font-size: 1.2em; }
+  h1 {
+    font-size: 1.9rem;
+    color: var(--text);
+    border-bottom: 1px solid var(--border);
+    padding-bottom: 0.4em;
+    margin-top: 1.2em;
+  }
+  h2 {
+    font-size: 1.35rem;
+    border-bottom: 1px solid var(--border);
+    padding-bottom: 0.2em;
+  }
+  h3 { font-size: 1.1rem;  color: var(--sapphire); }
+  h4 { font-size: 0.95rem; color: var(--sub1); }
 
-  p  { margin: 0.75em 0; }
+  p { margin: 0.8em 0; }
 
+  /* ── Title block (pandoc-generated cover) ──────────────────── */
+  #title-block-header {
+    text-align: center;
+    padding: 2.5rem 0 2rem;
+    margin-bottom: 1.5rem;
+    border-bottom: 1px solid var(--border);
+  }
+  #title-block-header .title {
+    font-family: "JetBrains Mono", "Fira Code", ui-monospace, monospace;
+    font-size: 2.6rem;
+    letter-spacing: 0.12em;
+    color: var(--lavender);
+    border: none;
+    margin: 0 0 0.75rem;
+  }
+  #title-block-header .author,
+  #title-block-header .date {
+    color: var(--sub0);
+    font-size: 0.875rem;
+    margin: 0.2rem 0;
+  }
+
+  /* ── Inline code ───────────────────────────────────────────── */
   code {
     font-family: "JetBrains Mono", "Fira Code", ui-monospace, monospace;
     background: var(--code-bg);
@@ -241,86 +295,148 @@
     font-size: 0.875em;
   }
 
+  /* ── Code blocks ───────────────────────────────────────────── */
   pre {
     background: var(--code-bg);
     border: 1px solid var(--border);
-    border-radius: 8px;
-    padding: 1em 1.25em;
+    border-left: 3px solid var(--sapphire);
+    border-radius: 0 8px 8px 0;
+    padding: 1.1em 1.4em;
     overflow-x: auto;
-    line-height: 1.5;
+    line-height: 1.55;
+    margin: 1.2em 0;
   }
   pre code {
     background: none;
     color: var(--text);
     padding: 0;
-    font-size: 0.9em;
+    font-size: 0.88em;
   }
 
+  /* ── Blockquotes ───────────────────────────────────────────── */
   blockquote {
-    border-left: 3px solid var(--blue);
-    margin: 1.2em 0;
-    padding: 0.6em 1.2em;
+    border-left: 3px solid var(--yellow);
+    margin: 1.5em 0;
+    padding: 0.75em 1.25em;
     background: var(--surface);
-    color: var(--subtext);
+    color: var(--sub1);
     border-radius: 0 6px 6px 0;
   }
-  blockquote p { margin: 0; }
+  blockquote p { margin: 0.3em 0; }
 
+  /* ── Tables ────────────────────────────────────────────────── */
   table {
     border-collapse: collapse;
     width: 100%;
-    margin: 1.2em 0;
-    font-size: 0.95em;
+    margin: 1.4em 0;
+    font-size: 0.93em;
   }
   th, td {
     border: 1px solid var(--border);
-    padding: 0.5em 0.85em;
+    padding: 0.55em 0.9em;
     text-align: left;
   }
-  th { background: var(--surface); color: var(--lavender); font-weight: 600; }
+  th {
+    background: var(--surface);
+    color: var(--lavender);
+    font-weight: 600;
+    font-family: "JetBrains Mono", "Fira Code", ui-monospace, monospace;
+    font-size: 0.82em;
+    letter-spacing: 0.06em;
+    text-transform: uppercase;
+  }
   tr:nth-child(even) { background: var(--surface); }
-  tr:hover           { background: var(--overlay); }
+  tr:hover { background: var(--overlay); }
 
-  hr { border: none; border-top: 1px solid var(--border); margin: 2em 0; }
+  /* ── HR ────────────────────────────────────────────────────── */
+  hr { border: none; border-top: 1px solid var(--border); margin: 2.5em 0; }
 
-  ul, ol { padding-left: 1.5em; }
-  li { margin: 0.3em 0; }
+  /* ── Lists ─────────────────────────────────────────────────── */
+  ul, ol { padding-left: 1.6em; }
+  li { margin: 0.35em 0; }
 
-  /* ── Chunk navigation (prev / up / next) ──────────────────────── */
-  nav {
+  /* ── Chunk navigation bar (prev / up / next) ───────────────── */
+  nav:not(#TOC):not([role="doc-toc"]) {
     display: flex;
-    align-items: center;
-    gap: 0.75em;
+    align-items: stretch;
     background: var(--surface);
     border: 1px solid var(--border);
     border-radius: 8px;
-    padding: 0.6em 1em;
     margin: 1.5em 0;
-    font-size: 0.9em;
-    flex-wrap: wrap;
+    font-size: 0.875em;
+    overflow: hidden;
   }
-  nav a {
+  nav:not(#TOC):not([role="doc-toc"]) p {
+    margin: 0;
+    padding: 0.65em 1.2em;
+    display: flex;
+    gap: 1.75em;
+    flex-wrap: wrap;
+    align-items: center;
+    width: 100%;
+  }
+  nav:not(#TOC):not([role="doc-toc"]) a {
     color: var(--blue);
     white-space: nowrap;
   }
-  nav a:hover { color: var(--lavender); }
+  nav:not(#TOC):not([role="doc-toc"]) a:hover { color: var(--lavender); }
 
-  /* ── Table of contents (index page) ──────────────────────────── */
-  nav#toc, nav[role="doc-toc"] {
+  /* ── Table of contents panel ───────────────────────────────── */
+  nav#TOC, nav[role="doc-toc"] {
     display: block;
     background: var(--surface);
     border: 1px solid var(--border);
-    border-radius: 8px;
-    padding: 1em 1.5em;
+    border-left: 3px solid var(--lavender);
+    border-radius: 0 8px 8px 0;
+    padding: 1.2em 1.5em;
+    margin: 1.5em 0;
   }
-  nav#toc ul, nav[role="doc-toc"] ul {
-    padding-left: 1.2em;
-    margin: 0.4em 0;
+  nav#TOC > h2,
+  nav[role="doc-toc"] > h2 {
+    font-size: 0.7rem;
+    letter-spacing: 0.14em;
+    text-transform: uppercase;
+    color: var(--sub0);
+    border: none;
+    margin: 0 0 0.9em;
+    padding: 0;
   }
-  nav#toc li, nav[role="doc-toc"] li {
-    margin: 0.2em 0;
+  nav#TOC ul, nav[role="doc-toc"] ul {
+    list-style: none;
+    padding-left: 1em;
+    margin: 0.25em 0;
+  }
+  nav#TOC > ul, nav[role="doc-toc"] > ul { padding-left: 0; }
+  nav#TOC li, nav[role="doc-toc"] li {
+    margin: 0.3em 0;
+    padding-left: 0.75em;
+    border-left: 1px solid transparent;
+    transition: border-color 0.12s;
+  }
+  nav#TOC li:hover, nav[role="doc-toc"] li:hover {
+    border-left-color: var(--lavender);
+  }
+  nav#TOC a, nav[role="doc-toc"] a {
+    color: var(--sub1);
+    font-size: 0.9em;
+  }
+  nav#TOC a:hover, nav[role="doc-toc"] a:hover {
+    color: var(--lavender);
+    text-decoration: none;
   }
   </style>
+  <script>
+  /* Hide the ToC on every page except index.html */
+  document.addEventListener('DOMContentLoaded', function () {
+    var p = location.pathname;
+    var onIndex = p === '/' || p === '' || /\/index\.html(\?.*)?$/.test(p);
+    if (!onIndex) {
+      var toc = document.getElementById('TOC') ||
+                document.querySelector('[role="doc-toc"]');
+      if (toc) toc.remove();
+    }
+  });
+  </script>
 </head>
 <body>
 <nav id="sitenav">
diff --git a/docs/html/4-table-of-contents.html b/docs/html/4-table-of-contents.html
index 5f16106..9da4c62 100644
--- a/docs/html/4-table-of-contents.html
+++ b/docs/html/4-table-of-contents.html
@@ -168,21 +168,26 @@
     .display.math{display: block; text-align: center; margin: 0.5rem auto;}
   </style>
   <style>
-  /* Catppuccin Latte (light) / Mocha (dark) — auto via prefers-color-scheme */
+  /* ── Catppuccin Latte (light) / Mocha (dark) ─────────────────── */
   :root {
+    color-scheme: light dark;
     --bg:       #eff1f5;
     --surface:  #e6e9ef;
     --overlay:  #ccd0da;
     --text:     #4c4f69;
-    --subtext:  #6c6f85;
+    --sub1:     #6c6f85;
+    --sub0:     #8c8fa1;
     --blue:     #1e66f5;
     --lavender: #7287fd;
+    --sapphire: #209fb5;
     --green:    #40a02b;
-    --red:      #d20f39;
     --yellow:   #df8e1d;
     --peach:    #fe640b;
+    --mauve:    #8839ef;
     --code-bg:  #dce0e8;
     --border:   #bcc0cc;
+    --glow1:    rgba(30, 102, 245, 0.05);
+    --glow2:    rgba(136, 57, 239, 0.04);
   }
 
   @media (prefers-color-scheme: dark) {
@@ -191,47 +196,96 @@
       --surface:  #313244;
       --overlay:  #45475a;
       --text:     #cdd6f4;
-      --subtext:  #a6adc8;
+      --sub1:     #bac2de;
+      --sub0:     #a6adc8;
       --blue:     #89b4fa;
       --lavender: #b4befe;
+      --sapphire: #74c7ec;
       --green:    #a6e3a1;
-      --red:      #f38ba8;
       --yellow:   #f9e2af;
       --peach:    #fab387;
+      --mauve:    #cba6f7;
       --code-bg:  #181825;
       --border:   #45475a;
+      --glow1:    rgba(137, 180, 250, 0.06);
+      --glow2:    rgba(203, 166, 247, 0.05);
     }
   }
 
   *, *::before, *::after { box-sizing: border-box; }
 
-  body {
+  html {
     background-color: var(--bg);
+    background-image:
+      radial-gradient(ellipse 55% 40% at 10% 5%,  var(--glow1) 0%, transparent 100%),
+      radial-gradient(ellipse 45% 45% at 90% 95%, var(--glow2) 0%, transparent 100%);
+    min-height: 100%;
+  }
+
+  body {
     color: var(--text);
-    font-family: system-ui, -apple-system, "Segoe UI", sans-serif;
+    font-family: system-ui, -apple-system, "Segoe UI", Helvetica, sans-serif;
     font-size: 16px;
-    line-height: 1.7;
-    max-width: 900px;
+    line-height: 1.75;
+    max-width: 880px;
     margin: 0 auto;
-    padding: 1.5rem 2rem 4rem;
+    padding: 2rem 2.5rem 5rem;
+    min-height: 100vh;
   }
 
-  a            { color: var(--blue); text-decoration: none; }
-  a:hover      { color: var(--lavender); text-decoration: underline; }
-  a:visited    { color: var(--lavender); }
+  /* ── Links ─────────────────────────────────────────────────── */
+  a         { color: var(--blue); text-decoration: none; }
+  a:hover   { color: var(--lavender); text-decoration: underline; }
+  a:visited { color: var(--lavender); }
 
+  /* ── Headings ──────────────────────────────────────────────── */
   h1, h2, h3, h4, h5, h6 {
+    font-family: "JetBrains Mono", "Fira Code", ui-monospace, monospace;
     color: var(--lavender);
-    margin-top: 1.8em;
-    margin-bottom: 0.4em;
     line-height: 1.3;
+    margin-top: 2em;
+    margin-bottom: 0.5em;
   }
-  h1 { font-size: 2em;   border-bottom: 2px solid var(--border); padding-bottom: 0.3em; }
-  h2 { font-size: 1.5em; border-bottom: 1px solid var(--border); padding-bottom: 0.2em; }
-  h3 { font-size: 1.2em; }
+  h1 {
+    font-size: 1.9rem;
+    color: var(--text);
+    border-bottom: 1px solid var(--border);
+    padding-bottom: 0.4em;
+    margin-top: 1.2em;
+  }
+  h2 {
+    font-size: 1.35rem;
+    border-bottom: 1px solid var(--border);
+    padding-bottom: 0.2em;
+  }
+  h3 { font-size: 1.1rem;  color: var(--sapphire); }
+  h4 { font-size: 0.95rem; color: var(--sub1); }
 
-  p  { margin: 0.75em 0; }
+  p { margin: 0.8em 0; }
 
+  /* ── Title block (pandoc-generated cover) ──────────────────── */
+  #title-block-header {
+    text-align: center;
+    padding: 2.5rem 0 2rem;
+    margin-bottom: 1.5rem;
+    border-bottom: 1px solid var(--border);
+  }
+  #title-block-header .title {
+    font-family: "JetBrains Mono", "Fira Code", ui-monospace, monospace;
+    font-size: 2.6rem;
+    letter-spacing: 0.12em;
+    color: var(--lavender);
+    border: none;
+    margin: 0 0 0.75rem;
+  }
+  #title-block-header .author,
+  #title-block-header .date {
+    color: var(--sub0);
+    font-size: 0.875rem;
+    margin: 0.2rem 0;
+  }
+
+  /* ── Inline code ───────────────────────────────────────────── */
   code {
     font-family: "JetBrains Mono", "Fira Code", ui-monospace, monospace;
     background: var(--code-bg);
@@ -241,86 +295,148 @@
     font-size: 0.875em;
   }
 
+  /* ── Code blocks ───────────────────────────────────────────── */
   pre {
     background: var(--code-bg);
     border: 1px solid var(--border);
-    border-radius: 8px;
-    padding: 1em 1.25em;
+    border-left: 3px solid var(--sapphire);
+    border-radius: 0 8px 8px 0;
+    padding: 1.1em 1.4em;
     overflow-x: auto;
-    line-height: 1.5;
+    line-height: 1.55;
+    margin: 1.2em 0;
   }
   pre code {
     background: none;
     color: var(--text);
     padding: 0;
-    font-size: 0.9em;
+    font-size: 0.88em;
   }
 
+  /* ── Blockquotes ───────────────────────────────────────────── */
   blockquote {
-    border-left: 3px solid var(--blue);
-    margin: 1.2em 0;
-    padding: 0.6em 1.2em;
+    border-left: 3px solid var(--yellow);
+    margin: 1.5em 0;
+    padding: 0.75em 1.25em;
     background: var(--surface);
-    color: var(--subtext);
+    color: var(--sub1);
     border-radius: 0 6px 6px 0;
   }
-  blockquote p { margin: 0; }
+  blockquote p { margin: 0.3em 0; }
 
+  /* ── Tables ────────────────────────────────────────────────── */
   table {
     border-collapse: collapse;
     width: 100%;
-    margin: 1.2em 0;
-    font-size: 0.95em;
+    margin: 1.4em 0;
+    font-size: 0.93em;
   }
   th, td {
     border: 1px solid var(--border);
-    padding: 0.5em 0.85em;
+    padding: 0.55em 0.9em;
     text-align: left;
   }
-  th { background: var(--surface); color: var(--lavender); font-weight: 600; }
+  th {
+    background: var(--surface);
+    color: var(--lavender);
+    font-weight: 600;
+    font-family: "JetBrains Mono", "Fira Code", ui-monospace, monospace;
+    font-size: 0.82em;
+    letter-spacing: 0.06em;
+    text-transform: uppercase;
+  }
   tr:nth-child(even) { background: var(--surface); }
-  tr:hover           { background: var(--overlay); }
+  tr:hover { background: var(--overlay); }
 
-  hr { border: none; border-top: 1px solid var(--border); margin: 2em 0; }
+  /* ── HR ────────────────────────────────────────────────────── */
+  hr { border: none; border-top: 1px solid var(--border); margin: 2.5em 0; }
 
-  ul, ol { padding-left: 1.5em; }
-  li { margin: 0.3em 0; }
+  /* ── Lists ─────────────────────────────────────────────────── */
+  ul, ol { padding-left: 1.6em; }
+  li { margin: 0.35em 0; }
 
-  /* ── Chunk navigation (prev / up / next) ──────────────────────── */
-  nav {
+  /* ── Chunk navigation bar (prev / up / next) ───────────────── */
+  nav:not(#TOC):not([role="doc-toc"]) {
     display: flex;
-    align-items: center;
-    gap: 0.75em;
+    align-items: stretch;
     background: var(--surface);
     border: 1px solid var(--border);
     border-radius: 8px;
-    padding: 0.6em 1em;
     margin: 1.5em 0;
-    font-size: 0.9em;
-    flex-wrap: wrap;
+    font-size: 0.875em;
+    overflow: hidden;
   }
-  nav a {
+  nav:not(#TOC):not([role="doc-toc"]) p {
+    margin: 0;
+    padding: 0.65em 1.2em;
+    display: flex;
+    gap: 1.75em;
+    flex-wrap: wrap;
+    align-items: center;
+    width: 100%;
+  }
+  nav:not(#TOC):not([role="doc-toc"]) a {
     color: var(--blue);
     white-space: nowrap;
   }
-  nav a:hover { color: var(--lavender); }
+  nav:not(#TOC):not([role="doc-toc"]) a:hover { color: var(--lavender); }
 
-  /* ── Table of contents (index page) ──────────────────────────── */
-  nav#toc, nav[role="doc-toc"] {
+  /* ── Table of contents panel ───────────────────────────────── */
+  nav#TOC, nav[role="doc-toc"] {
     display: block;
     background: var(--surface);
     border: 1px solid var(--border);
-    border-radius: 8px;
-    padding: 1em 1.5em;
+    border-left: 3px solid var(--lavender);
+    border-radius: 0 8px 8px 0;
+    padding: 1.2em 1.5em;
+    margin: 1.5em 0;
   }
-  nav#toc ul, nav[role="doc-toc"] ul {
-    padding-left: 1.2em;
-    margin: 0.4em 0;
+  nav#TOC > h2,
+  nav[role="doc-toc"] > h2 {
+    font-size: 0.7rem;
+    letter-spacing: 0.14em;
+    text-transform: uppercase;
+    color: var(--sub0);
+    border: none;
+    margin: 0 0 0.9em;
+    padding: 0;
   }
-  nav#toc li, nav[role="doc-toc"] li {
-    margin: 0.2em 0;
+  nav#TOC ul, nav[role="doc-toc"] ul {
+    list-style: none;
+    padding-left: 1em;
+    margin: 0.25em 0;
+  }
+  nav#TOC > ul, nav[role="doc-toc"] > ul { padding-left: 0; }
+  nav#TOC li, nav[role="doc-toc"] li {
+    margin: 0.3em 0;
+    padding-left: 0.75em;
+    border-left: 1px solid transparent;
+    transition: border-color 0.12s;
+  }
+  nav#TOC li:hover, nav[role="doc-toc"] li:hover {
+    border-left-color: var(--lavender);
+  }
+  nav#TOC a, nav[role="doc-toc"] a {
+    color: var(--sub1);
+    font-size: 0.9em;
+  }
+  nav#TOC a:hover, nav[role="doc-toc"] a:hover {
+    color: var(--lavender);
+    text-decoration: none;
   }
   </style>
+  <script>
+  /* Hide the ToC on every page except index.html */
+  document.addEventListener('DOMContentLoaded', function () {
+    var p = location.pathname;
+    var onIndex = p === '/' || p === '' || /\/index\.html(\?.*)?$/.test(p);
+    if (!onIndex) {
+      var toc = document.getElementById('TOC') ||
+                document.querySelector('[role="doc-toc"]');
+      if (toc) toc.remove();
+    }
+  });
+  </script>
 </head>
 <body>
 <nav id="sitenav">
diff --git a/docs/html/5-1-configuration-variables.html b/docs/html/5-1-configuration-variables.html
index 6d811b6..85177c4 100644
--- a/docs/html/5-1-configuration-variables.html
+++ b/docs/html/5-1-configuration-variables.html
@@ -168,21 +168,26 @@
     .display.math{display: block; text-align: center; margin: 0.5rem auto;}
   </style>
   <style>
-  /* Catppuccin Latte (light) / Mocha (dark) — auto via prefers-color-scheme */
+  /* ── Catppuccin Latte (light) / Mocha (dark) ─────────────────── */
   :root {
+    color-scheme: light dark;
     --bg:       #eff1f5;
     --surface:  #e6e9ef;
     --overlay:  #ccd0da;
     --text:     #4c4f69;
-    --subtext:  #6c6f85;
+    --sub1:     #6c6f85;
+    --sub0:     #8c8fa1;
     --blue:     #1e66f5;
     --lavender: #7287fd;
+    --sapphire: #209fb5;
     --green:    #40a02b;
-    --red:      #d20f39;
     --yellow:   #df8e1d;
     --peach:    #fe640b;
+    --mauve:    #8839ef;
     --code-bg:  #dce0e8;
     --border:   #bcc0cc;
+    --glow1:    rgba(30, 102, 245, 0.05);
+    --glow2:    rgba(136, 57, 239, 0.04);
   }
 
   @media (prefers-color-scheme: dark) {
@@ -191,47 +196,96 @@
       --surface:  #313244;
       --overlay:  #45475a;
       --text:     #cdd6f4;
-      --subtext:  #a6adc8;
+      --sub1:     #bac2de;
+      --sub0:     #a6adc8;
       --blue:     #89b4fa;
       --lavender: #b4befe;
+      --sapphire: #74c7ec;
       --green:    #a6e3a1;
-      --red:      #f38ba8;
       --yellow:   #f9e2af;
       --peach:    #fab387;
+      --mauve:    #cba6f7;
       --code-bg:  #181825;
       --border:   #45475a;
+      --glow1:    rgba(137, 180, 250, 0.06);
+      --glow2:    rgba(203, 166, 247, 0.05);
     }
   }
 
   *, *::before, *::after { box-sizing: border-box; }
 
-  body {
+  html {
     background-color: var(--bg);
+    background-image:
+      radial-gradient(ellipse 55% 40% at 10% 5%,  var(--glow1) 0%, transparent 100%),
+      radial-gradient(ellipse 45% 45% at 90% 95%, var(--glow2) 0%, transparent 100%);
+    min-height: 100%;
+  }
+
+  body {
     color: var(--text);
-    font-family: system-ui, -apple-system, "Segoe UI", sans-serif;
+    font-family: system-ui, -apple-system, "Segoe UI", Helvetica, sans-serif;
     font-size: 16px;
-    line-height: 1.7;
-    max-width: 900px;
+    line-height: 1.75;
+    max-width: 880px;
     margin: 0 auto;
-    padding: 1.5rem 2rem 4rem;
+    padding: 2rem 2.5rem 5rem;
+    min-height: 100vh;
   }
 
-  a            { color: var(--blue); text-decoration: none; }
-  a:hover      { color: var(--lavender); text-decoration: underline; }
-  a:visited    { color: var(--lavender); }
+  /* ── Links ─────────────────────────────────────────────────── */
+  a         { color: var(--blue); text-decoration: none; }
+  a:hover   { color: var(--lavender); text-decoration: underline; }
+  a:visited { color: var(--lavender); }
 
+  /* ── Headings ──────────────────────────────────────────────── */
   h1, h2, h3, h4, h5, h6 {
+    font-family: "JetBrains Mono", "Fira Code", ui-monospace, monospace;
     color: var(--lavender);
-    margin-top: 1.8em;
-    margin-bottom: 0.4em;
     line-height: 1.3;
+    margin-top: 2em;
+    margin-bottom: 0.5em;
   }
-  h1 { font-size: 2em;   border-bottom: 2px solid var(--border); padding-bottom: 0.3em; }
-  h2 { font-size: 1.5em; border-bottom: 1px solid var(--border); padding-bottom: 0.2em; }
-  h3 { font-size: 1.2em; }
+  h1 {
+    font-size: 1.9rem;
+    color: var(--text);
+    border-bottom: 1px solid var(--border);
+    padding-bottom: 0.4em;
+    margin-top: 1.2em;
+  }
+  h2 {
+    font-size: 1.35rem;
+    border-bottom: 1px solid var(--border);
+    padding-bottom: 0.2em;
+  }
+  h3 { font-size: 1.1rem;  color: var(--sapphire); }
+  h4 { font-size: 0.95rem; color: var(--sub1); }
 
-  p  { margin: 0.75em 0; }
+  p { margin: 0.8em 0; }
 
+  /* ── Title block (pandoc-generated cover) ──────────────────── */
+  #title-block-header {
+    text-align: center;
+    padding: 2.5rem 0 2rem;
+    margin-bottom: 1.5rem;
+    border-bottom: 1px solid var(--border);
+  }
+  #title-block-header .title {
+    font-family: "JetBrains Mono", "Fira Code", ui-monospace, monospace;
+    font-size: 2.6rem;
+    letter-spacing: 0.12em;
+    color: var(--lavender);
+    border: none;
+    margin: 0 0 0.75rem;
+  }
+  #title-block-header .author,
+  #title-block-header .date {
+    color: var(--sub0);
+    font-size: 0.875rem;
+    margin: 0.2rem 0;
+  }
+
+  /* ── Inline code ───────────────────────────────────────────── */
   code {
     font-family: "JetBrains Mono", "Fira Code", ui-monospace, monospace;
     background: var(--code-bg);
@@ -241,86 +295,148 @@
     font-size: 0.875em;
   }
 
+  /* ── Code blocks ───────────────────────────────────────────── */
   pre {
     background: var(--code-bg);
     border: 1px solid var(--border);
-    border-radius: 8px;
-    padding: 1em 1.25em;
+    border-left: 3px solid var(--sapphire);
+    border-radius: 0 8px 8px 0;
+    padding: 1.1em 1.4em;
     overflow-x: auto;
-    line-height: 1.5;
+    line-height: 1.55;
+    margin: 1.2em 0;
   }
   pre code {
     background: none;
     color: var(--text);
     padding: 0;
-    font-size: 0.9em;
+    font-size: 0.88em;
   }
 
+  /* ── Blockquotes ───────────────────────────────────────────── */
   blockquote {
-    border-left: 3px solid var(--blue);
-    margin: 1.2em 0;
-    padding: 0.6em 1.2em;
+    border-left: 3px solid var(--yellow);
+    margin: 1.5em 0;
+    padding: 0.75em 1.25em;
     background: var(--surface);
-    color: var(--subtext);
+    color: var(--sub1);
     border-radius: 0 6px 6px 0;
   }
-  blockquote p { margin: 0; }
+  blockquote p { margin: 0.3em 0; }
 
+  /* ── Tables ────────────────────────────────────────────────── */
   table {
     border-collapse: collapse;
     width: 100%;
-    margin: 1.2em 0;
-    font-size: 0.95em;
+    margin: 1.4em 0;
+    font-size: 0.93em;
   }
   th, td {
     border: 1px solid var(--border);
-    padding: 0.5em 0.85em;
+    padding: 0.55em 0.9em;
     text-align: left;
   }
-  th { background: var(--surface); color: var(--lavender); font-weight: 600; }
+  th {
+    background: var(--surface);
+    color: var(--lavender);
+    font-weight: 600;
+    font-family: "JetBrains Mono", "Fira Code", ui-monospace, monospace;
+    font-size: 0.82em;
+    letter-spacing: 0.06em;
+    text-transform: uppercase;
+  }
   tr:nth-child(even) { background: var(--surface); }
-  tr:hover           { background: var(--overlay); }
+  tr:hover { background: var(--overlay); }
 
-  hr { border: none; border-top: 1px solid var(--border); margin: 2em 0; }
+  /* ── HR ────────────────────────────────────────────────────── */
+  hr { border: none; border-top: 1px solid var(--border); margin: 2.5em 0; }
 
-  ul, ol { padding-left: 1.5em; }
-  li { margin: 0.3em 0; }
+  /* ── Lists ─────────────────────────────────────────────────── */
+  ul, ol { padding-left: 1.6em; }
+  li { margin: 0.35em 0; }
 
-  /* ── Chunk navigation (prev / up / next) ──────────────────────── */
-  nav {
+  /* ── Chunk navigation bar (prev / up / next) ───────────────── */
+  nav:not(#TOC):not([role="doc-toc"]) {
     display: flex;
-    align-items: center;
-    gap: 0.75em;
+    align-items: stretch;
     background: var(--surface);
     border: 1px solid var(--border);
     border-radius: 8px;
-    padding: 0.6em 1em;
     margin: 1.5em 0;
-    font-size: 0.9em;
-    flex-wrap: wrap;
+    font-size: 0.875em;
+    overflow: hidden;
   }
-  nav a {
+  nav:not(#TOC):not([role="doc-toc"]) p {
+    margin: 0;
+    padding: 0.65em 1.2em;
+    display: flex;
+    gap: 1.75em;
+    flex-wrap: wrap;
+    align-items: center;
+    width: 100%;
+  }
+  nav:not(#TOC):not([role="doc-toc"]) a {
     color: var(--blue);
     white-space: nowrap;
   }
-  nav a:hover { color: var(--lavender); }
+  nav:not(#TOC):not([role="doc-toc"]) a:hover { color: var(--lavender); }
 
-  /* ── Table of contents (index page) ──────────────────────────── */
-  nav#toc, nav[role="doc-toc"] {
+  /* ── Table of contents panel ───────────────────────────────── */
+  nav#TOC, nav[role="doc-toc"] {
     display: block;
     background: var(--surface);
     border: 1px solid var(--border);
-    border-radius: 8px;
-    padding: 1em 1.5em;
+    border-left: 3px solid var(--lavender);
+    border-radius: 0 8px 8px 0;
+    padding: 1.2em 1.5em;
+    margin: 1.5em 0;
   }
-  nav#toc ul, nav[role="doc-toc"] ul {
-    padding-left: 1.2em;
-    margin: 0.4em 0;
+  nav#TOC > h2,
+  nav[role="doc-toc"] > h2 {
+    font-size: 0.7rem;
+    letter-spacing: 0.14em;
+    text-transform: uppercase;
+    color: var(--sub0);
+    border: none;
+    margin: 0 0 0.9em;
+    padding: 0;
   }
-  nav#toc li, nav[role="doc-toc"] li {
-    margin: 0.2em 0;
+  nav#TOC ul, nav[role="doc-toc"] ul {
+    list-style: none;
+    padding-left: 1em;
+    margin: 0.25em 0;
+  }
+  nav#TOC > ul, nav[role="doc-toc"] > ul { padding-left: 0; }
+  nav#TOC li, nav[role="doc-toc"] li {
+    margin: 0.3em 0;
+    padding-left: 0.75em;
+    border-left: 1px solid transparent;
+    transition: border-color 0.12s;
+  }
+  nav#TOC li:hover, nav[role="doc-toc"] li:hover {
+    border-left-color: var(--lavender);
+  }
+  nav#TOC a, nav[role="doc-toc"] a {
+    color: var(--sub1);
+    font-size: 0.9em;
+  }
+  nav#TOC a:hover, nav[role="doc-toc"] a:hover {
+    color: var(--lavender);
+    text-decoration: none;
   }
   </style>
+  <script>
+  /* Hide the ToC on every page except index.html */
+  document.addEventListener('DOMContentLoaded', function () {
+    var p = location.pathname;
+    var onIndex = p === '/' || p === '' || /\/index\.html(\?.*)?$/.test(p);
+    if (!onIndex) {
+      var toc = document.getElementById('TOC') ||
+                document.querySelector('[role="doc-toc"]');
+      if (toc) toc.remove();
+    }
+  });
+  </script>
 </head>
 <body>
 <nav id="sitenav">
diff --git a/docs/html/6-2-path-setup.html b/docs/html/6-2-path-setup.html
index db852a3..11256ee 100644
--- a/docs/html/6-2-path-setup.html
+++ b/docs/html/6-2-path-setup.html
@@ -168,21 +168,26 @@
     .display.math{display: block; text-align: center; margin: 0.5rem auto;}
   </style>
   <style>
-  /* Catppuccin Latte (light) / Mocha (dark) — auto via prefers-color-scheme */
+  /* ── Catppuccin Latte (light) / Mocha (dark) ─────────────────── */
   :root {
+    color-scheme: light dark;
     --bg:       #eff1f5;
     --surface:  #e6e9ef;
     --overlay:  #ccd0da;
     --text:     #4c4f69;
-    --subtext:  #6c6f85;
+    --sub1:     #6c6f85;
+    --sub0:     #8c8fa1;
     --blue:     #1e66f5;
     --lavender: #7287fd;
+    --sapphire: #209fb5;
     --green:    #40a02b;
-    --red:      #d20f39;
     --yellow:   #df8e1d;
     --peach:    #fe640b;
+    --mauve:    #8839ef;
     --code-bg:  #dce0e8;
     --border:   #bcc0cc;
+    --glow1:    rgba(30, 102, 245, 0.05);
+    --glow2:    rgba(136, 57, 239, 0.04);
   }
 
   @media (prefers-color-scheme: dark) {
@@ -191,47 +196,96 @@
       --surface:  #313244;
       --overlay:  #45475a;
       --text:     #cdd6f4;
-      --subtext:  #a6adc8;
+      --sub1:     #bac2de;
+      --sub0:     #a6adc8;
       --blue:     #89b4fa;
       --lavender: #b4befe;
+      --sapphire: #74c7ec;
       --green:    #a6e3a1;
-      --red:      #f38ba8;
       --yellow:   #f9e2af;
       --peach:    #fab387;
+      --mauve:    #cba6f7;
       --code-bg:  #181825;
       --border:   #45475a;
+      --glow1:    rgba(137, 180, 250, 0.06);
+      --glow2:    rgba(203, 166, 247, 0.05);
     }
   }
 
   *, *::before, *::after { box-sizing: border-box; }
 
-  body {
+  html {
     background-color: var(--bg);
+    background-image:
+      radial-gradient(ellipse 55% 40% at 10% 5%,  var(--glow1) 0%, transparent 100%),
+      radial-gradient(ellipse 45% 45% at 90% 95%, var(--glow2) 0%, transparent 100%);
+    min-height: 100%;
+  }
+
+  body {
     color: var(--text);
-    font-family: system-ui, -apple-system, "Segoe UI", sans-serif;
+    font-family: system-ui, -apple-system, "Segoe UI", Helvetica, sans-serif;
     font-size: 16px;
-    line-height: 1.7;
-    max-width: 900px;
+    line-height: 1.75;
+    max-width: 880px;
     margin: 0 auto;
-    padding: 1.5rem 2rem 4rem;
+    padding: 2rem 2.5rem 5rem;
+    min-height: 100vh;
   }
 
-  a            { color: var(--blue); text-decoration: none; }
-  a:hover      { color: var(--lavender); text-decoration: underline; }
-  a:visited    { color: var(--lavender); }
+  /* ── Links ─────────────────────────────────────────────────── */
+  a         { color: var(--blue); text-decoration: none; }
+  a:hover   { color: var(--lavender); text-decoration: underline; }
+  a:visited { color: var(--lavender); }
 
+  /* ── Headings ──────────────────────────────────────────────── */
   h1, h2, h3, h4, h5, h6 {
+    font-family: "JetBrains Mono", "Fira Code", ui-monospace, monospace;
     color: var(--lavender);
-    margin-top: 1.8em;
-    margin-bottom: 0.4em;
     line-height: 1.3;
+    margin-top: 2em;
+    margin-bottom: 0.5em;
   }
-  h1 { font-size: 2em;   border-bottom: 2px solid var(--border); padding-bottom: 0.3em; }
-  h2 { font-size: 1.5em; border-bottom: 1px solid var(--border); padding-bottom: 0.2em; }
-  h3 { font-size: 1.2em; }
+  h1 {
+    font-size: 1.9rem;
+    color: var(--text);
+    border-bottom: 1px solid var(--border);
+    padding-bottom: 0.4em;
+    margin-top: 1.2em;
+  }
+  h2 {
+    font-size: 1.35rem;
+    border-bottom: 1px solid var(--border);
+    padding-bottom: 0.2em;
+  }
+  h3 { font-size: 1.1rem;  color: var(--sapphire); }
+  h4 { font-size: 0.95rem; color: var(--sub1); }
 
-  p  { margin: 0.75em 0; }
+  p { margin: 0.8em 0; }
 
+  /* ── Title block (pandoc-generated cover) ──────────────────── */
+  #title-block-header {
+    text-align: center;
+    padding: 2.5rem 0 2rem;
+    margin-bottom: 1.5rem;
+    border-bottom: 1px solid var(--border);
+  }
+  #title-block-header .title {
+    font-family: "JetBrains Mono", "Fira Code", ui-monospace, monospace;
+    font-size: 2.6rem;
+    letter-spacing: 0.12em;
+    color: var(--lavender);
+    border: none;
+    margin: 0 0 0.75rem;
+  }
+  #title-block-header .author,
+  #title-block-header .date {
+    color: var(--sub0);
+    font-size: 0.875rem;
+    margin: 0.2rem 0;
+  }
+
+  /* ── Inline code ───────────────────────────────────────────── */
   code {
     font-family: "JetBrains Mono", "Fira Code", ui-monospace, monospace;
     background: var(--code-bg);
@@ -241,86 +295,148 @@
     font-size: 0.875em;
   }
 
+  /* ── Code blocks ───────────────────────────────────────────── */
   pre {
     background: var(--code-bg);
     border: 1px solid var(--border);
-    border-radius: 8px;
-    padding: 1em 1.25em;
+    border-left: 3px solid var(--sapphire);
+    border-radius: 0 8px 8px 0;
+    padding: 1.1em 1.4em;
     overflow-x: auto;
-    line-height: 1.5;
+    line-height: 1.55;
+    margin: 1.2em 0;
   }
   pre code {
     background: none;
     color: var(--text);
     padding: 0;
-    font-size: 0.9em;
+    font-size: 0.88em;
   }
 
+  /* ── Blockquotes ───────────────────────────────────────────── */
   blockquote {
-    border-left: 3px solid var(--blue);
-    margin: 1.2em 0;
-    padding: 0.6em 1.2em;
+    border-left: 3px solid var(--yellow);
+    margin: 1.5em 0;
+    padding: 0.75em 1.25em;
     background: var(--surface);
-    color: var(--subtext);
+    color: var(--sub1);
     border-radius: 0 6px 6px 0;
   }
-  blockquote p { margin: 0; }
+  blockquote p { margin: 0.3em 0; }
 
+  /* ── Tables ────────────────────────────────────────────────── */
   table {
     border-collapse: collapse;
     width: 100%;
-    margin: 1.2em 0;
-    font-size: 0.95em;
+    margin: 1.4em 0;
+    font-size: 0.93em;
   }
   th, td {
     border: 1px solid var(--border);
-    padding: 0.5em 0.85em;
+    padding: 0.55em 0.9em;
     text-align: left;
   }
-  th { background: var(--surface); color: var(--lavender); font-weight: 600; }
+  th {
+    background: var(--surface);
+    color: var(--lavender);
+    font-weight: 600;
+    font-family: "JetBrains Mono", "Fira Code", ui-monospace, monospace;
+    font-size: 0.82em;
+    letter-spacing: 0.06em;
+    text-transform: uppercase;
+  }
   tr:nth-child(even) { background: var(--surface); }
-  tr:hover           { background: var(--overlay); }
+  tr:hover { background: var(--overlay); }
 
-  hr { border: none; border-top: 1px solid var(--border); margin: 2em 0; }
+  /* ── HR ────────────────────────────────────────────────────── */
+  hr { border: none; border-top: 1px solid var(--border); margin: 2.5em 0; }
 
-  ul, ol { padding-left: 1.5em; }
-  li { margin: 0.3em 0; }
+  /* ── Lists ─────────────────────────────────────────────────── */
+  ul, ol { padding-left: 1.6em; }
+  li { margin: 0.35em 0; }
 
-  /* ── Chunk navigation (prev / up / next) ──────────────────────── */
-  nav {
+  /* ── Chunk navigation bar (prev / up / next) ───────────────── */
+  nav:not(#TOC):not([role="doc-toc"]) {
     display: flex;
-    align-items: center;
-    gap: 0.75em;
+    align-items: stretch;
     background: var(--surface);
     border: 1px solid var(--border);
     border-radius: 8px;
-    padding: 0.6em 1em;
     margin: 1.5em 0;
-    font-size: 0.9em;
-    flex-wrap: wrap;
+    font-size: 0.875em;
+    overflow: hidden;
   }
-  nav a {
+  nav:not(#TOC):not([role="doc-toc"]) p {
+    margin: 0;
+    padding: 0.65em 1.2em;
+    display: flex;
+    gap: 1.75em;
+    flex-wrap: wrap;
+    align-items: center;
+    width: 100%;
+  }
+  nav:not(#TOC):not([role="doc-toc"]) a {
     color: var(--blue);
     white-space: nowrap;
   }
-  nav a:hover { color: var(--lavender); }
+  nav:not(#TOC):not([role="doc-toc"]) a:hover { color: var(--lavender); }
 
-  /* ── Table of contents (index page) ──────────────────────────── */
-  nav#toc, nav[role="doc-toc"] {
+  /* ── Table of contents panel ───────────────────────────────── */
+  nav#TOC, nav[role="doc-toc"] {
     display: block;
     background: var(--surface);
     border: 1px solid var(--border);
-    border-radius: 8px;
-    padding: 1em 1.5em;
+    border-left: 3px solid var(--lavender);
+    border-radius: 0 8px 8px 0;
+    padding: 1.2em 1.5em;
+    margin: 1.5em 0;
   }
-  nav#toc ul, nav[role="doc-toc"] ul {
-    padding-left: 1.2em;
-    margin: 0.4em 0;
+  nav#TOC > h2,
+  nav[role="doc-toc"] > h2 {
+    font-size: 0.7rem;
+    letter-spacing: 0.14em;
+    text-transform: uppercase;
+    color: var(--sub0);
+    border: none;
+    margin: 0 0 0.9em;
+    padding: 0;
   }
-  nav#toc li, nav[role="doc-toc"] li {
-    margin: 0.2em 0;
+  nav#TOC ul, nav[role="doc-toc"] ul {
+    list-style: none;
+    padding-left: 1em;
+    margin: 0.25em 0;
+  }
+  nav#TOC > ul, nav[role="doc-toc"] > ul { padding-left: 0; }
+  nav#TOC li, nav[role="doc-toc"] li {
+    margin: 0.3em 0;
+    padding-left: 0.75em;
+    border-left: 1px solid transparent;
+    transition: border-color 0.12s;
+  }
+  nav#TOC li:hover, nav[role="doc-toc"] li:hover {
+    border-left-color: var(--lavender);
+  }
+  nav#TOC a, nav[role="doc-toc"] a {
+    color: var(--sub1);
+    font-size: 0.9em;
+  }
+  nav#TOC a:hover, nav[role="doc-toc"] a:hover {
+    color: var(--lavender);
+    text-decoration: none;
   }
   </style>
+  <script>
+  /* Hide the ToC on every page except index.html */
+  document.addEventListener('DOMContentLoaded', function () {
+    var p = location.pathname;
+    var onIndex = p === '/' || p === '' || /\/index\.html(\?.*)?$/.test(p);
+    if (!onIndex) {
+      var toc = document.getElementById('TOC') ||
+                document.querySelector('[role="doc-toc"]');
+      if (toc) toc.remove();
+    }
+  });
+  </script>
 </head>
 <body>
 <nav id="sitenav">
diff --git a/docs/html/7-3-key-bindings.html b/docs/html/7-3-key-bindings.html
index 0162721..e78351a 100644
--- a/docs/html/7-3-key-bindings.html
+++ b/docs/html/7-3-key-bindings.html
@@ -168,21 +168,26 @@
     .display.math{display: block; text-align: center; margin: 0.5rem auto;}
   </style>
   <style>
-  /* Catppuccin Latte (light) / Mocha (dark) — auto via prefers-color-scheme */
+  /* ── Catppuccin Latte (light) / Mocha (dark) ─────────────────── */
   :root {
+    color-scheme: light dark;
     --bg:       #eff1f5;
     --surface:  #e6e9ef;
     --overlay:  #ccd0da;
     --text:     #4c4f69;
-    --subtext:  #6c6f85;
+    --sub1:     #6c6f85;
+    --sub0:     #8c8fa1;
     --blue:     #1e66f5;
     --lavender: #7287fd;
+    --sapphire: #209fb5;
     --green:    #40a02b;
-    --red:      #d20f39;
     --yellow:   #df8e1d;
     --peach:    #fe640b;
+    --mauve:    #8839ef;
     --code-bg:  #dce0e8;
     --border:   #bcc0cc;
+    --glow1:    rgba(30, 102, 245, 0.05);
+    --glow2:    rgba(136, 57, 239, 0.04);
   }
 
   @media (prefers-color-scheme: dark) {
@@ -191,47 +196,96 @@
       --surface:  #313244;
       --overlay:  #45475a;
       --text:     #cdd6f4;
-      --subtext:  #a6adc8;
+      --sub1:     #bac2de;
+      --sub0:     #a6adc8;
       --blue:     #89b4fa;
       --lavender: #b4befe;
+      --sapphire: #74c7ec;
       --green:    #a6e3a1;
-      --red:      #f38ba8;
       --yellow:   #f9e2af;
       --peach:    #fab387;
+      --mauve:    #cba6f7;
       --code-bg:  #181825;
       --border:   #45475a;
+      --glow1:    rgba(137, 180, 250, 0.06);
+      --glow2:    rgba(203, 166, 247, 0.05);
     }
   }
 
   *, *::before, *::after { box-sizing: border-box; }
 
-  body {
+  html {
     background-color: var(--bg);
+    background-image:
+      radial-gradient(ellipse 55% 40% at 10% 5%,  var(--glow1) 0%, transparent 100%),
+      radial-gradient(ellipse 45% 45% at 90% 95%, var(--glow2) 0%, transparent 100%);
+    min-height: 100%;
+  }
+
+  body {
     color: var(--text);
-    font-family: system-ui, -apple-system, "Segoe UI", sans-serif;
+    font-family: system-ui, -apple-system, "Segoe UI", Helvetica, sans-serif;
     font-size: 16px;
-    line-height: 1.7;
-    max-width: 900px;
+    line-height: 1.75;
+    max-width: 880px;
     margin: 0 auto;
-    padding: 1.5rem 2rem 4rem;
+    padding: 2rem 2.5rem 5rem;
+    min-height: 100vh;
   }
 
-  a            { color: var(--blue); text-decoration: none; }
-  a:hover      { color: var(--lavender); text-decoration: underline; }
-  a:visited    { color: var(--lavender); }
+  /* ── Links ─────────────────────────────────────────────────── */
+  a         { color: var(--blue); text-decoration: none; }
+  a:hover   { color: var(--lavender); text-decoration: underline; }
+  a:visited { color: var(--lavender); }
 
+  /* ── Headings ──────────────────────────────────────────────── */
   h1, h2, h3, h4, h5, h6 {
+    font-family: "JetBrains Mono", "Fira Code", ui-monospace, monospace;
     color: var(--lavender);
-    margin-top: 1.8em;
-    margin-bottom: 0.4em;
     line-height: 1.3;
+    margin-top: 2em;
+    margin-bottom: 0.5em;
   }
-  h1 { font-size: 2em;   border-bottom: 2px solid var(--border); padding-bottom: 0.3em; }
-  h2 { font-size: 1.5em; border-bottom: 1px solid var(--border); padding-bottom: 0.2em; }
-  h3 { font-size: 1.2em; }
+  h1 {
+    font-size: 1.9rem;
+    color: var(--text);
+    border-bottom: 1px solid var(--border);
+    padding-bottom: 0.4em;
+    margin-top: 1.2em;
+  }
+  h2 {
+    font-size: 1.35rem;
+    border-bottom: 1px solid var(--border);
+    padding-bottom: 0.2em;
+  }
+  h3 { font-size: 1.1rem;  color: var(--sapphire); }
+  h4 { font-size: 0.95rem; color: var(--sub1); }
 
-  p  { margin: 0.75em 0; }
+  p { margin: 0.8em 0; }
 
+  /* ── Title block (pandoc-generated cover) ──────────────────── */
+  #title-block-header {
+    text-align: center;
+    padding: 2.5rem 0 2rem;
+    margin-bottom: 1.5rem;
+    border-bottom: 1px solid var(--border);
+  }
+  #title-block-header .title {
+    font-family: "JetBrains Mono", "Fira Code", ui-monospace, monospace;
+    font-size: 2.6rem;
+    letter-spacing: 0.12em;
+    color: var(--lavender);
+    border: none;
+    margin: 0 0 0.75rem;
+  }
+  #title-block-header .author,
+  #title-block-header .date {
+    color: var(--sub0);
+    font-size: 0.875rem;
+    margin: 0.2rem 0;
+  }
+
+  /* ── Inline code ───────────────────────────────────────────── */
   code {
     font-family: "JetBrains Mono", "Fira Code", ui-monospace, monospace;
     background: var(--code-bg);
@@ -241,86 +295,148 @@
     font-size: 0.875em;
   }
 
+  /* ── Code blocks ───────────────────────────────────────────── */
   pre {
     background: var(--code-bg);
     border: 1px solid var(--border);
-    border-radius: 8px;
-    padding: 1em 1.25em;
+    border-left: 3px solid var(--sapphire);
+    border-radius: 0 8px 8px 0;
+    padding: 1.1em 1.4em;
     overflow-x: auto;
-    line-height: 1.5;
+    line-height: 1.55;
+    margin: 1.2em 0;
   }
   pre code {
     background: none;
     color: var(--text);
     padding: 0;
-    font-size: 0.9em;
+    font-size: 0.88em;
   }
 
+  /* ── Blockquotes ───────────────────────────────────────────── */
   blockquote {
-    border-left: 3px solid var(--blue);
-    margin: 1.2em 0;
-    padding: 0.6em 1.2em;
+    border-left: 3px solid var(--yellow);
+    margin: 1.5em 0;
+    padding: 0.75em 1.25em;
     background: var(--surface);
-    color: var(--subtext);
+    color: var(--sub1);
     border-radius: 0 6px 6px 0;
   }
-  blockquote p { margin: 0; }
+  blockquote p { margin: 0.3em 0; }
 
+  /* ── Tables ────────────────────────────────────────────────── */
   table {
     border-collapse: collapse;
     width: 100%;
-    margin: 1.2em 0;
-    font-size: 0.95em;
+    margin: 1.4em 0;
+    font-size: 0.93em;
   }
   th, td {
     border: 1px solid var(--border);
-    padding: 0.5em 0.85em;
+    padding: 0.55em 0.9em;
     text-align: left;
   }
-  th { background: var(--surface); color: var(--lavender); font-weight: 600; }
+  th {
+    background: var(--surface);
+    color: var(--lavender);
+    font-weight: 600;
+    font-family: "JetBrains Mono", "Fira Code", ui-monospace, monospace;
+    font-size: 0.82em;
+    letter-spacing: 0.06em;
+    text-transform: uppercase;
+  }
   tr:nth-child(even) { background: var(--surface); }
-  tr:hover           { background: var(--overlay); }
+  tr:hover { background: var(--overlay); }
 
-  hr { border: none; border-top: 1px solid var(--border); margin: 2em 0; }
+  /* ── HR ────────────────────────────────────────────────────── */
+  hr { border: none; border-top: 1px solid var(--border); margin: 2.5em 0; }
 
-  ul, ol { padding-left: 1.5em; }
-  li { margin: 0.3em 0; }
+  /* ── Lists ─────────────────────────────────────────────────── */
+  ul, ol { padding-left: 1.6em; }
+  li { margin: 0.35em 0; }
 
-  /* ── Chunk navigation (prev / up / next) ──────────────────────── */
-  nav {
+  /* ── Chunk navigation bar (prev / up / next) ───────────────── */
+  nav:not(#TOC):not([role="doc-toc"]) {
     display: flex;
-    align-items: center;
-    gap: 0.75em;
+    align-items: stretch;
     background: var(--surface);
     border: 1px solid var(--border);
     border-radius: 8px;
-    padding: 0.6em 1em;
     margin: 1.5em 0;
-    font-size: 0.9em;
-    flex-wrap: wrap;
+    font-size: 0.875em;
+    overflow: hidden;
   }
-  nav a {
+  nav:not(#TOC):not([role="doc-toc"]) p {
+    margin: 0;
+    padding: 0.65em 1.2em;
+    display: flex;
+    gap: 1.75em;
+    flex-wrap: wrap;
+    align-items: center;
+    width: 100%;
+  }
+  nav:not(#TOC):not([role="doc-toc"]) a {
     color: var(--blue);
     white-space: nowrap;
   }
-  nav a:hover { color: var(--lavender); }
+  nav:not(#TOC):not([role="doc-toc"]) a:hover { color: var(--lavender); }
 
-  /* ── Table of contents (index page) ──────────────────────────── */
-  nav#toc, nav[role="doc-toc"] {
+  /* ── Table of contents panel ───────────────────────────────── */
+  nav#TOC, nav[role="doc-toc"] {
     display: block;
     background: var(--surface);
     border: 1px solid var(--border);
-    border-radius: 8px;
-    padding: 1em 1.5em;
+    border-left: 3px solid var(--lavender);
+    border-radius: 0 8px 8px 0;
+    padding: 1.2em 1.5em;
+    margin: 1.5em 0;
   }
-  nav#toc ul, nav[role="doc-toc"] ul {
-    padding-left: 1.2em;
-    margin: 0.4em 0;
+  nav#TOC > h2,
+  nav[role="doc-toc"] > h2 {
+    font-size: 0.7rem;
+    letter-spacing: 0.14em;
+    text-transform: uppercase;
+    color: var(--sub0);
+    border: none;
+    margin: 0 0 0.9em;
+    padding: 0;
   }
-  nav#toc li, nav[role="doc-toc"] li {
-    margin: 0.2em 0;
+  nav#TOC ul, nav[role="doc-toc"] ul {
+    list-style: none;
+    padding-left: 1em;
+    margin: 0.25em 0;
+  }
+  nav#TOC > ul, nav[role="doc-toc"] > ul { padding-left: 0; }
+  nav#TOC li, nav[role="doc-toc"] li {
+    margin: 0.3em 0;
+    padding-left: 0.75em;
+    border-left: 1px solid transparent;
+    transition: border-color 0.12s;
+  }
+  nav#TOC li:hover, nav[role="doc-toc"] li:hover {
+    border-left-color: var(--lavender);
+  }
+  nav#TOC a, nav[role="doc-toc"] a {
+    color: var(--sub1);
+    font-size: 0.9em;
+  }
+  nav#TOC a:hover, nav[role="doc-toc"] a:hover {
+    color: var(--lavender);
+    text-decoration: none;
   }
   </style>
+  <script>
+  /* Hide the ToC on every page except index.html */
+  document.addEventListener('DOMContentLoaded', function () {
+    var p = location.pathname;
+    var onIndex = p === '/' || p === '' || /\/index\.html(\?.*)?$/.test(p);
+    if (!onIndex) {
+      var toc = document.getElementById('TOC') ||
+                document.querySelector('[role="doc-toc"]');
+      if (toc) toc.remove();
+    }
+  });
+  </script>
 </head>
 <body>
 <nav id="sitenav">
diff --git a/docs/html/8-4-abbreviations.html b/docs/html/8-4-abbreviations.html
index 1ee2fae..836abc6 100644
--- a/docs/html/8-4-abbreviations.html
+++ b/docs/html/8-4-abbreviations.html
@@ -168,21 +168,26 @@
     .display.math{display: block; text-align: center; margin: 0.5rem auto;}
   </style>
   <style>
-  /* Catppuccin Latte (light) / Mocha (dark) — auto via prefers-color-scheme */
+  /* ── Catppuccin Latte (light) / Mocha (dark) ─────────────────── */
   :root {
+    color-scheme: light dark;
     --bg:       #eff1f5;
     --surface:  #e6e9ef;
     --overlay:  #ccd0da;
     --text:     #4c4f69;
-    --subtext:  #6c6f85;
+    --sub1:     #6c6f85;
+    --sub0:     #8c8fa1;
     --blue:     #1e66f5;
     --lavender: #7287fd;
+    --sapphire: #209fb5;
     --green:    #40a02b;
-    --red:      #d20f39;
     --yellow:   #df8e1d;
     --peach:    #fe640b;
+    --mauve:    #8839ef;
     --code-bg:  #dce0e8;
     --border:   #bcc0cc;
+    --glow1:    rgba(30, 102, 245, 0.05);
+    --glow2:    rgba(136, 57, 239, 0.04);
   }
 
   @media (prefers-color-scheme: dark) {
@@ -191,47 +196,96 @@
       --surface:  #313244;
       --overlay:  #45475a;
       --text:     #cdd6f4;
-      --subtext:  #a6adc8;
+      --sub1:     #bac2de;
+      --sub0:     #a6adc8;
       --blue:     #89b4fa;
       --lavender: #b4befe;
+      --sapphire: #74c7ec;
       --green:    #a6e3a1;
-      --red:      #f38ba8;
       --yellow:   #f9e2af;
       --peach:    #fab387;
+      --mauve:    #cba6f7;
       --code-bg:  #181825;
       --border:   #45475a;
+      --glow1:    rgba(137, 180, 250, 0.06);
+      --glow2:    rgba(203, 166, 247, 0.05);
     }
   }
 
   *, *::before, *::after { box-sizing: border-box; }
 
-  body {
+  html {
     background-color: var(--bg);
+    background-image:
+      radial-gradient(ellipse 55% 40% at 10% 5%,  var(--glow1) 0%, transparent 100%),
+      radial-gradient(ellipse 45% 45% at 90% 95%, var(--glow2) 0%, transparent 100%);
+    min-height: 100%;
+  }
+
+  body {
     color: var(--text);
-    font-family: system-ui, -apple-system, "Segoe UI", sans-serif;
+    font-family: system-ui, -apple-system, "Segoe UI", Helvetica, sans-serif;
     font-size: 16px;
-    line-height: 1.7;
-    max-width: 900px;
+    line-height: 1.75;
+    max-width: 880px;
     margin: 0 auto;
-    padding: 1.5rem 2rem 4rem;
+    padding: 2rem 2.5rem 5rem;
+    min-height: 100vh;
   }
 
-  a            { color: var(--blue); text-decoration: none; }
-  a:hover      { color: var(--lavender); text-decoration: underline; }
-  a:visited    { color: var(--lavender); }
+  /* ── Links ─────────────────────────────────────────────────── */
+  a         { color: var(--blue); text-decoration: none; }
+  a:hover   { color: var(--lavender); text-decoration: underline; }
+  a:visited { color: var(--lavender); }
 
+  /* ── Headings ──────────────────────────────────────────────── */
   h1, h2, h3, h4, h5, h6 {
+    font-family: "JetBrains Mono", "Fira Code", ui-monospace, monospace;
     color: var(--lavender);
-    margin-top: 1.8em;
-    margin-bottom: 0.4em;
     line-height: 1.3;
+    margin-top: 2em;
+    margin-bottom: 0.5em;
   }
-  h1 { font-size: 2em;   border-bottom: 2px solid var(--border); padding-bottom: 0.3em; }
-  h2 { font-size: 1.5em; border-bottom: 1px solid var(--border); padding-bottom: 0.2em; }
-  h3 { font-size: 1.2em; }
+  h1 {
+    font-size: 1.9rem;
+    color: var(--text);
+    border-bottom: 1px solid var(--border);
+    padding-bottom: 0.4em;
+    margin-top: 1.2em;
+  }
+  h2 {
+    font-size: 1.35rem;
+    border-bottom: 1px solid var(--border);
+    padding-bottom: 0.2em;
+  }
+  h3 { font-size: 1.1rem;  color: var(--sapphire); }
+  h4 { font-size: 0.95rem; color: var(--sub1); }
 
-  p  { margin: 0.75em 0; }
+  p { margin: 0.8em 0; }
 
+  /* ── Title block (pandoc-generated cover) ──────────────────── */
+  #title-block-header {
+    text-align: center;
+    padding: 2.5rem 0 2rem;
+    margin-bottom: 1.5rem;
+    border-bottom: 1px solid var(--border);
+  }
+  #title-block-header .title {
+    font-family: "JetBrains Mono", "Fira Code", ui-monospace, monospace;
+    font-size: 2.6rem;
+    letter-spacing: 0.12em;
+    color: var(--lavender);
+    border: none;
+    margin: 0 0 0.75rem;
+  }
+  #title-block-header .author,
+  #title-block-header .date {
+    color: var(--sub0);
+    font-size: 0.875rem;
+    margin: 0.2rem 0;
+  }
+
+  /* ── Inline code ───────────────────────────────────────────── */
   code {
     font-family: "JetBrains Mono", "Fira Code", ui-monospace, monospace;
     background: var(--code-bg);
@@ -241,86 +295,148 @@
     font-size: 0.875em;
   }
 
+  /* ── Code blocks ───────────────────────────────────────────── */
   pre {
     background: var(--code-bg);
     border: 1px solid var(--border);
-    border-radius: 8px;
-    padding: 1em 1.25em;
+    border-left: 3px solid var(--sapphire);
+    border-radius: 0 8px 8px 0;
+    padding: 1.1em 1.4em;
     overflow-x: auto;
-    line-height: 1.5;
+    line-height: 1.55;
+    margin: 1.2em 0;
   }
   pre code {
     background: none;
     color: var(--text);
     padding: 0;
-    font-size: 0.9em;
+    font-size: 0.88em;
   }
 
+  /* ── Blockquotes ───────────────────────────────────────────── */
   blockquote {
-    border-left: 3px solid var(--blue);
-    margin: 1.2em 0;
-    padding: 0.6em 1.2em;
+    border-left: 3px solid var(--yellow);
+    margin: 1.5em 0;
+    padding: 0.75em 1.25em;
     background: var(--surface);
-    color: var(--subtext);
+    color: var(--sub1);
     border-radius: 0 6px 6px 0;
   }
-  blockquote p { margin: 0; }
+  blockquote p { margin: 0.3em 0; }
 
+  /* ── Tables ────────────────────────────────────────────────── */
   table {
     border-collapse: collapse;
     width: 100%;
-    margin: 1.2em 0;
-    font-size: 0.95em;
+    margin: 1.4em 0;
+    font-size: 0.93em;
   }
   th, td {
     border: 1px solid var(--border);
-    padding: 0.5em 0.85em;
+    padding: 0.55em 0.9em;
     text-align: left;
   }
-  th { background: var(--surface); color: var(--lavender); font-weight: 600; }
+  th {
+    background: var(--surface);
+    color: var(--lavender);
+    font-weight: 600;
+    font-family: "JetBrains Mono", "Fira Code", ui-monospace, monospace;
+    font-size: 0.82em;
+    letter-spacing: 0.06em;
+    text-transform: uppercase;
+  }
   tr:nth-child(even) { background: var(--surface); }
-  tr:hover           { background: var(--overlay); }
+  tr:hover { background: var(--overlay); }
 
-  hr { border: none; border-top: 1px solid var(--border); margin: 2em 0; }
+  /* ── HR ────────────────────────────────────────────────────── */
+  hr { border: none; border-top: 1px solid var(--border); margin: 2.5em 0; }
 
-  ul, ol { padding-left: 1.5em; }
-  li { margin: 0.3em 0; }
+  /* ── Lists ─────────────────────────────────────────────────── */
+  ul, ol { padding-left: 1.6em; }
+  li { margin: 0.35em 0; }
 
-  /* ── Chunk navigation (prev / up / next) ──────────────────────── */
-  nav {
+  /* ── Chunk navigation bar (prev / up / next) ───────────────── */
+  nav:not(#TOC):not([role="doc-toc"]) {
     display: flex;
-    align-items: center;
-    gap: 0.75em;
+    align-items: stretch;
     background: var(--surface);
     border: 1px solid var(--border);
     border-radius: 8px;
-    padding: 0.6em 1em;
     margin: 1.5em 0;
-    font-size: 0.9em;
-    flex-wrap: wrap;
+    font-size: 0.875em;
+    overflow: hidden;
   }
-  nav a {
+  nav:not(#TOC):not([role="doc-toc"]) p {
+    margin: 0;
+    padding: 0.65em 1.2em;
+    display: flex;
+    gap: 1.75em;
+    flex-wrap: wrap;
+    align-items: center;
+    width: 100%;
+  }
+  nav:not(#TOC):not([role="doc-toc"]) a {
     color: var(--blue);
     white-space: nowrap;
   }
-  nav a:hover { color: var(--lavender); }
+  nav:not(#TOC):not([role="doc-toc"]) a:hover { color: var(--lavender); }
 
-  /* ── Table of contents (index page) ──────────────────────────── */
-  nav#toc, nav[role="doc-toc"] {
+  /* ── Table of contents panel ───────────────────────────────── */
+  nav#TOC, nav[role="doc-toc"] {
     display: block;
     background: var(--surface);
     border: 1px solid var(--border);
-    border-radius: 8px;
-    padding: 1em 1.5em;
+    border-left: 3px solid var(--lavender);
+    border-radius: 0 8px 8px 0;
+    padding: 1.2em 1.5em;
+    margin: 1.5em 0;
   }
-  nav#toc ul, nav[role="doc-toc"] ul {
-    padding-left: 1.2em;
-    margin: 0.4em 0;
+  nav#TOC > h2,
+  nav[role="doc-toc"] > h2 {
+    font-size: 0.7rem;
+    letter-spacing: 0.14em;
+    text-transform: uppercase;
+    color: var(--sub0);
+    border: none;
+    margin: 0 0 0.9em;
+    padding: 0;
   }
-  nav#toc li, nav[role="doc-toc"] li {
-    margin: 0.2em 0;
+  nav#TOC ul, nav[role="doc-toc"] ul {
+    list-style: none;
+    padding-left: 1em;
+    margin: 0.25em 0;
+  }
+  nav#TOC > ul, nav[role="doc-toc"] > ul { padding-left: 0; }
+  nav#TOC li, nav[role="doc-toc"] li {
+    margin: 0.3em 0;
+    padding-left: 0.75em;
+    border-left: 1px solid transparent;
+    transition: border-color 0.12s;
+  }
+  nav#TOC li:hover, nav[role="doc-toc"] li:hover {
+    border-left-color: var(--lavender);
+  }
+  nav#TOC a, nav[role="doc-toc"] a {
+    color: var(--sub1);
+    font-size: 0.9em;
+  }
+  nav#TOC a:hover, nav[role="doc-toc"] a:hover {
+    color: var(--lavender);
+    text-decoration: none;
   }
   </style>
+  <script>
+  /* Hide the ToC on every page except index.html */
+  document.addEventListener('DOMContentLoaded', function () {
+    var p = location.pathname;
+    var onIndex = p === '/' || p === '' || /\/index\.html(\?.*)?$/.test(p);
+    if (!onIndex) {
+      var toc = document.getElementById('TOC') ||
+                document.querySelector('[role="doc-toc"]');
+      if (toc) toc.remove();
+    }
+  });
+  </script>
 </head>
 <body>
 <nav id="sitenav">
diff --git a/docs/html/9-5-functions-reference.html b/docs/html/9-5-functions-reference.html
index 2032323..37e1db9 100644
--- a/docs/html/9-5-functions-reference.html
+++ b/docs/html/9-5-functions-reference.html
@@ -168,21 +168,26 @@
     .display.math{display: block; text-align: center; margin: 0.5rem auto;}
   </style>
   <style>
-  /* Catppuccin Latte (light) / Mocha (dark) — auto via prefers-color-scheme */
+  /* ── Catppuccin Latte (light) / Mocha (dark) ─────────────────── */
   :root {
+    color-scheme: light dark;
     --bg:       #eff1f5;
     --surface:  #e6e9ef;
     --overlay:  #ccd0da;
     --text:     #4c4f69;
-    --subtext:  #6c6f85;
+    --sub1:     #6c6f85;
+    --sub0:     #8c8fa1;
     --blue:     #1e66f5;
     --lavender: #7287fd;
+    --sapphire: #209fb5;
     --green:    #40a02b;
-    --red:      #d20f39;
     --yellow:   #df8e1d;
     --peach:    #fe640b;
+    --mauve:    #8839ef;
     --code-bg:  #dce0e8;
     --border:   #bcc0cc;
+    --glow1:    rgba(30, 102, 245, 0.05);
+    --glow2:    rgba(136, 57, 239, 0.04);
   }
 
   @media (prefers-color-scheme: dark) {
@@ -191,47 +196,96 @@
       --surface:  #313244;
       --overlay:  #45475a;
       --text:     #cdd6f4;
-      --subtext:  #a6adc8;
+      --sub1:     #bac2de;
+      --sub0:     #a6adc8;
       --blue:     #89b4fa;
       --lavender: #b4befe;
+      --sapphire: #74c7ec;
       --green:    #a6e3a1;
-      --red:      #f38ba8;
       --yellow:   #f9e2af;
       --peach:    #fab387;
+      --mauve:    #cba6f7;
       --code-bg:  #181825;
       --border:   #45475a;
+      --glow1:    rgba(137, 180, 250, 0.06);
+      --glow2:    rgba(203, 166, 247, 0.05);
     }
   }
 
   *, *::before, *::after { box-sizing: border-box; }
 
-  body {
+  html {
     background-color: var(--bg);
+    background-image:
+      radial-gradient(ellipse 55% 40% at 10% 5%,  var(--glow1) 0%, transparent 100%),
+      radial-gradient(ellipse 45% 45% at 90% 95%, var(--glow2) 0%, transparent 100%);
+    min-height: 100%;
+  }
+
+  body {
     color: var(--text);
-    font-family: system-ui, -apple-system, "Segoe UI", sans-serif;
+    font-family: system-ui, -apple-system, "Segoe UI", Helvetica, sans-serif;
     font-size: 16px;
-    line-height: 1.7;
-    max-width: 900px;
+    line-height: 1.75;
+    max-width: 880px;
     margin: 0 auto;
-    padding: 1.5rem 2rem 4rem;
+    padding: 2rem 2.5rem 5rem;
+    min-height: 100vh;
   }
 
-  a            { color: var(--blue); text-decoration: none; }
-  a:hover      { color: var(--lavender); text-decoration: underline; }
-  a:visited    { color: var(--lavender); }
+  /* ── Links ─────────────────────────────────────────────────── */
+  a         { color: var(--blue); text-decoration: none; }
+  a:hover   { color: var(--lavender); text-decoration: underline; }
+  a:visited { color: var(--lavender); }
 
+  /* ── Headings ──────────────────────────────────────────────── */
   h1, h2, h3, h4, h5, h6 {
+    font-family: "JetBrains Mono", "Fira Code", ui-monospace, monospace;
     color: var(--lavender);
-    margin-top: 1.8em;
-    margin-bottom: 0.4em;
     line-height: 1.3;
+    margin-top: 2em;
+    margin-bottom: 0.5em;
   }
-  h1 { font-size: 2em;   border-bottom: 2px solid var(--border); padding-bottom: 0.3em; }
-  h2 { font-size: 1.5em; border-bottom: 1px solid var(--border); padding-bottom: 0.2em; }
-  h3 { font-size: 1.2em; }
+  h1 {
+    font-size: 1.9rem;
+    color: var(--text);
+    border-bottom: 1px solid var(--border);
+    padding-bottom: 0.4em;
+    margin-top: 1.2em;
+  }
+  h2 {
+    font-size: 1.35rem;
+    border-bottom: 1px solid var(--border);
+    padding-bottom: 0.2em;
+  }
+  h3 { font-size: 1.1rem;  color: var(--sapphire); }
+  h4 { font-size: 0.95rem; color: var(--sub1); }
 
-  p  { margin: 0.75em 0; }
+  p { margin: 0.8em 0; }
 
+  /* ── Title block (pandoc-generated cover) ──────────────────── */
+  #title-block-header {
+    text-align: center;
+    padding: 2.5rem 0 2rem;
+    margin-bottom: 1.5rem;
+    border-bottom: 1px solid var(--border);
+  }
+  #title-block-header .title {
+    font-family: "JetBrains Mono", "Fira Code", ui-monospace, monospace;
+    font-size: 2.6rem;
+    letter-spacing: 0.12em;
+    color: var(--lavender);
+    border: none;
+    margin: 0 0 0.75rem;
+  }
+  #title-block-header .author,
+  #title-block-header .date {
+    color: var(--sub0);
+    font-size: 0.875rem;
+    margin: 0.2rem 0;
+  }
+
+  /* ── Inline code ───────────────────────────────────────────── */
   code {
     font-family: "JetBrains Mono", "Fira Code", ui-monospace, monospace;
     background: var(--code-bg);
@@ -241,86 +295,148 @@
     font-size: 0.875em;
   }
 
+  /* ── Code blocks ───────────────────────────────────────────── */
   pre {
     background: var(--code-bg);
     border: 1px solid var(--border);
-    border-radius: 8px;
-    padding: 1em 1.25em;
+    border-left: 3px solid var(--sapphire);
+    border-radius: 0 8px 8px 0;
+    padding: 1.1em 1.4em;
     overflow-x: auto;
-    line-height: 1.5;
+    line-height: 1.55;
+    margin: 1.2em 0;
   }
   pre code {
     background: none;
     color: var(--text);
     padding: 0;
-    font-size: 0.9em;
+    font-size: 0.88em;
   }
 
+  /* ── Blockquotes ───────────────────────────────────────────── */
   blockquote {
-    border-left: 3px solid var(--blue);
-    margin: 1.2em 0;
-    padding: 0.6em 1.2em;
+    border-left: 3px solid var(--yellow);
+    margin: 1.5em 0;
+    padding: 0.75em 1.25em;
     background: var(--surface);
-    color: var(--subtext);
+    color: var(--sub1);
     border-radius: 0 6px 6px 0;
   }
-  blockquote p { margin: 0; }
+  blockquote p { margin: 0.3em 0; }
 
+  /* ── Tables ────────────────────────────────────────────────── */
   table {
     border-collapse: collapse;
     width: 100%;
-    margin: 1.2em 0;
-    font-size: 0.95em;
+    margin: 1.4em 0;
+    font-size: 0.93em;
   }
   th, td {
     border: 1px solid var(--border);
-    padding: 0.5em 0.85em;
+    padding: 0.55em 0.9em;
     text-align: left;
   }
-  th { background: var(--surface); color: var(--lavender); font-weight: 600; }
+  th {
+    background: var(--surface);
+    color: var(--lavender);
+    font-weight: 600;
+    font-family: "JetBrains Mono", "Fira Code", ui-monospace, monospace;
+    font-size: 0.82em;
+    letter-spacing: 0.06em;
+    text-transform: uppercase;
+  }
   tr:nth-child(even) { background: var(--surface); }
-  tr:hover           { background: var(--overlay); }
+  tr:hover { background: var(--overlay); }
 
-  hr { border: none; border-top: 1px solid var(--border); margin: 2em 0; }
+  /* ── HR ────────────────────────────────────────────────────── */
+  hr { border: none; border-top: 1px solid var(--border); margin: 2.5em 0; }
 
-  ul, ol { padding-left: 1.5em; }
-  li { margin: 0.3em 0; }
+  /* ── Lists ─────────────────────────────────────────────────── */
+  ul, ol { padding-left: 1.6em; }
+  li { margin: 0.35em 0; }
 
-  /* ── Chunk navigation (prev / up / next) ──────────────────────── */
-  nav {
+  /* ── Chunk navigation bar (prev / up / next) ───────────────── */
+  nav:not(#TOC):not([role="doc-toc"]) {
     display: flex;
-    align-items: center;
-    gap: 0.75em;
+    align-items: stretch;
     background: var(--surface);
     border: 1px solid var(--border);
     border-radius: 8px;
-    padding: 0.6em 1em;
     margin: 1.5em 0;
-    font-size: 0.9em;
-    flex-wrap: wrap;
+    font-size: 0.875em;
+    overflow: hidden;
   }
-  nav a {
+  nav:not(#TOC):not([role="doc-toc"]) p {
+    margin: 0;
+    padding: 0.65em 1.2em;
+    display: flex;
+    gap: 1.75em;
+    flex-wrap: wrap;
+    align-items: center;
+    width: 100%;
+  }
+  nav:not(#TOC):not([role="doc-toc"]) a {
     color: var(--blue);
     white-space: nowrap;
   }
-  nav a:hover { color: var(--lavender); }
+  nav:not(#TOC):not([role="doc-toc"]) a:hover { color: var(--lavender); }
 
-  /* ── Table of contents (index page) ──────────────────────────── */
-  nav#toc, nav[role="doc-toc"] {
+  /* ── Table of contents panel ───────────────────────────────── */
+  nav#TOC, nav[role="doc-toc"] {
     display: block;
     background: var(--surface);
     border: 1px solid var(--border);
-    border-radius: 8px;
-    padding: 1em 1.5em;
+    border-left: 3px solid var(--lavender);
+    border-radius: 0 8px 8px 0;
+    padding: 1.2em 1.5em;
+    margin: 1.5em 0;
   }
-  nav#toc ul, nav[role="doc-toc"] ul {
-    padding-left: 1.2em;
-    margin: 0.4em 0;
+  nav#TOC > h2,
+  nav[role="doc-toc"] > h2 {
+    font-size: 0.7rem;
+    letter-spacing: 0.14em;
+    text-transform: uppercase;
+    color: var(--sub0);
+    border: none;
+    margin: 0 0 0.9em;
+    padding: 0;
   }
-  nav#toc li, nav[role="doc-toc"] li {
-    margin: 0.2em 0;
+  nav#TOC ul, nav[role="doc-toc"] ul {
+    list-style: none;
+    padding-left: 1em;
+    margin: 0.25em 0;
+  }
+  nav#TOC > ul, nav[role="doc-toc"] > ul { padding-left: 0; }
+  nav#TOC li, nav[role="doc-toc"] li {
+    margin: 0.3em 0;
+    padding-left: 0.75em;
+    border-left: 1px solid transparent;
+    transition: border-color 0.12s;
+  }
+  nav#TOC li:hover, nav[role="doc-toc"] li:hover {
+    border-left-color: var(--lavender);
+  }
+  nav#TOC a, nav[role="doc-toc"] a {
+    color: var(--sub1);
+    font-size: 0.9em;
+  }
+  nav#TOC a:hover, nav[role="doc-toc"] a:hover {
+    color: var(--lavender);
+    text-decoration: none;
   }
   </style>
+  <script>
+  /* Hide the ToC on every page except index.html */
+  document.addEventListener('DOMContentLoaded', function () {
+    var p = location.pathname;
+    var onIndex = p === '/' || p === '' || /\/index\.html(\?.*)?$/.test(p);
+    if (!onIndex) {
+      var toc = document.getElementById('TOC') ||
+                document.querySelector('[role="doc-toc"]');
+      if (toc) toc.remove();
+    }
+  });
+  </script>
 </head>
 <body>
 <nav id="sitenav">
diff --git a/docs/html/index.html b/docs/html/index.html
index 6dccfea..f7aa031 100644
--- a/docs/html/index.html
+++ b/docs/html/index.html
@@ -168,21 +168,26 @@
     .display.math{display: block; text-align: center; margin: 0.5rem auto;}
   </style>
   <style>
-  /* Catppuccin Latte (light) / Mocha (dark) — auto via prefers-color-scheme */
+  /* ── Catppuccin Latte (light) / Mocha (dark) ─────────────────── */
   :root {
+    color-scheme: light dark;
     --bg:       #eff1f5;
     --surface:  #e6e9ef;
     --overlay:  #ccd0da;
     --text:     #4c4f69;
-    --subtext:  #6c6f85;
+    --sub1:     #6c6f85;
+    --sub0:     #8c8fa1;
     --blue:     #1e66f5;
     --lavender: #7287fd;
+    --sapphire: #209fb5;
     --green:    #40a02b;
-    --red:      #d20f39;
     --yellow:   #df8e1d;
     --peach:    #fe640b;
+    --mauve:    #8839ef;
     --code-bg:  #dce0e8;
     --border:   #bcc0cc;
+    --glow1:    rgba(30, 102, 245, 0.05);
+    --glow2:    rgba(136, 57, 239, 0.04);
   }
 
   @media (prefers-color-scheme: dark) {
@@ -191,47 +196,96 @@
       --surface:  #313244;
       --overlay:  #45475a;
       --text:     #cdd6f4;
-      --subtext:  #a6adc8;
+      --sub1:     #bac2de;
+      --sub0:     #a6adc8;
       --blue:     #89b4fa;
       --lavender: #b4befe;
+      --sapphire: #74c7ec;
       --green:    #a6e3a1;
-      --red:      #f38ba8;
       --yellow:   #f9e2af;
       --peach:    #fab387;
+      --mauve:    #cba6f7;
       --code-bg:  #181825;
       --border:   #45475a;
+      --glow1:    rgba(137, 180, 250, 0.06);
+      --glow2:    rgba(203, 166, 247, 0.05);
     }
   }
 
   *, *::before, *::after { box-sizing: border-box; }
 
-  body {
+  html {
     background-color: var(--bg);
+    background-image:
+      radial-gradient(ellipse 55% 40% at 10% 5%,  var(--glow1) 0%, transparent 100%),
+      radial-gradient(ellipse 45% 45% at 90% 95%, var(--glow2) 0%, transparent 100%);
+    min-height: 100%;
+  }
+
+  body {
     color: var(--text);
-    font-family: system-ui, -apple-system, "Segoe UI", sans-serif;
+    font-family: system-ui, -apple-system, "Segoe UI", Helvetica, sans-serif;
     font-size: 16px;
-    line-height: 1.7;
-    max-width: 900px;
+    line-height: 1.75;
+    max-width: 880px;
     margin: 0 auto;
-    padding: 1.5rem 2rem 4rem;
+    padding: 2rem 2.5rem 5rem;
+    min-height: 100vh;
   }
 
-  a            { color: var(--blue); text-decoration: none; }
-  a:hover      { color: var(--lavender); text-decoration: underline; }
-  a:visited    { color: var(--lavender); }
+  /* ── Links ─────────────────────────────────────────────────── */
+  a         { color: var(--blue); text-decoration: none; }
+  a:hover   { color: var(--lavender); text-decoration: underline; }
+  a:visited { color: var(--lavender); }
 
+  /* ── Headings ──────────────────────────────────────────────── */
   h1, h2, h3, h4, h5, h6 {
+    font-family: "JetBrains Mono", "Fira Code", ui-monospace, monospace;
     color: var(--lavender);
-    margin-top: 1.8em;
-    margin-bottom: 0.4em;
     line-height: 1.3;
+    margin-top: 2em;
+    margin-bottom: 0.5em;
   }
-  h1 { font-size: 2em;   border-bottom: 2px solid var(--border); padding-bottom: 0.3em; }
-  h2 { font-size: 1.5em; border-bottom: 1px solid var(--border); padding-bottom: 0.2em; }
-  h3 { font-size: 1.2em; }
+  h1 {
+    font-size: 1.9rem;
+    color: var(--text);
+    border-bottom: 1px solid var(--border);
+    padding-bottom: 0.4em;
+    margin-top: 1.2em;
+  }
+  h2 {
+    font-size: 1.35rem;
+    border-bottom: 1px solid var(--border);
+    padding-bottom: 0.2em;
+  }
+  h3 { font-size: 1.1rem;  color: var(--sapphire); }
+  h4 { font-size: 0.95rem; color: var(--sub1); }
 
-  p  { margin: 0.75em 0; }
+  p { margin: 0.8em 0; }
 
+  /* ── Title block (pandoc-generated cover) ──────────────────── */
+  #title-block-header {
+    text-align: center;
+    padding: 2.5rem 0 2rem;
+    margin-bottom: 1.5rem;
+    border-bottom: 1px solid var(--border);
+  }
+  #title-block-header .title {
+    font-family: "JetBrains Mono", "Fira Code", ui-monospace, monospace;
+    font-size: 2.6rem;
+    letter-spacing: 0.12em;
+    color: var(--lavender);
+    border: none;
+    margin: 0 0 0.75rem;
+  }
+  #title-block-header .author,
+  #title-block-header .date {
+    color: var(--sub0);
+    font-size: 0.875rem;
+    margin: 0.2rem 0;
+  }
+
+  /* ── Inline code ───────────────────────────────────────────── */
   code {
     font-family: "JetBrains Mono", "Fira Code", ui-monospace, monospace;
     background: var(--code-bg);
@@ -241,86 +295,148 @@
     font-size: 0.875em;
   }
 
+  /* ── Code blocks ───────────────────────────────────────────── */
   pre {
     background: var(--code-bg);
     border: 1px solid var(--border);
-    border-radius: 8px;
-    padding: 1em 1.25em;
+    border-left: 3px solid var(--sapphire);
+    border-radius: 0 8px 8px 0;
+    padding: 1.1em 1.4em;
     overflow-x: auto;
-    line-height: 1.5;
+    line-height: 1.55;
+    margin: 1.2em 0;
   }
   pre code {
     background: none;
     color: var(--text);
     padding: 0;
-    font-size: 0.9em;
+    font-size: 0.88em;
   }
 
+  /* ── Blockquotes ───────────────────────────────────────────── */
   blockquote {
-    border-left: 3px solid var(--blue);
-    margin: 1.2em 0;
-    padding: 0.6em 1.2em;
+    border-left: 3px solid var(--yellow);
+    margin: 1.5em 0;
+    padding: 0.75em 1.25em;
     background: var(--surface);
-    color: var(--subtext);
+    color: var(--sub1);
     border-radius: 0 6px 6px 0;
   }
-  blockquote p { margin: 0; }
+  blockquote p { margin: 0.3em 0; }
 
+  /* ── Tables ────────────────────────────────────────────────── */
   table {
     border-collapse: collapse;
     width: 100%;
-    margin: 1.2em 0;
-    font-size: 0.95em;
+    margin: 1.4em 0;
+    font-size: 0.93em;
   }
   th, td {
     border: 1px solid var(--border);
-    padding: 0.5em 0.85em;
+    padding: 0.55em 0.9em;
     text-align: left;
   }
-  th { background: var(--surface); color: var(--lavender); font-weight: 600; }
+  th {
+    background: var(--surface);
+    color: var(--lavender);
+    font-weight: 600;
+    font-family: "JetBrains Mono", "Fira Code", ui-monospace, monospace;
+    font-size: 0.82em;
+    letter-spacing: 0.06em;
+    text-transform: uppercase;
+  }
   tr:nth-child(even) { background: var(--surface); }
-  tr:hover           { background: var(--overlay); }
+  tr:hover { background: var(--overlay); }
 
-  hr { border: none; border-top: 1px solid var(--border); margin: 2em 0; }
+  /* ── HR ────────────────────────────────────────────────────── */
+  hr { border: none; border-top: 1px solid var(--border); margin: 2.5em 0; }
 
-  ul, ol { padding-left: 1.5em; }
-  li { margin: 0.3em 0; }
+  /* ── Lists ─────────────────────────────────────────────────── */
+  ul, ol { padding-left: 1.6em; }
+  li { margin: 0.35em 0; }
 
-  /* ── Chunk navigation (prev / up / next) ──────────────────────── */
-  nav {
+  /* ── Chunk navigation bar (prev / up / next) ───────────────── */
+  nav:not(#TOC):not([role="doc-toc"]) {
     display: flex;
-    align-items: center;
-    gap: 0.75em;
+    align-items: stretch;
     background: var(--surface);
     border: 1px solid var(--border);
     border-radius: 8px;
-    padding: 0.6em 1em;
     margin: 1.5em 0;
-    font-size: 0.9em;
-    flex-wrap: wrap;
+    font-size: 0.875em;
+    overflow: hidden;
   }
-  nav a {
+  nav:not(#TOC):not([role="doc-toc"]) p {
+    margin: 0;
+    padding: 0.65em 1.2em;
+    display: flex;
+    gap: 1.75em;
+    flex-wrap: wrap;
+    align-items: center;
+    width: 100%;
+  }
+  nav:not(#TOC):not([role="doc-toc"]) a {
     color: var(--blue);
     white-space: nowrap;
   }
-  nav a:hover { color: var(--lavender); }
+  nav:not(#TOC):not([role="doc-toc"]) a:hover { color: var(--lavender); }
 
-  /* ── Table of contents (index page) ──────────────────────────── */
-  nav#toc, nav[role="doc-toc"] {
+  /* ── Table of contents panel ───────────────────────────────── */
+  nav#TOC, nav[role="doc-toc"] {
     display: block;
     background: var(--surface);
     border: 1px solid var(--border);
-    border-radius: 8px;
-    padding: 1em 1.5em;
+    border-left: 3px solid var(--lavender);
+    border-radius: 0 8px 8px 0;
+    padding: 1.2em 1.5em;
+    margin: 1.5em 0;
   }
-  nav#toc ul, nav[role="doc-toc"] ul {
-    padding-left: 1.2em;
-    margin: 0.4em 0;
+  nav#TOC > h2,
+  nav[role="doc-toc"] > h2 {
+    font-size: 0.7rem;
+    letter-spacing: 0.14em;
+    text-transform: uppercase;
+    color: var(--sub0);
+    border: none;
+    margin: 0 0 0.9em;
+    padding: 0;
   }
-  nav#toc li, nav[role="doc-toc"] li {
-    margin: 0.2em 0;
+  nav#TOC ul, nav[role="doc-toc"] ul {
+    list-style: none;
+    padding-left: 1em;
+    margin: 0.25em 0;
+  }
+  nav#TOC > ul, nav[role="doc-toc"] > ul { padding-left: 0; }
+  nav#TOC li, nav[role="doc-toc"] li {
+    margin: 0.3em 0;
+    padding-left: 0.75em;
+    border-left: 1px solid transparent;
+    transition: border-color 0.12s;
+  }
+  nav#TOC li:hover, nav[role="doc-toc"] li:hover {
+    border-left-color: var(--lavender);
+  }
+  nav#TOC a, nav[role="doc-toc"] a {
+    color: var(--sub1);
+    font-size: 0.9em;
+  }
+  nav#TOC a:hover, nav[role="doc-toc"] a:hover {
+    color: var(--lavender);
+    text-decoration: none;
   }
   </style>
+  <script>
+  /* Hide the ToC on every page except index.html */
+  document.addEventListener('DOMContentLoaded', function () {
+    var p = location.pathname;
+    var onIndex = p === '/' || p === '' || /\/index\.html(\?.*)?$/.test(p);
+    if (!onIndex) {
+      var toc = document.getElementById('TOC') ||
+                document.querySelector('[role="doc-toc"]');
+      if (toc) toc.remove();
+    }
+  });
+  </script>
 </head>
 <body>
 <nav id="sitenav">
@@ -343,6 +459,313 @@
 <p class="author">Rootiest</p>
 <p class="date">June 2026</p>
 </header>
+<nav id="TOC" role="doc-toc">
+<ul>
+<li><a href="1-name.html" id="toc-name">NAME</a></li>
+<li><a href="2-synopsis.html" id="toc-synopsis">SYNOPSIS</a></li>
+<li><a href="3-description.html"
+id="toc-description">DESCRIPTION</a></li>
+<li><a href="4-table-of-contents.html" id="toc-table-of-contents">TABLE
+OF CONTENTS</a></li>
+<li><a href="5-1-configuration-variables.html"
+id="toc-1-configuration-variables">1. CONFIGURATION VARIABLES</a>
+<ul>
+<li><a
+href="5-1-configuration-variables.html#environment-directories-xdg"
+id="toc-environment-directories-xdg">Environment Directories
+(XDG)</a></li>
+<li><a href="5-1-configuration-variables.html#tool-homes-xdg-compliant"
+id="toc-tool-homes-xdg-compliant">Tool Homes (XDG-compliant)</a></li>
+<li><a href="5-1-configuration-variables.html#editor-and-pager"
+id="toc-editor-and-pager">Editor and Pager</a></li>
+<li><a href="5-1-configuration-variables.html#scrollback-history"
+id="toc-scrollback-history">Scrollback History</a></li>
+<li><a href="5-1-configuration-variables.html#other"
+id="toc-other">Other</a></li>
+</ul></li>
+<li><a href="6-2-path-setup.html" id="toc-2-path-setup">2. PATH
+SETUP</a></li>
+<li><a href="7-3-key-bindings.html" id="toc-3-key-bindings">3. KEY
+BINDINGS</a>
+<ul>
+<li><a
+href="7-3-key-bindings.html#fzf-bindings-from-fzf---fish-integration"
+id="toc-fzf-bindings-from-fzf---fish-integration">FZF Bindings (from fzf
+--fish integration)</a></li>
+</ul></li>
+<li><a href="8-4-abbreviations.html" id="toc-4-abbreviations">4.
+ABBREVIATIONS</a>
+<ul>
+<li><a href="8-4-abbreviations.html#41-editors" id="toc-41-editors">4.1
+Editors</a></li>
+<li><a href="8-4-abbreviations.html#42-navigation-and-listing"
+id="toc-42-navigation-and-listing">4.2 Navigation and Listing</a></li>
+<li><a href="8-4-abbreviations.html#43-git" id="toc-43-git">4.3
+Git</a></li>
+<li><a href="8-4-abbreviations.html#44-terminal-windows-tabs-and-panes"
+id="toc-44-terminal-windows-tabs-and-panes">4.4 Terminal Windows, Tabs,
+and Panes</a></li>
+<li><a href="8-4-abbreviations.html#45-chezmoi" id="toc-45-chezmoi">4.5
+Chezmoi</a></li>
+<li><a href="8-4-abbreviations.html#46-docker" id="toc-46-docker">4.6
+Docker</a></li>
+<li><a href="8-4-abbreviations.html#47-systemctl"
+id="toc-47-systemctl">4.7 Systemctl</a></li>
+<li><a href="8-4-abbreviations.html#48-ai-assistants"
+id="toc-48-ai-assistants">4.8 AI Assistants</a></li>
+<li><a href="8-4-abbreviations.html#49-history-expansion"
+id="toc-49-history-expansion">4.9 History Expansion</a></li>
+<li><a href="8-4-abbreviations.html#410-miscellaneous"
+id="toc-410-miscellaneous">4.10 Miscellaneous</a></li>
+</ul></li>
+<li><a href="9-5-functions-reference.html"
+id="toc-5-functions-reference">5. FUNCTIONS REFERENCE</a>
+<ul>
+<li><a href="9-5-functions-reference.html#51-file-and-directory"
+id="toc-51-file-and-directory">5.1 File and Directory</a>
+<ul>
+<li><a href="9-5-functions-reference.html#cat" id="toc-cat">cat</a></li>
+<li><a href="9-5-functions-reference.html#copy"
+id="toc-copy">copy</a></li>
+<li><a href="9-5-functions-reference.html#du" id="toc-du">du</a></li>
+<li><a href="9-5-functions-reference.html#dusize"
+id="toc-dusize">dusize</a></li>
+<li><a href="9-5-functions-reference.html#ld" id="toc-ld">lD</a></li>
+<li><a href="9-5-functions-reference.html#ls" id="toc-ls">ls</a></li>
+<li><a href="9-5-functions-reference.html#lsr" id="toc-lsr">lsr</a></li>
+<li><a href="9-5-functions-reference.html#lss" id="toc-lss">lss</a></li>
+<li><a href="9-5-functions-reference.html#lstree"
+id="toc-lstree">lstree</a></li>
+<li><a href="9-5-functions-reference.html#lt" id="toc-lt">lt</a></li>
+<li><a href="9-5-functions-reference.html#ltr" id="toc-ltr">ltr</a></li>
+<li><a href="9-5-functions-reference.html#lx" id="toc-lx">lx</a></li>
+<li><a href="9-5-functions-reference.html#mkdir"
+id="toc-mkdir">mkdir</a></li>
+<li><a href="9-5-functions-reference.html#mkcd"
+id="toc-mkcd">mkcd</a></li>
+<li><a href="9-5-functions-reference.html#poke"
+id="toc-poke">poke</a></li>
+<li><a href="9-5-functions-reference.html#rm" id="toc-rm">rm</a></li>
+<li><a href="9-5-functions-reference.html#scrub"
+id="toc-scrub">scrub</a></li>
+</ul></li>
+<li><a href="9-5-functions-reference.html#52-navigation"
+id="toc-52-navigation">5.2 Navigation</a>
+<ul>
+<li><a href="9-5-functions-reference.html#cdi" id="toc-cdi">cdi</a></li>
+<li><a href="9-5-functions-reference.html#clone"
+id="toc-clone">clone</a></li>
+<li><a href="9-5-functions-reference.html#clonet"
+id="toc-clonet">clonet</a></li>
+</ul></li>
+<li><a href="9-5-functions-reference.html#53-editors-and-viewers"
+id="toc-53-editors-and-viewers">5.3 Editors and Viewers</a>
+<ul>
+<li><a href="9-5-functions-reference.html#edit"
+id="toc-edit">edit</a></li>
+<li><a href="9-5-functions-reference.html#fc" id="toc-fc">fc</a></li>
+<li><a href="9-5-functions-reference.html#less"
+id="toc-less">less</a></li>
+<li><a href="9-5-functions-reference.html#rawfish"
+id="toc-rawfish">rawfish</a></li>
+<li><a href="9-5-functions-reference.html#view"
+id="toc-view">view</a></li>
+</ul></li>
+<li><a href="9-5-functions-reference.html#54-git-and-version-control"
+id="toc-54-git-and-version-control">5.4 Git and Version Control</a>
+<ul>
+<li><a href="9-5-functions-reference.html#branch"
+id="toc-branch">branch</a></li>
+<li><a href="9-5-functions-reference.html#gi" id="toc-gi">gi</a></li>
+<li><a href="9-5-functions-reference.html#git-clean"
+id="toc-git-clean">git-clean</a></li>
+<li><a href="9-5-functions-reference.html#gitup"
+id="toc-gitup">gitup</a></li>
+<li><a href="9-5-functions-reference.html#gitui"
+id="toc-gitui">gitui</a></li>
+<li><a href="9-5-functions-reference.html#hist"
+id="toc-hist">hist</a></li>
+</ul></li>
+<li><a href="9-5-functions-reference.html#55-package-management"
+id="toc-55-package-management">5.5 Package Management</a>
+<ul>
+<li><a href="9-5-functions-reference.html#pkg" id="toc-pkg">pkg</a></li>
+<li><a href="9-5-functions-reference.html#search"
+id="toc-search">search</a></li>
+<li><a href="9-5-functions-reference.html#upgrade"
+id="toc-upgrade">upgrade</a></li>
+<li><a href="9-5-functions-reference.html#cleanup"
+id="toc-cleanup">cleanup</a></li>
+<li><a href="9-5-functions-reference.html#parur"
+id="toc-parur">parur</a></li>
+</ul></li>
+<li><a href="9-5-functions-reference.html#56-dependency-management"
+id="toc-56-dependency-management">5.6 Dependency Management</a>
+<ul>
+<li><a href="9-5-functions-reference.html#fish-deps"
+id="toc-fish-deps">fish-deps</a></li>
+<li><a href="9-5-functions-reference.html#check_fish_deps"
+id="toc-check_fish_deps">check_fish_deps</a></li>
+</ul></li>
+<li><a href="9-5-functions-reference.html#57-system-and-monitoring"
+id="toc-57-system-and-monitoring">5.7 System and Monitoring</a>
+<ul>
+<li><a href="9-5-functions-reference.html#top" id="toc-top">top</a></li>
+<li><a href="9-5-functions-reference.html#swapstat"
+id="toc-swapstat">swapstat</a></li>
+<li><a href="9-5-functions-reference.html#sbver"
+id="toc-sbver">sbver</a></li>
+<li><a href="9-5-functions-reference.html#ports"
+id="toc-ports">ports</a></li>
+<li><a href="9-5-functions-reference.html#screensleep"
+id="toc-screensleep">screensleep</a></li>
+<li><a href="9-5-functions-reference.html#lock"
+id="toc-lock">lock</a></li>
+<li><a href="9-5-functions-reference.html#sudo-toggle"
+id="toc-sudo-toggle">sudo-toggle</a></li>
+<li><a href="9-5-functions-reference.html#limine-edit"
+id="toc-limine-edit">limine-edit</a></li>
+</ul></li>
+<li><a href="9-5-functions-reference.html#58-terminal-management"
+id="toc-58-terminal-management">5.8 Terminal Management</a>
+<ul>
+<li><a href="9-5-functions-reference.html#tab" id="toc-tab">tab</a></li>
+<li><a href="9-5-functions-reference.html#split"
+id="toc-split">split</a></li>
+<li><a href="9-5-functions-reference.html#spwin"
+id="toc-spwin">spwin</a></li>
+<li><a href="9-5-functions-reference.html#detach"
+id="toc-detach">detach</a></li>
+<li><a href="9-5-functions-reference.html#bkg" id="toc-bkg">bkg</a></li>
+<li><a href="9-5-functions-reference.html#ssh" id="toc-ssh">ssh</a></li>
+</ul></li>
+<li><a href="9-5-functions-reference.html#59-clipboard"
+id="toc-59-clipboard">5.9 Clipboard</a>
+<ul>
+<li><a href="9-5-functions-reference.html#y" id="toc-y">y</a></li>
+<li><a href="9-5-functions-reference.html#p" id="toc-p">p</a></li>
+<li><a href="9-5-functions-reference.html#paste"
+id="toc-paste">paste</a></li>
+</ul></li>
+<li><a href="9-5-functions-reference.html#510-network"
+id="toc-510-network">5.10 Network</a>
+<ul>
+<li><a href="9-5-functions-reference.html#gip" id="toc-gip">gip</a></li>
+<li><a href="9-5-functions-reference.html#gip4"
+id="toc-gip4">gip4</a></li>
+<li><a href="9-5-functions-reference.html#gip6"
+id="toc-gip6">gip6</a></li>
+<li><a href="9-5-functions-reference.html#ping"
+id="toc-ping">ping</a></li>
+<li><a href="9-5-functions-reference.html#qr" id="toc-qr">qr</a></li>
+</ul></li>
+<li><a href="9-5-functions-reference.html#511-pager-and-logging"
+id="toc-511-pager-and-logging">5.11 Pager and Logging</a>
+<ul>
+<li><a href="9-5-functions-reference.html#logs"
+id="toc-logs">logs</a></li>
+<li><a href="9-5-functions-reference.html#smart_exit"
+id="toc-smart_exit">smart_exit</a></li>
+</ul></li>
+<li><a href="9-5-functions-reference.html#512-ai-and-developer-tools"
+id="toc-512-ai-and-developer-tools">5.12 AI and Developer Tools</a>
+<ul>
+<li><a href="9-5-functions-reference.html#antigravity"
+id="toc-antigravity">antigravity</a></li>
+<li><a href="9-5-functions-reference.html#antigravity-ide"
+id="toc-antigravity-ide">antigravity-ide</a></li>
+<li><a href="9-5-functions-reference.html#antigravity-resume"
+id="toc-antigravity-resume">antigravity-resume</a></li>
+<li><a href="9-5-functions-reference.html#claude-resume"
+id="toc-claude-resume">claude-resume</a></li>
+<li><a href="9-5-functions-reference.html#claude-docs"
+id="toc-claude-docs">claude-docs</a></li>
+<li><a href="9-5-functions-reference.html#claude-pr"
+id="toc-claude-pr">claude-pr</a></li>
+<li><a href="9-5-functions-reference.html#code-resume"
+id="toc-code-resume">code-resume</a></li>
+<li><a href="9-5-functions-reference.html#superpowers"
+id="toc-superpowers">superpowers</a></li>
+</ul></li>
+<li><a href="9-5-functions-reference.html#513-media-and-utilities"
+id="toc-513-media-and-utilities">5.13 Media and Utilities</a>
+<ul>
+<li><a href="9-5-functions-reference.html#dng2avif"
+id="toc-dng2avif">dng2avif</a></li>
+<li><a href="9-5-functions-reference.html#steam-dl"
+id="toc-steam-dl">steam-dl</a></li>
+<li><a href="9-5-functions-reference.html#spark"
+id="toc-spark">spark</a></li>
+</ul></li>
+<li><a href="9-5-functions-reference.html#514-miscellaneous"
+id="toc-514-miscellaneous">5.14 Miscellaneous</a>
+<ul>
+<li><a href="9-5-functions-reference.html#bash"
+id="toc-bash">bash</a></li>
+<li><a href="9-5-functions-reference.html#bd-pull"
+id="toc-bd-pull">bd-pull</a></li>
+<li><a href="9-5-functions-reference.html#cheat"
+id="toc-cheat">cheat</a></li>
+<li><a href="9-5-functions-reference.html#cffetch--ffetch"
+id="toc-cffetch--ffetch">cffetch / ffetch</a></li>
+<li><a href="9-5-functions-reference.html#dockup"
+id="toc-dockup">dockup</a></li>
+<li><a href="9-5-functions-reference.html#joplin"
+id="toc-joplin">joplin</a></li>
+<li><a href="9-5-functions-reference.html#ld-1"
+id="toc-ld-1">ld</a></li>
+<li><a href="9-5-functions-reference.html#replay"
+id="toc-replay">replay</a></li>
+<li><a href="9-5-functions-reference.html#tmux-clean"
+id="toc-tmux-clean">tmux-clean</a></li>
+<li><a href="9-5-functions-reference.html#wake-lock"
+id="toc-wake-lock">wake-lock</a></li>
+<li><a href="9-5-functions-reference.html#zellij"
+id="toc-zellij">zellij</a></li>
+</ul></li>
+</ul></li>
+<li><a href="10-6-dependency-catalog.html"
+id="toc-6-dependency-catalog">6. DEPENDENCY CATALOG</a>
+<ul>
+<li><a href="10-6-dependency-catalog.html#required"
+id="toc-required">Required</a></li>
+<li><a href="10-6-dependency-catalog.html#integrations"
+id="toc-integrations">Integrations</a></li>
+<li><a href="10-6-dependency-catalog.html#recommended"
+id="toc-recommended">Recommended</a></li>
+<li><a href="10-6-dependency-catalog.html#install-methods"
+id="toc-install-methods">Install Methods</a></li>
+</ul></li>
+<li><a href="11-7-customization.html" id="toc-7-customization">7.
+CUSTOMIZATION</a>
+<ul>
+<li><a href="11-7-customization.html#machine-local-configuration"
+id="toc-machine-local-configuration">Machine-local
+Configuration</a></li>
+<li><a href="11-7-customization.html#secrets-and-api-keys"
+id="toc-secrets-and-api-keys">Secrets and API Keys</a></li>
+<li><a href="11-7-customization.html#overriding-configuration-variables"
+id="toc-overriding-configuration-variables">Overriding Configuration
+Variables</a></li>
+<li><a href="11-7-customization.html#fish-universal-variables"
+id="toc-fish-universal-variables">Fish Universal Variables</a></li>
+</ul></li>
+<li><a href="12-8-fisher-plugins.html" id="toc-8-fisher-plugins">8.
+FISHER PLUGINS</a></li>
+<li><a href="13-9-viewing-this-manual.html"
+id="toc-9-viewing-this-manual">9. VIEWING THIS MANUAL</a>
+<ul>
+<li><a href="13-9-viewing-this-manual.html#with-ov-recommended"
+id="toc-with-ov-recommended">With ov (recommended)</a></li>
+<li><a href="13-9-viewing-this-manual.html#with-bat"
+id="toc-with-bat">With bat</a></li>
+<li><a href="13-9-viewing-this-manual.html#as-a-man-page"
+id="toc-as-a-man-page">As a man page</a></li>
+<li><a href="13-9-viewing-this-manual.html#jumping-to-a-section"
+id="toc-jumping-to-a-section">Jumping to a section</a></li>
+</ul></li>
+</ul>
+</nav>
 
 </body>
 </html>