/* brig docs. Written by hand; everything else in docs/ is generated by
   script/build-docs.mjs. The theme is the landing page's: the same tokens,
   the same type, the same header, buttons and footer. Light only, as the
   landing page is. */

/* Archivo, SIL Open Font License 1.1, self-hosted. See fonts/OFL.txt */
@font-face {
  font-family: 'Archivo'; font-style: normal; font-weight: 400 800; font-display: swap;
  src: url(/fonts/archivo-latin.woff2) format('woff2');
  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD;
}
@font-face {
  font-family: 'Archivo'; font-style: normal; font-weight: 400 800; font-display: swap;
  src: url(/fonts/archivo-latin-ext.woff2) format('woff2');
  unicode-range: U+0100-02BA, U+02BD-02C5, U+02C7-02CC, U+02CE-02D7, U+02DD-02FF, U+0304, U+0308, U+0329, U+1D00-1DBF, U+1E00-1E9F, U+1EF2-1EFF, U+2020, U+20A0-20AB, U+20AD-20C0, U+2113, U+2C60-2C7F, U+A720-A7FF;
}

:root {
  /* The landing page's tokens, by the same names. */
  --ink: #0E2233;
  --body: #4A5561;
  --muted: #8A949E;
  --line: #E4E7EB;
  --line-soft: #EEF0F3;
  --panel: #F5F6F8;
  --amber: #E7A33E;
  --amber-ink: #B9761C;
  --sans: "Archivo", "Inter", -apple-system, BlinkMacSystemFont, "Segoe UI", Helvetica, Arial, sans-serif;
  --mono: "SFMono-Regular", Menlo, Consolas, "Liberation Mono", monospace;
  /* Docs only. */
  --bg: #fff;
  --line-strong: #C9CFD6;
  --label: #6B7682;
  --warn: #B4401A;
  --scrim: rgba(7, 21, 33, .45);
  --top: 76px;
  --side: 284px;
  --toc: 232px;
  --page: 1480px;
  --edge: max(40px, calc((100vw - var(--page)) / 2 + 40px));
}

