/* Jacket API docs. Colours are custom properties; "system" follows the browser, the theme button picks light or dark. */
:root {
  --bg: #fafafa; --glass: rgba(250, 250, 250, 0.9); --surface: #fdfdfd; --sunken: #f3f3f5;
  --fg: #2f2f35; --fg2: #56565e; --muted: #6a6a74; --border: #ebebee; --hair: #f1f1f3;
  --link: #4a63c8; --accent: #4a63c8; --sel: #f0f2fa; --type: #36766f; --str: #8d6032; --kw: #70589f;
  --ok: #2f7d4d; --okbg: #f4f9f6; --err: #b3463d; --errbg: #fcf5f4; --shadow: rgba(24, 24, 27, 0.08);
  --scroll: #dcdce0; --scroll-hover: #b8b8bf;
  --sans: Inter, system-ui, -apple-system, "Segoe UI", Roboto, "Helvetica Neue", sans-serif;
  --mono: "JetBrains Mono", ui-monospace, "SF Mono", SFMono-Regular, Menlo, Consolas, "Liberation Mono", monospace;
  color-scheme: light;
}
:root[data-theme="dark"] {
  --bg: #1b1b1f; --glass: rgba(27, 27, 31, 0.88); --surface: #1e1e22; --sunken: #161619;
  --fg: #d4d4d8; --fg2: #b0b0b8; --muted: #8f8f98; --border: #2a2a2f; --hair: #242428;
  --link: #a1abf0; --accent: #8e99e6; --sel: #262a40; --type: #7fbfb3; --str: #cfae86; --kw: #ae9ddb;
  --ok: #6dc98f; --okbg: #1a2620; --err: #e5877f; --errbg: #2b2020; --shadow: rgba(0, 0, 0, 0.4);
  --scroll: #38383e; --scroll-hover: #4c4c54;
  color-scheme: dark;
}
@media (prefers-color-scheme: dark) {
  :root[data-theme="system"] {
    --bg: #1b1b1f; --glass: rgba(27, 27, 31, 0.88); --surface: #1e1e22; --sunken: #161619;
    --fg: #d4d4d8; --fg2: #b0b0b8; --muted: #8f8f98; --border: #2a2a2f; --hair: #242428;
    --link: #a1abf0; --accent: #8e99e6; --sel: #262a40; --type: #7fbfb3; --str: #cfae86; --kw: #ae9ddb;
    --ok: #6dc98f; --okbg: #1a2620; --err: #e5877f; --errbg: #2b2020; --shadow: rgba(0, 0, 0, 0.4);
    --scroll: #38383e; --scroll-hover: #4c4c54;
    color-scheme: dark;
  }
}

* { box-sizing: border-box; }
html { interpolate-size: allow-keywords; -webkit-text-size-adjust: 100%; scroll-padding-top: 76px; scrollbar-gutter: stable; }

/* Scrollbars: thin, the colour of the theme, and their gutter always reserved so a page that
   gains or loses one does not move. */
html, .side, .side > nav, .toc, pre, .sig-line, .guide table, #results {
  scrollbar-width: thin; scrollbar-color: var(--scroll) transparent; scrollbar-gutter: stable;
}
html::-webkit-scrollbar, .side::-webkit-scrollbar, .side > nav::-webkit-scrollbar, pre::-webkit-scrollbar, .sig-line::-webkit-scrollbar, .guide table::-webkit-scrollbar, #results::-webkit-scrollbar { width: 8px; height: 8px; }
html::-webkit-scrollbar-track, .side::-webkit-scrollbar-track, .side > nav::-webkit-scrollbar-track, pre::-webkit-scrollbar-track, .sig-line::-webkit-scrollbar-track, .guide table::-webkit-scrollbar-track, #results::-webkit-scrollbar-track { background: transparent; }
html::-webkit-scrollbar-thumb, .side::-webkit-scrollbar-thumb, .side > nav::-webkit-scrollbar-thumb, pre::-webkit-scrollbar-thumb, .sig-line::-webkit-scrollbar-thumb, .guide table::-webkit-scrollbar-thumb, #results::-webkit-scrollbar-thumb { background: var(--scroll); border-radius: 8px; border: 2px solid transparent; background-clip: content-box; }
html::-webkit-scrollbar-thumb:hover, .side::-webkit-scrollbar-thumb:hover, .side > nav::-webkit-scrollbar-thumb:hover, pre::-webkit-scrollbar-thumb:hover, #results::-webkit-scrollbar-thumb:hover { background: var(--scroll-hover); background-clip: content-box; }
body { margin: 0; font-family: var(--sans); font-size: 15.5px; line-height: 1.7; color: var(--fg); background: var(--bg); min-height: 100vh; display: flex; flex-direction: column; }
a { color: var(--link); text-decoration: none; }
a:hover { text-decoration: underline; }
code, .mono { font-family: var(--mono); }
code { font-size: 0.9em; }
button, select, input { font: inherit; color: inherit; }
.sr { position: absolute; left: -9999px; width: 1px; height: 1px; overflow: hidden; }
html:not(.js) .js-only { display: none !important; }
.spacer { flex: 1 1 auto; }
.muted { color: var(--muted); font-size: 13px; }
:focus-visible { outline: 2px solid var(--link); outline-offset: 2px; border-radius: 4px; }

