diff --git a/docs/html-style.html b/docs/html-style.html index 80138e5..2cecdbc 100644 --- a/docs/html-style.html +++ b/docs/html-style.html @@ -188,8 +188,6 @@ li { margin: 0.35em 0; } /* ── Chunk navigation bar (prev / up / next) ───────────────── */ nav:not(#TOC):not([role="doc-toc"]) { - display: flex; - align-items: stretch; background: var(--surface); border: 1px solid var(--border); border-radius: 8px; @@ -201,16 +199,19 @@ nav:not(#TOC):not([role="doc-toc"]) p { margin: 0; padding: 0.65em 1.2em; display: flex; - gap: 1.75em; + gap: 0.4em 1.75em; flex-wrap: wrap; align-items: center; - width: 100%; } -nav:not(#TOC):not([role="doc-toc"]) a { - color: var(--blue); +/* JS wraps each "Label: " pair in .nav-item so they flex as a unit */ +.nav-item { + display: inline-flex; + align-items: center; + gap: 0.3em; white-space: nowrap; } -nav:not(#TOC):not([role="doc-toc"]) a:hover { color: var(--lavender); } +.nav-item a { color: var(--blue); } +.nav-item a:hover { color: var(--lavender); } /* ── Table of contents panel ───────────────────────────────── */ nav#TOC, nav[role="doc-toc"] { @@ -257,14 +258,44 @@ nav#TOC a:hover, nav[role="doc-toc"] a:hover { }