* { box-sizing: border-box; }
html { -webkit-text-size-adjust: 100%; scroll-padding-top: calc(var(--top) + 20px); }
body {
  margin: 0; background: var(--bg); color: var(--body);
  font-family: var(--sans); font-size: 16.5px; line-height: 1.6;
  -webkit-font-smoothing: antialiased;
}
a { color: var(--ink); }
:focus-visible { outline: 2px solid var(--amber-ink); outline-offset: 2px; }
.skip { position: absolute; left: 16px; top: -60px; z-index: 60; padding: 10px 16px; background: var(--amber); color: #071521; font-weight: 600; text-decoration: none; }
.skip:focus { top: 10px; }

/* top bar */
.top {
  position: sticky; top: 0; z-index: 40; height: var(--top);
  display: flex; align-items: center; gap: 14px; padding: 0 var(--edge);
  background: var(--bg); border-bottom: 1px solid var(--line);
}
.brand { display: block; color: var(--ink); }
.brand svg { display: block; height: 30px; width: auto; }
.brand-docs {
  font-family: var(--mono); font-size: 12px; letter-spacing: .14em; text-transform: uppercase;
  color: var(--amber-ink); text-decoration: none; padding: 3px 0 0 14px; border-left: 1px solid var(--line);
}
.icon-btn { display: none; align-items: center; justify-content: center; width: 40px; height: 40px; margin-left: -10px; padding: 0; border: 0; background: none; color: var(--ink); cursor: pointer; }
.search-btn {
  display: flex; align-items: center; gap: 10px; margin-left: auto; width: 260px; height: 38px; padding: 0 12px;
  border: 1px solid var(--line); border-radius: 4px; background: var(--panel); color: var(--label);
  font: inherit; font-size: 15px; cursor: pointer;
}
.search-btn:hover { border-color: var(--amber); color: var(--ink); }
.search-btn span { flex: 1; text-align: left; }
kbd { font-family: var(--mono); font-size: 11px; padding: 1px 6px; border: 1px solid var(--line-strong); border-radius: 3px; color: var(--label); background: var(--bg); }
.top-links { display: flex; align-items: center; gap: 28px; margin-left: 14px; }
.top-links a { font-size: 16px; font-weight: 500; text-decoration: none; }
.top-links a:hover { color: var(--amber-ink); }
.stars { display: inline-flex; align-items: center; gap: 7px; padding: 7px 14px; border: 1px solid var(--line); border-radius: 999px; font-size: 16px; font-weight: 500; color: var(--ink); text-decoration: none; white-space: nowrap; }
.stars:hover { border-color: var(--amber); }
.stars .star { color: var(--amber); font-size: 14px; line-height: 1; }
.stars .count { font-family: var(--mono); font-size: 14px; color: var(--body); }
.stars .count[hidden] { display: none; }
.top-links .top-cta { background: var(--amber); color: #071521; font-weight: 700; padding: 9px 20px; border-radius: 4px; }
.top-links .top-cta:hover { background: var(--amber-ink); color: #071521; }

/* layout */
/* Sidebar, article and contents rail are one block, centred on a wide
   screen, and the top bar lines up with its edges. No rule beside the
   sidebar and no scrollbar on it: both read as a bar through the page. */
.shell { display: flex; max-width: var(--page); margin: 0 auto; }
.side {
  position: sticky; top: var(--top); flex: none; width: var(--side); height: calc(100vh - var(--top));
  display: flex; flex-direction: column;
}
.side > nav { flex: 1; min-height: 0; overflow-y: auto; overscroll-behavior: contain; scrollbar-width: none; padding: 28px 16px 24px 24px; }
.side > nav::-webkit-scrollbar { display: none; }
.side-group + .side-group { margin-top: 26px; }
.side-title { margin: 0 0 10px; font-family: var(--mono); font-size: 12px; letter-spacing: .14em; text-transform: uppercase; color: var(--label); }
.side ul { list-style: none; margin: 0; padding: 0; }
.side li a {
  display: block; padding: 6px 12px; border-left: 2px solid var(--line);
  font-size: 15px; line-height: 1.35; color: var(--body); text-decoration: none;
}
.side li a:hover { color: var(--ink); border-left-color: var(--line-strong); }
.side li a[aria-current] { color: var(--ink); font-weight: 700; border-left-color: var(--amber); }
.side-foot { flex: none; padding: 14px 16px 18px 24px; display: flex; flex-wrap: wrap; align-items: center; gap: 10px 18px; }
.side-foot > a:not(.side-nofire) { display: none; }
.side-foot > a:not(.side-nofire):not(.stars) { font-size: 15px; font-weight: 500; text-decoration: none; }
.side-nofire { display: flex; align-items: center; gap: 10px; width: 100%; font-size: 14px; font-weight: 500; color: var(--body); text-decoration: none; }
.side-nofire img { display: block; }
.scrim { position: fixed; inset: var(--top) 0 0 0; z-index: 29; background: var(--scrim); }

.main { flex: 1; min-width: 0; display: flex; justify-content: space-between; gap: 56px; padding: 44px 24px 72px 48px; }
.doc { flex: 1; min-width: 0; max-width: 800px; margin: 0 auto; }
.toc { position: sticky; top: calc(var(--top) + 44px); flex: none; width: var(--toc); max-height: calc(100vh - var(--top) - 72px); overflow-y: auto; scrollbar-width: none; align-self: flex-start; font-size: 14.5px; }
.toc::-webkit-scrollbar { display: none; }
.toc-title { margin: 0 0 12px; font-family: var(--mono); font-size: 12px; letter-spacing: .14em; text-transform: uppercase; color: var(--label); }
.toc ul, .toc-inline ul { list-style: none; margin: 0; padding: 0; }
.toc a { display: block; padding: 6px 0 6px 14px; border-left: 2px solid var(--line); color: var(--body); text-decoration: none; line-height: 1.35; overflow-wrap: anywhere; }
.toc a:hover { color: var(--ink); border-left-color: var(--line-strong); }
.toc a.active { color: var(--ink); font-weight: 700; border-left-color: var(--amber); }
/* Subsections show only for the section being read. */
.toc li ul { display: none; }
.toc li.open > ul { display: block; }
.toc li li a { padding: 4px 0 4px 28px; font-size: 13.5px; color: var(--label); }
.toc li li a.active { color: var(--ink); }
.toc code, .toc-inline code { font-size: .92em; background: none; border: 0; padding: 0; color: inherit; }
.toc-inline { display: none; margin: 0 0 28px; border: 1px solid var(--line); background: var(--panel); }
.toc-inline summary { padding: 11px 14px; font-weight: 600; color: var(--ink); cursor: pointer; }
.toc-inline > ul { padding: 0 14px 12px; }
.toc-inline a { display: block; padding: 6px 0; color: var(--body); text-decoration: none; overflow-wrap: anywhere; }
.toc-inline li li a { padding-left: 16px; font-size: 14.5px; color: var(--label); }

/* article */
.eyebrow { margin: 0 0 16px; font-family: var(--mono); font-size: 13px; letter-spacing: .14em; text-transform: uppercase; color: var(--amber-ink); }
.doc h1 { margin: 0 0 22px; font-size: 44px; line-height: 1.08; letter-spacing: -.025em; font-weight: 800; color: var(--ink); overflow-wrap: break-word; }
.doc h2 { margin: 46px 0 16px; padding-top: 34px; border-top: 1px solid var(--line); font-size: 28px; line-height: 1.14; letter-spacing: -.02em; font-weight: 800; color: var(--ink); }
.doc h3 { margin: 36px 0 12px; font-size: 20px; line-height: 1.3; font-weight: 700; color: var(--ink); }
.doc h4 { margin: 28px 0 10px; font-size: 17px; font-weight: 700; color: var(--ink); }
.doc h2, .doc h3, .doc h4 { overflow-wrap: break-word; }
.doc h1 code, .doc h2 code, .doc h3 code, .doc h4 code { font-size: .88em; }
.anchor { margin-left: 4px; color: var(--label); font-weight: 400; text-decoration: none; opacity: 0; }
h2:hover .anchor, h3:hover .anchor, h4:hover .anchor, .anchor:focus { opacity: 1; }
.doc p, .doc ul, .doc ol { margin: 0 0 18px; }
.doc ul, .doc ol { padding-left: 24px; }
.doc li { margin: 6px 0; }
.doc li > p { margin-bottom: 8px; }
.doc li::marker { color: var(--label); }
.doc strong { color: var(--ink); }
.doc a { text-decoration: underline; text-decoration-color: var(--amber); text-decoration-thickness: 2px; text-underline-offset: 3px; overflow-wrap: break-word; }
.doc a:hover { color: var(--amber-ink); }
.doc img { max-width: 100%; height: auto; }
.doc hr { border: 0; border-top: 1px solid var(--line); margin: 36px 0; }
.doc blockquote { margin: 0 0 22px; padding: 2px 0 2px 18px; border-left: 3px solid var(--line-strong); }
.doc blockquote > :last-child { margin-bottom: 0; }
.doc .callout { padding: 14px 18px; border: 1px solid var(--line); border-left: 3px solid var(--amber); background: var(--panel); font-size: 15.5px; }
.callout-label { margin-right: 4px; font-family: var(--mono); font-size: 11px; letter-spacing: .14em; text-transform: uppercase; color: var(--amber-ink) !important; }
.callout.warning { border-left-color: var(--warn); }
.callout.warning .callout-label { color: var(--warn) !important; }
.callout .code, .doc details .code { background: var(--bg); }
.doc details:not(.toc-inline) { margin: 0 0 22px; border: 1px solid var(--line); }
.doc details:not(.toc-inline) > summary { padding: 11px 16px; font-weight: 600; color: var(--ink); cursor: pointer; background: var(--panel); }
.doc details:not(.toc-inline)[open] > summary { border-bottom: 1px solid var(--line); }
.doc details:not(.toc-inline) > :not(summary) { margin-inline: 16px; }
.doc details:not(.toc-inline) > summary + * { margin-top: 16px; }
.doc details .table-wrap, .doc details .code { margin-bottom: 16px; }
.lead { font-size: 20px; line-height: 1.5; color: var(--body); }
.figure { margin: 0 0 22px; border: 1px solid var(--line); }
.figure img { display: block; width: 100%; }

code { font-family: var(--mono); font-size: .875em; }
:not(pre) > code { padding: 1px 5px; border: 1px solid var(--line); border-radius: 3px; background: var(--panel); color: var(--ink); overflow-wrap: anywhere; }
.code { position: relative; margin: 0 0 22px; border: 1px solid var(--line); background: var(--panel); }
.code pre { margin: 0; padding: 15px 18px; overflow-x: auto; font-size: 13.5px; line-height: 1.6; background: none !important; tab-size: 2; }
.code pre:focus-visible { outline-offset: -2px; }
.code code { font-size: inherit; }
.copy {
  position: absolute; top: 8px; right: 8px; z-index: 1; padding: 4px 9px; border: 1px solid var(--line-strong); border-radius: 3px;
  background: var(--bg); color: var(--label); font-family: var(--mono); font-size: 11px; letter-spacing: .1em; text-transform: uppercase;
  cursor: pointer; opacity: 0; transition: opacity .12s;
}
.code:hover .copy, .copy:focus-visible, .copy[data-copied] { opacity: 1; }
.copy:hover, .copy[data-copied] { color: var(--ink); border-color: var(--amber); }
@media (hover: none) { .copy { opacity: 1; } .code pre { padding-right: 70px; } }

.table-wrap { margin: 0 0 22px; overflow-x: auto; border: 1px solid var(--line); }
table { width: 100%; border-collapse: collapse; font-size: 14.5px; line-height: 1.5; }
th, td { padding: 10px 14px; text-align: left; vertical-align: top; border-bottom: 1px solid var(--line); }
th { background: var(--panel); color: var(--ink); font-weight: 700; white-space: nowrap; }
tr:last-child td { border-bottom: 0; }
td code { overflow-wrap: normal; }
td:first-child code { white-space: nowrap; }

/* Diagrams. Inline SVG from docs-src/diagrams/, drawn with straight shapes
   and roughened by a displacement filter so the lines look drawn by hand.
   The text sits outside the filter and stays sharp. */
.diagram { margin: 0 0 26px; }
.diagram .dg-scroll { overflow-x: auto; }
.dg { display: block; width: 100%; min-width: 620px; height: auto; }
.dg text { font-family: var(--sans); font-size: 15px; fill: var(--ink); }
.dg .dg-h { font-size: 16px; font-weight: 800; letter-spacing: -.01em; }
.dg .dg-b { font-weight: 700; }
.dg .dg-sub { font-size: 12.5px; fill: var(--body); }
.dg .dg-mono { font-family: var(--mono); font-size: 13px; }
.dg .dg-dim { fill: var(--label); }
.dg rect, .dg circle, .dg path { fill: none; stroke: var(--ink); stroke-width: 2; stroke-linecap: round; stroke-linejoin: round; }
.dg .dg-zone { fill: var(--panel); }
.dg .dg-vm { fill: #FDF5E6; stroke: var(--amber-ink); stroke-width: 2.5; }
.dg .dg-box { fill: #fff; }
.dg .dg-on { stroke: var(--amber-ink); stroke-width: 2.5; }
.dg .dg-off { stroke: var(--line-strong); stroke-dasharray: 5 5; }
.dg .dg-num { fill: var(--amber); stroke: var(--ink); }
.dg .dg-ok { stroke: var(--amber); stroke-width: 3.5; stroke-dasharray: 9 7; animation: dg-flow 1s linear infinite; }
.dg .dg-head { fill: var(--amber); stroke: none; }
.dg .dg-no { stroke: var(--line-strong); stroke-dasharray: 3 6; }
.dg .dg-x { stroke: var(--warn); stroke-width: 3; }
@keyframes dg-flow { to { stroke-dashoffset: -32; } }
.diagram figcaption { margin-top: 10px; font-size: 14px; color: var(--label); }

/* Recordings and the terminal replay: the landing page's terminal block,
   on the deep navy the brand keeps for terminals. */
.clip, .replay { margin: 0 0 26px; }
.clip video { display: block; width: 100%; height: auto; background: #071521; border-top: 4px solid var(--amber); }
.clip figcaption, .replay figcaption { margin-top: 10px; font-size: 14px; color: var(--label); }
.replay pre { margin: 0; padding: 20px 22px; overflow-x: auto; background: #071521; color: #F2EFE6; border-top: 4px solid var(--amber); font-size: 13.5px; line-height: 1.65; }
.replay .cmd { color: #fff; font-weight: 700; }
.replay .line { display: block; min-height: 1.65em; }
.replay .line[hidden] { display: none; }
.replay .caret::after { content: ""; display: inline-block; width: .55em; height: 1.05em; margin-left: 2px; vertical-align: -.15em; background: var(--amber); }
.replay-again { margin: 8px 0 0; padding: 4px 10px; border: 1px solid var(--line-strong); border-radius: 3px; background: none; color: var(--label); font-family: var(--mono); font-size: 11px; letter-spacing: .1em; text-transform: uppercase; cursor: pointer; }
.replay-again:hover { border-color: var(--amber); color: var(--ink); }

/* cards and tabs, used on the hand-written pages */
.cards { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 14px; margin: 26px 0; }
.doc .card { display: block; padding: 20px 22px 22px; border-top: 4px solid var(--line); background: var(--panel); text-decoration: none; }
.doc .card:hover { border-top-color: var(--amber); color: inherit; }
.card strong { display: block; margin-bottom: 4px; font-size: 17px; }
.card strong::after { content: " \2192"; color: var(--amber); }
.card span { display: block; font-size: 14.5px; line-height: 1.5; color: var(--body); }
.tabs { margin: 0 0 22px; }
.tabs .code { margin-bottom: 0; }
.tab[data-title]::before { content: attr(data-title); display: block; margin: 12px 0 6px; font-weight: 600; color: var(--ink); }
.tabs.ready .tab::before { content: none; }
.tablist { display: flex; gap: 4px; }
.tablist button { padding: 8px 14px; border: 1px solid var(--line); border-bottom: 0; background: none; color: var(--label); font: inherit; font-size: 14px; font-weight: 600; cursor: pointer; }
.tablist button[aria-selected="true"] { background: var(--panel); color: var(--ink); box-shadow: inset 0 3px 0 var(--amber); }

/* page footer */
.doc-foot { margin-top: 64px; padding-top: 22px; border-top: 1px solid var(--line); }
.doc .edit { font-size: 14px; color: var(--label); text-decoration-thickness: 1px; }
.pager { display: grid; grid-template-columns: 1fr 1fr; gap: 14px; margin-top: 22px; }
.doc .pager a { display: block; padding: 14px 18px; border: 1px solid var(--line); text-decoration: none; }
.doc .pager a:hover { border-color: var(--amber); color: inherit; }
.pager span { display: block; font-family: var(--mono); font-size: 11px; letter-spacing: .14em; text-transform: uppercase; color: var(--label); }
.pager strong { display: block; margin-top: 2px; font-size: 16px; }
.pager .next { text-align: right; }
.site-foot { padding: 34px var(--edge) 46px; border-top: 1px solid var(--line); }
.foot-top { display: flex; align-items: center; justify-content: space-between; gap: 28px; margin-bottom: 18px; }
.brandline { display: flex; align-items: center; text-decoration: none; }
.brandline img { display: block; }
.foot-nav { display: flex; gap: 34px; }
.foot-nav a { font-size: 15px; font-weight: 500; text-decoration: none; }
.foot-nav a:hover { color: var(--amber-ink); }
.foot-bottom { display: flex; align-items: flex-end; justify-content: space-between; gap: 28px; }
.foot-bottom p { margin: 0; font-size: 14px; line-height: 1.55; color: var(--body); }
.foot-bottom p a { font-weight: 600; text-decoration: none; border-bottom: 1px solid var(--amber); padding-bottom: 1px; }
.foot-bottom p a:hover { color: var(--amber-ink); border-color: var(--amber-ink); }
.foot-bottom .meta { font-size: 14px; color: var(--label); white-space: nowrap; }

/* search */
dialog.search { width: min(680px, calc(100vw - 24px)); max-height: min(640px, calc(100vh - 80px)); margin: 72px auto auto; padding: 0; border: 1px solid var(--line-strong); border-top: 4px solid var(--amber); border-radius: 0; background: var(--bg); color: var(--body); overflow: hidden; }
dialog.search[open] { display: flex; flex-direction: column; }
dialog.search::backdrop { background: var(--scrim); }
.search-box { display: flex; align-items: center; gap: 12px; padding: 0 16px; border-bottom: 1px solid var(--line); color: var(--label); }
.search-box input { flex: 1; min-width: 0; height: 54px; border: 0; outline: 0; background: none; color: var(--ink); font: inherit; font-size: 17px; }
.search-box input::-webkit-search-cancel-button { display: none; }
.search-close { padding: 3px 8px; border: 1px solid var(--line-strong); border-radius: 3px; background: none; color: var(--label); font-family: var(--mono); font-size: 11px; cursor: pointer; }
.search-results { overflow-y: auto; overscroll-behavior: contain; }
.search-results a { display: block; padding: 11px 16px; border-left: 3px solid transparent; border-bottom: 1px solid var(--line); text-decoration: none; }
.search-results a.active, .search-results a:hover { border-left-color: var(--amber); background: var(--panel); }
.search-results .where { display: block; font-family: var(--mono); font-size: 11px; letter-spacing: .1em; text-transform: uppercase; color: var(--label); }
.search-results .what { display: block; font-weight: 700; color: var(--ink); }
.search-results .snip { display: block; font-size: 13.5px; line-height: 1.45; color: var(--body); overflow-wrap: anywhere; }
.search-results mark { background: none; color: inherit; box-shadow: inset 0 -2px 0 var(--amber); }
.search-hint { margin: 0; padding: 14px 16px; font-size: 14px; color: var(--label); }

@media (max-width: 1240px) {
  .toc { display: none; }
  .toc-inline { display: block; }
}
@media (max-width: 940px) {
  :root { --top: 60px; --edge: 22px; }
  .brand svg { height: 24px; }
  .top { gap: 12px; }
  .icon-btn { display: flex; }
  .top-links { display: none; }
  .search-btn { width: 40px; padding: 0; justify-content: center; border: 0; background: none; color: var(--ink); }
  .search-btn span, .search-btn kbd { display: none; }
  .search-btn svg { width: 19px; height: 19px; }
  .side {
    position: fixed; top: var(--top); left: 0; bottom: 0; z-index: 30; width: min(320px, 86vw); height: auto;
    background: var(--bg); border-right: 1px solid var(--line); transform: translateX(-100%); visibility: hidden;
    transition: transform .18s ease, visibility .18s;
  }
  .nav-open .side { transform: none; visibility: visible; }
  .side > nav { padding: 22px 16px 22px 20px; }
  .side-foot { padding-left: 20px; border-top: 1px solid var(--line); }
  .nav-open { overflow: hidden; }
  .side li a { padding: 9px 12px; font-size: 16px; }
  .side-foot > a:not(.side-nofire) { display: inline-flex; }
  .main { padding: 28px 22px 56px; }
  .doc h1 { font-size: 31px; }
  .doc h2 { font-size: 23px; margin-top: 44px; }
  .doc h3 { font-size: 18.5px; }
  .lead { font-size: 18px; }
  .cards, .pager { grid-template-columns: 1fr; }
  .pager .next { text-align: left; }
  .doc > .code, .doc > .tabs .code { margin-inline: -22px; border-right: 0; }
  .code pre { padding-inline: 22px; font-size: 13px; }
  .tabs .tablist { margin-inline: 0; }
  .doc > .table-wrap { margin-inline: -22px; border-inline: 0; }
  th, td { padding: 9px 12px; }
  .doc > .table-wrap th:first-child, .doc > .table-wrap td:first-child { padding-left: 22px; }
  .anchor { display: none; }
  .doc { margin: 0; }
  .foot-top, .foot-bottom { flex-direction: column; align-items: flex-start; gap: 16px; }
  .foot-nav { flex-wrap: wrap; gap: 14px 22px; }
  dialog.search { margin-top: 12px; max-height: calc(100vh - 24px); }
}
@media (prefers-reduced-motion: reduce) {
  * { transition: none !important; animation: none !important; scroll-behavior: auto !important; }
}
@media print {
  .top, .side, .toc, .toc-inline, .copy, .pager, .site-foot, .scrim { display: none !important; }
  .main { padding: 0; }
}