/* Header */
.top { position: sticky; top: 0; z-index: 5; background: var(--glass); -webkit-backdrop-filter: blur(8px); backdrop-filter: blur(8px); border-bottom: 1px solid var(--border); }
.top-in { max-width: 1400px; margin: 0 auto; padding: 10px 32px; display: flex; flex-wrap: wrap; align-items: center; gap: 12px 16px; }
.logo { display: inline-flex; align-items: center; gap: 8px; height: 36px; padding-left: 10px; color: var(--fg); text-decoration: none; }
.logo:hover { text-decoration: none; }
.wordmark { font-size: 17px; font-weight: 700; letter-spacing: -0.01em; }
/* The version menu: plain text in the nav; the chevron and menu only show when there are other versions to pick. */
.ver { position: relative; }
#ver { display: inline-flex; align-items: center; gap: 4px; font: inherit; color: var(--fg2); background: none; border: 0; padding: 4px 0; cursor: pointer; }
#ver:disabled { cursor: default; }
#ver:disabled svg { display: none; }
#ver:not(:disabled):hover, #ver[aria-expanded="true"] { color: var(--fg); }
#ver svg { color: var(--muted); transition: transform 0.15s; }
#ver[aria-expanded="true"] svg { transform: rotate(180deg); }
.ver-menu { position: absolute; top: calc(100% + 10px); right: -12px; min-width: 160px; padding: 6px; background: var(--surface); border: 1px solid var(--border); border-radius: 10px; box-shadow: 0 12px 32px var(--shadow); z-index: 7; }
.ver-menu a { display: block; padding: 6px 10px; border-radius: 6px; color: var(--fg2); font-weight: 400; white-space: nowrap; }
.ver-menu a:hover { color: var(--fg); background: var(--sel); text-decoration: none; }
.ver-menu a[aria-current="true"] { color: var(--link); }
.search-wrap { flex: 1 1 320px; position: relative; display: flex; justify-content: center; }
.search { position: relative; width: 100%; max-width: 560px; }
.search svg { position: absolute; left: 12px; top: 11px; color: var(--muted); pointer-events: none; }
.search input { width: 100%; font-size: 14px; padding: 8px 40px 8px 36px; border: 1px solid var(--border); border-radius: 10px; background: var(--surface); }
.search input:focus { border-color: var(--link); outline: none; box-shadow: 0 0 0 3px var(--sel); }
kbd { font-family: var(--mono); font-size: 12px; color: var(--muted); border: 1px solid var(--border); border-bottom-width: 2px; border-radius: 5px; padding: 0 6px; background: var(--sunken); }
.search kbd { position: absolute; right: 10px; top: 7px; }
#results { position: absolute; top: 46px; left: 50%; transform: translateX(-50%); width: 100%; max-width: 640px; background: var(--surface); border: 1px solid var(--border); border-radius: 12px; box-shadow: 0 12px 32px var(--shadow); padding: 6px; z-index: 6; }
#results[hidden] { display: none; }
#results a.hit { display: flex; align-items: center; gap: 10px; padding: 7px 10px; border-radius: 8px; color: var(--fg); text-decoration: none; }
#results a.hit[aria-selected="true"] { background: var(--sel); }
#results .kind { font-size: 11px; font-weight: 600; color: var(--muted); width: 40px; flex: none; }
#results .path { font-family: var(--mono); font-size: 13.5px; flex: none; }
#results .sig { flex: 1 1 auto; text-align: right; font-family: var(--mono); font-size: 12px; color: var(--muted); white-space: nowrap; overflow: hidden; text-overflow: ellipsis; min-width: 0; }
#results .sig .pname { color: var(--fg); font-weight: 500; }
#results .empty { padding: 10px; color: var(--muted); font-size: 14px; }
#results .tips { display: flex; flex-wrap: wrap; gap: 4px 14px; padding: 8px 10px 4px; border-top: 1px solid var(--hair); margin-top: 4px; font-size: 12px; color: var(--muted); }
.site-nav { display: flex; align-items: center; gap: 20px; font-size: 14px; font-weight: 500; }
.site-nav a { color: var(--fg2); }
.site-nav a[aria-current="page"] { color: var(--fg); }
.icon-btn { width: 36px; height: 36px; display: inline-flex; align-items: center; justify-content: center; border: 1px solid var(--border); border-radius: 8px; background: var(--surface); color: var(--fg2); cursor: pointer; }
.icon-btn .i-light, .icon-btn .i-dark { display: none; }
:root[data-theme="light"] .icon-btn .i-system, :root[data-theme="dark"] .icon-btn .i-system { display: none; }
:root[data-theme="light"] .icon-btn .i-light, :root[data-theme="dark"] .icon-btn .i-dark { display: block; }

/* Layout */
.wrap { flex: 1 0 auto; width: 100%; max-width: 1400px; margin: 0 auto; padding: 0 32px; display: flex; flex-wrap: wrap; gap: 0 56px; align-items: flex-start; }
.side { flex: 0 0 220px; max-width: 220px; font-size: 14px; padding: 24px 0; position: sticky; top: 61px; max-height: calc(100vh - 61px); overflow-y: auto; }
.side > summary { display: none; list-style: none; cursor: pointer; font-weight: 600; padding: 8px 12px; border: 1px solid var(--border); border-radius: 8px; background: var(--surface); }
.side > summary::-webkit-details-marker { display: none; }
.nav-h { font-size: 12px; font-weight: 600; letter-spacing: 0.02em; color: var(--muted); margin: 28px 0 6px; padding: 0 10px; }
.side > nav > .nav-h:first-child { margin-top: 0; }
.nav-list { display: flex; flex-direction: column; gap: 1px; margin-bottom: 20px; }
.nav-list a, .back { display: block; color: var(--muted); padding: 5px 10px; border-radius: 6px; line-height: 1.5; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.nav-list a:hover { color: var(--fg); text-decoration: none; }
.nav-list a[aria-current="page"] { color: var(--link); font-weight: 600; }
.nav-list.mono { font-size: 13px; }
.back { color: var(--fg2); padding-left: 10px; margin-bottom: 14px; }
.nav-cat { margin: 0; }
.nav-cat > summary { display: flex; align-items: center; justify-content: space-between; gap: 8px; cursor: pointer; list-style: none; padding: 6px 10px; border-radius: 6px; color: var(--fg2); font-size: 13px; line-height: 1.5; }
.nav-cat > summary::-webkit-details-marker { display: none; }
.nav-cat > summary::after { content: ""; flex: none; width: 5px; height: 5px; border-right: 1px solid var(--muted); border-bottom: 1px solid var(--muted); opacity: 0.7; transform: rotate(-45deg); transition: transform 0.18s ease-out; }
.nav-cat[open] > summary::after { transform: rotate(45deg); }
.nav-cat > summary:hover { color: var(--fg); }
.nav-cat > .nav-list { margin: 2px 0 10px 10px; padding-left: 8px; border-left: 1px solid var(--hair); }
.nav-list a[style] { padding-left: calc(10px + var(--depth) * 14px); }
.nav-cat::details-content { block-size: 0; opacity: 0; overflow: hidden; transition: block-size 0.18s ease-out, opacity 0.18s ease-out, content-visibility 0.18s allow-discrete; }
.nav-cat[open]::details-content { block-size: auto; opacity: 1; }
main { flex: 999 1 560px; min-width: 0; max-width: 860px; padding: 48px 0 120px; }
.foot { border-top: 1px solid var(--border); padding: 20px 24px; color: var(--muted); font-size: 13px; }
.foot > div { max-width: 1360px; margin: 0 auto; }

/* Page furniture */
.crumbs { font-size: 13px; color: var(--muted); margin-bottom: 10px; }
.crumbs a { color: var(--muted); }
.titlebar { display: flex; flex-wrap: wrap; align-items: baseline; gap: 8px 16px; margin-bottom: 10px; }
h1 { margin: 0; font-size: 36px; line-height: 1.15; letter-spacing: -0.02em; font-weight: 700; overflow-wrap: anywhere; }
h1.mono { font-size: 30px; font-weight: 500; line-height: 1.2; }
h1.page-title { margin-bottom: 14px; }
h2 { margin: 56px 0 14px; font-size: 22px; letter-spacing: -0.01em; font-weight: 650; }
h3 { margin: 0 0 8px; font-size: 14px; font-weight: 600; color: var(--muted); }
.pill { font-size: 12px; font-weight: 500; color: var(--muted); border: 1px solid var(--border); border-radius: 999px; padding: 2px 10px; white-space: nowrap; }
.pill.sm { padding: 0 8px; }
.pill.link { color: var(--link); background: var(--surface); border-radius: 8px; font-size: 13px; padding: 4px 10px; }
.badges { display: flex; flex-wrap: wrap; gap: 6px; margin-bottom: 16px; }
.since { font-size: 12px; color: var(--muted); white-space: nowrap; }
.since-line { margin: -8px 0 14px; }
.badge.sm { font-size: 11px; padding: 0 7px; }
.badge { font-size: 12px; color: var(--fg2); background: var(--sunken); border-radius: 6px; padding: 2px 8px; }
.import { margin: 0 0 20px; color: var(--muted); }
.lead { margin: 0 0 18px; font-size: 17px; line-height: 1.65; color: var(--fg); max-width: 72ch; }
main > p, details.more > p, .prose p { margin: 0 0 16px; color: var(--fg2); max-width: 72ch; }
main ul, main ol { color: var(--fg2); padding-left: 22px; margin: 0 0 14px; }
main code { background: var(--sunken); border-radius: 4px; padding: 1px 5px; }
main pre code, .sig code, .row-head code { background: none; padding: 0; }
main h2 + h3 { margin-top: 0; }
details.more { margin-bottom: 22px; }
details.more > summary { cursor: pointer; font-size: 13px; font-weight: 500; color: var(--link); list-style: none; margin-bottom: 8px; }
details.more > summary::-webkit-details-marker { display: none; }
details.more[open] > summary .when-closed, details.more:not([open]) > summary .when-open { display: none; }

/* Lists of items */
.group { margin-bottom: 40px; }
h2 { position: relative; }
h2 .anchor, h3 .anchor { margin-left: 8px; color: var(--muted); font-weight: 400; opacity: 0; text-decoration: none; transition: opacity 0.12s; }
h2:hover .anchor, h3:hover .anchor, .anchor:focus-visible { opacity: 1; }
.cat > h3 { margin: 28px 0 12px; }
.group > h3 { font-size: 16px; color: var(--fg2); margin: 36px 0 14px; }
.row { --px: 24px; --py: 22px; overflow: hidden; padding: var(--py) var(--px); margin-bottom: 18px; border: 1px solid var(--border); border-radius: 10px; background: var(--surface); }
.row, .overload { transition: border-color 0.15s; }
.row:hover, .overload:hover { border-color: color-mix(in srgb, var(--border), var(--fg) 10%); }
.row:has(.row-head a.name) { cursor: pointer; }
.row .ex { cursor: auto; }
.row-head { display: flex; flex-wrap: wrap; align-items: baseline; gap: 6px 12px; margin-bottom: 8px; }
.row .name { overflow-wrap: anywhere; min-width: 0; font-family: var(--mono); font-size: 15px; font-weight: 500; }
.sig-line { font-family: var(--mono); font-size: 13px; color: var(--muted); margin-bottom: 12px; line-height: 1.65; white-space: pre-wrap; overflow-wrap: anywhere; }
.summary { margin: 0; font-size: 15px; line-height: 1.7; color: var(--fg2); }
.cards { list-style: none; padding: 0 !important; margin: 0 0 24px; display: grid; grid-template-columns: repeat(auto-fill, minmax(240px, 1fr)); gap: 10px; align-items: stretch; }
.cards > li { display: flex; }
.card { flex: 1 1 auto; display: grid; grid-template-rows: auto 1fr; align-content: start; gap: 4px; padding: 12px 14px; border: 1px solid var(--border); border-radius: 10px; background: var(--surface); color: var(--fg); font-weight: 500; font-size: 14px; min-width: 0; }
.card { transition: border-color 0.15s, background-color 0.15s; }
.card:hover { border-color: color-mix(in srgb, var(--border), var(--fg) 10%); background: color-mix(in srgb, var(--surface), var(--fg) 2.5%); text-decoration: none; }
.card-name { overflow-wrap: anywhere; }
.card-sum { font-family: var(--sans); font-weight: 400; font-size: 13px; line-height: 1.45; color: var(--muted); min-height: 2.9em; display: -webkit-box; -webkit-line-clamp: 2; -webkit-box-orient: vertical; overflow: hidden; }
.cat { margin-bottom: 8px; }

/* The outline on the right of a module page, wide screens only */
.toc { display: none; }
.toc-h { font-size: 12px; font-weight: 600; letter-spacing: 0.02em; color: var(--muted); margin: 0 0 10px; padding-left: 12px; }
.toc ul { list-style: none; margin: 0; padding: 0; border-left: 1px solid var(--border); }
.toc li a { display: block; padding: 3px 12px; color: var(--muted); font-size: 13px; line-height: 1.5; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.toc li.sub a { padding-left: 24px; }
.toc li a:hover { color: var(--fg); text-decoration: none; }
.toc li a.active { color: var(--link); }
@media (min-width: 1200px) {
  .wrap, .top-in { max-width: 1520px; }
  .side { flex-basis: 272px; max-width: 272px; }
}
@media (min-width: 1280px) {
  .toc { display: block; flex: 0 0 188px; position: sticky; top: 61px; align-self: flex-start; max-height: calc(100vh - 61px); overflow-y: auto; padding: 48px 0 24px; }
}

/* Item pages */
.overload { --px: 24px; --py: 22px; overflow: hidden; margin: 0 0 18px; padding: var(--py) var(--px); border: 1px solid var(--border); border-radius: 10px; background: var(--surface); }
/* An example in a card is a band across it, flush with the card's edges; at the bottom it is the card's floor. */
.row .ex, .overload .ex { margin: 20px calc(-1 * var(--px)); border-width: 1px 0; border-radius: 0; }
.row .ex:last-child, .overload .ex:last-child { margin-bottom: calc(-1 * var(--py)); border-bottom-width: 0; }
.overload > :last-child { margin-bottom: 0; }
.overload > .ex:last-child { margin-bottom: calc(-1 * var(--py)); }
pre { margin: 0; }
.sig, .code { font-family: var(--mono); color: var(--fg); }
.code { overflow-x: auto; }
.sig { white-space: pre-wrap; overflow-wrap: anywhere; }
pre.sig { margin: 0 0 20px; padding: 14px 18px; background: var(--sunken); border-radius: 8px; font-size: 13.5px; line-height: 1.75; }
.fn { font-weight: 500; }
.ty, a.ty { color: var(--type); }
.defs { margin: 0 0 20px; border-top: 1px solid var(--hair); }
.def { display: flex; flex-wrap: wrap; gap: 2px 24px; padding: 9px 0; border-bottom: 1px solid var(--hair); }
.def dt { flex: 0 1 auto; min-width: min(220px, 100%); max-width: 100%; font-size: 13.5px; overflow-wrap: break-word; }
.def dd:empty { display: none; }
.def dd { flex: 1 1 280px; margin: 0; font-size: 14.5px; color: var(--fg2); min-width: 0; }
.pname { color: var(--fg); font-weight: 500; }
.colon { color: var(--muted); }
.see { border-top: 1px solid var(--border); padding-top: 4px; margin-top: 44px; }
.see h2 { font-size: 16px; font-weight: 600; color: var(--fg2); margin: 14px 0 10px; }
.pills { display: flex; flex-wrap: wrap; gap: 8px; }

/* Examples */
.ex { margin: 0 0 20px; border: 1px solid var(--border); border-radius: 12px; background: var(--sunken); overflow: hidden; }
.ex-bar { display: flex; flex-wrap: wrap; align-items: center; gap: 8px; padding: 8px 12px; border-bottom: 1px solid var(--hair); font-size: 12px; color: var(--muted); }
.ex-title { font-weight: 500; }
.ex .code { margin: 0; padding: 16px 18px; font-size: 13.5px; line-height: 1.7; }
.ex .code code { white-space: pre; }
.code { margin: 0 0 16px; }

.ex.compact .code { padding: 0; font-size: 13px; flex: 1 1 auto; min-width: 0; }
.ex-row { display: flex; align-items: flex-start; gap: 8px; padding: 10px 10px 10px 16px; }
.ex-note { margin: 0; padding: 8px 16px; border-top: 1px solid var(--hair); font-size: 13px; color: var(--muted); background: var(--sunken); }
.ex-out { border-top: 1px solid var(--hair); padding: 10px 18px; font-family: var(--mono); font-size: 12.5px; color: var(--ok); background: var(--okbg); }
.ex-out[hidden] { display: none; }
.ex-out.bad { color: var(--err); background: var(--errbg); }
.ex-out.busy { color: var(--muted); background: var(--sunken); }
.ex-out pre { margin: 6px 0 0; white-space: pre-wrap; overflow-wrap: anywhere; color: var(--fg); font-size: 12.5px; }
.btn { display: inline-flex; align-items: center; font-size: 12px; color: var(--fg2); background: none; border: 1px solid var(--border); border-radius: 6px; padding: 3px 10px; cursor: pointer; text-decoration: none; line-height: 1.5; white-space: nowrap; }
a.btn:hover { text-decoration: none; border-color: var(--link); }
.btn.sm { background: var(--sunken); flex: none; padding: 3px 8px; }
.btn.primary { color: var(--link); background: var(--sel); border-color: transparent; font-weight: 500; padding: 4px 12px; }
.btn.sm[data-act="run"] { font-weight: 600; padding: 3px 10px; }
.btn:disabled { opacity: 0.55; cursor: not-allowed; }

/* Syntax */
.k, .d { color: var(--kw); }
.t { color: var(--type); }
.s { color: var(--str); }
.n { color: var(--str); }
.c { color: var(--muted); font-style: italic; }

/* Reference pages */
.guide table { border-collapse: collapse; display: block; overflow-x: auto; margin: 0 0 18px; font-size: 14px; }
.guide th, .guide td { border-bottom: 1px solid var(--hair); padding: 7px 12px 7px 0; text-align: left; vertical-align: top; }
.guide th { color: var(--muted); font-weight: 600; white-space: nowrap; }
.guide h1 { font-size: 32px; margin-bottom: 14px; }
.guide h2 { margin-top: 36px; }
.guide h3 { font-size: 16px; color: var(--fg2); margin-top: 24px; }

@media (max-width: 899px) {
  .wrap { padding: 0 16px; }
  .top-in { padding: 10px 16px; }
  .logo { padding-left: 0; }
  .side { flex: 1 1 100%; max-width: none; position: static; max-height: none; overflow: visible; padding: 16px 0 0; }
  .side > summary { display: block; }
  .side[open] > summary { margin-bottom: 12px; }
  .side > nav { max-height: 50vh; overflow-y: auto; }
  main { flex-basis: 100%; padding-top: 24px; }
  h1 { font-size: 30px; }
  h1.mono { font-size: 24px; }
}
@media (max-width: 599px) {
  .def dt { flex-basis: 100%; }
  .site-nav { gap: 14px; flex-wrap: wrap; }
  .search-wrap { order: 5; flex-basis: 100%; }
  .ex-row { flex-wrap: wrap; }
  .ex-row .code { flex-basis: 100%; }
  .ex .code { padding: 14px; }
  #results .sig { display: none; }
}
@media (prefers-reduced-motion: reduce) {
  .nav-cat::details-content, .nav-cat > summary::after { transition: none; }
}
@media (prefers-reduced-motion: no-preference) {
  .btn, .card, .row { transition: border-color 0.12s, background-color 0.12s; }
  /* Moving between pages: the content fades and slides a few pixels; the header, the sidebar and the
     footer stay put. Browsers without cross-document transitions just load the page. */
  @view-transition { navigation: auto; }
  .top { view-transition-name: top; }
  .side { view-transition-name: side; }
  .foot { view-transition-name: foot; }
  main { view-transition-name: main; }
  ::view-transition-group(top), ::view-transition-group(side), ::view-transition-group(foot) { animation: none; }
  ::view-transition-old(top), ::view-transition-old(side), ::view-transition-old(foot) { display: none; }
  ::view-transition-new(top), ::view-transition-new(side), ::view-transition-new(foot) { animation: none; }
  ::view-transition-old(root), ::view-transition-new(root) { animation: none; }
  ::view-transition-group(main) { animation: none; }
  /* Pages differ in width (the outline rail), so keep both snapshots at their own size instead of scaling them. */
  ::view-transition-old(main), ::view-transition-new(main) { inline-size: auto; block-size: auto; object-fit: none; object-position: left top; }
  ::view-transition-old(main) { animation: page-out 80ms ease-in both; }
  ::view-transition-new(main) { animation: page-in 170ms ease-out both; }
  @keyframes page-out { to { opacity: 0; } }
  @keyframes page-in { from { opacity: 0; transform: translateY(4px); } }
}
.foot a { color: var(--muted); }