:root {
  --bg: #fbfbfb; --side: #f4f5f7; --panel: #ffffff; --line: #e3e5e8; --line-strong: #cfd3d8;
  --text: #16181b; --muted: #6b7280; --faint: #9aa0a8; --link: #2c5d8f; --code-bg: #f3f4f6;
  --def: #3f8f73; --def-bg: #e4f1ec; --lemma: #3b6ea8; --lemma-bg: #e2ebf6; --struct: #7a5aa6; --struct-bg: #ece6f4;
  --root: #2f5d8a; --warn: #a15c07; --warn-bg: #fdf1dc; --bad: #b42318; --bad-bg: #fde7e5; --good: #25784a; --good-bg: #e2f3e8;
  --band: #f1f2f4; --shadow: 0 1px 2px rgba(0,0,0,.04);
  --mono: ui-monospace, "SF Mono", "JetBrains Mono", Menlo, Consolas, monospace;
  --sans: -apple-system, BlinkMacSystemFont, "Segoe UI", system-ui, sans-serif;
  --serif: Georgia, "Times New Roman", serif;
  color-scheme: light;
}
@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) {
    --bg: #15171a; --side: #1b1e22; --panel: #1f2226; --line: #2c3036; --line-strong: #3a3f46;
    --text: #e6e8eb; --muted: #9ba3ae; --faint: #6f7782; --link: #8ab4e0; --code-bg: #262a2f;
    --def-bg: #1d3029; --lemma-bg: #1c2a3b; --struct-bg: #2a2336; --band: #1b1e22;
    --warn-bg: #3a2c12; --bad-bg: #3b1d1a; --good-bg: #183225; --root: #5d8fc2; color-scheme: dark;
  }
}
:root[data-theme="dark"] {
  --bg: #15171a; --side: #1b1e22; --panel: #1f2226; --line: #2c3036; --line-strong: #3a3f46;
  --text: #e6e8eb; --muted: #9ba3ae; --faint: #6f7782; --link: #8ab4e0; --code-bg: #262a2f;
  --def-bg: #1d3029; --lemma-bg: #1c2a3b; --struct-bg: #2a2336; --band: #1b1e22;
  --warn-bg: #3a2c12; --bad-bg: #3b1d1a; --good-bg: #183225; --root: #5d8fc2; color-scheme: dark;
}
* { box-sizing: border-box; }
html, body { margin: 0; background: var(--bg); color: var(--text); font: 16px/1.6 var(--sans); }
a { color: var(--link); }
code, pre, .mono { font-family: var(--mono); font-size: 0.9em; }
pre { background: var(--code-bg); padding: 10px 12px; border-radius: 6px; overflow-x: auto; line-height: 1.45; margin: 8px 0; }
.muted { color: var(--muted); } .faint { color: var(--faint); }

/* frame */
header.top { position: sticky; top: 0; z-index: 20; height: 48px; display: flex; align-items: center; gap: 12px;
  padding: 0 16px 0 20px; background: var(--panel); border-bottom: 1px solid var(--line); }
.brand { font-weight: 700; color: var(--text); text-decoration: none; margin-left: 262px; white-space: nowrap; }
.menu { display: none; border: 0; background: none; font-size: 20px; color: var(--text); cursor: pointer; }
#search { margin-left: auto; width: min(360px, 40vw); padding: 6px 12px; border: 1px solid var(--line-strong);
  border-radius: 999px; background: var(--bg); color: var(--text); font: inherit; font-size: 14px; }
.search-results { position: absolute; top: 44px; right: 16px; width: min(560px, 92vw); max-height: 70vh; overflow: auto;
  background: var(--panel); border: 1px solid var(--line-strong); border-radius: 8px; box-shadow: 0 8px 24px rgba(0,0,0,.12); }
.search-results a { display: block; padding: 7px 12px; text-decoration: none; color: var(--text); border-bottom: 1px solid var(--line); }
.search-results a:hover, .search-results a.active { background: var(--side); }
.search-results .k { color: var(--muted); font-size: 12px; float: right; margin-left: 8px; }
.shell { display: flex; min-height: calc(100vh - 48px); }
nav.side { width: 250px; flex: 0 0 250px; background: var(--side); border-right: 1px solid var(--line);
  position: sticky; top: 48px; height: calc(100vh - 48px); overflow-y: auto; padding: 6px 0 24px; font-size: 15px; }
.nav-links a { display: block; padding: 3px 20px; font-weight: 600; color: var(--text); text-decoration: none; font-size: 14px; }
.nav-links a:hover, .nav-links a.here { color: var(--link); }
.theme { margin: 8px 14px 10px; width: calc(100% - 28px); text-align: left; padding: 3px 12px; font: 600 12px var(--sans);
  border: 1px solid var(--line-strong); border-radius: 999px; background: var(--panel); color: var(--text); cursor: pointer; }
.toc { border-top: 1px solid var(--line); padding: 12px 8px 0; }
.toc summary { font-weight: 700; cursor: pointer; padding-left: 4px; }
.toc ol { margin: 4px 0 0 6px; padding-left: 22px; border-left: 1px dotted var(--line-strong); }
.toc li { color: var(--muted); } .toc a { color: var(--muted); text-decoration: none; } .toc a:hover, .toc a.here { color: var(--link); text-decoration: underline; }
.toc ol ol { border-left: 0; margin: 0; padding-left: 16px; font-size: 13px; }
main { flex: 1; min-width: 0; padding: 26px 40px 60px; max-width: 1180px; }
main:focus { outline: none; }
.pager { display: flex; justify-content: space-between; font-size: 13px; color: var(--muted); margin: 0 0 14px; max-width: 760px; }
.pager a { color: var(--muted); text-decoration: none; } .pager a:hover { color: var(--link); }
h1 { font-size: 2.1rem; line-height: 1.2; margin: 6px 0 18px; letter-spacing: -0.01em; }
h1.decl { font-family: var(--mono); font-size: 1.75rem; word-break: break-all; }
h2 { font-size: 1.45rem; margin: 34px 0 12px; } h3 { font-size: 1.1rem; margin: 22px 0 8px; }
hr { border: 0; border-top: 1px solid var(--line); margin: 28px 0; }
.lead { font-size: 1.02rem; }

/* notes, badges */
.notice { border: 1px solid var(--line); border-left: 4px solid var(--link); background: var(--panel); padding: 10px 14px; border-radius: 6px; margin: 12px 0; }
.notice.warn { border-left-color: var(--warn); background: var(--warn-bg); }
.badge { display: inline-block; font: 12px var(--serif); padding: 1px 8px; border-radius: 999px; background: var(--code-bg); color: var(--muted); border: 1px solid var(--line); white-space: nowrap; }
.badge.statement, .badge.body, .badge.removed { background: var(--bad-bg); color: var(--bad); border-color: transparent; }
.badge.underneath { background: var(--warn-bg); color: var(--warn); border-color: transparent; }
.badge.proof, .badge.added, .badge.renamed { background: var(--good-bg); color: var(--good); border-color: transparent; }
.badge.sorry { background: var(--bad-bg); color: var(--bad); border-color: transparent; }
.badge.accepted { background: var(--good-bg); color: var(--good); border-color: transparent; }
.badge.query { background: var(--warn-bg); color: var(--warn); border-color: transparent; }
.badge.stale { background: var(--bad-bg); color: var(--bad); border-color: transparent; }
.changebar { background: var(--side); border: 1px solid var(--line); border-radius: 6px; padding: 6px 12px; font-size: 13px; color: var(--muted); margin: 0 0 14px; }

/* quoted docstrings */
.authors { border-left: 3px solid var(--line-strong); padding: 2px 0 2px 12px; margin: 10px 0 14px; }
.authors .lbl, .lbl { font: 600 11px var(--sans); letter-spacing: .08em; text-transform: uppercase; color: var(--faint); }
.authors .body { font-family: var(--serif); }
.authors .body p { margin: 4px 0; }
.readme { font-family: var(--serif); }

/* lists of declarations */
.decl-list { list-style: none; padding: 0; margin: 10px 0; }
.decl-list li { display: flex; justify-content: space-between; gap: 12px; padding: 7px 0; border-bottom: 1px solid var(--line); }
.decl-list .n { font-family: var(--mono); font-size: 14px; word-break: break-all; }
.decl-list .m { font: 12px var(--serif); color: var(--muted); white-space: nowrap; }
.rowcard { background: var(--panel); border: 1px solid var(--line); border-radius: 6px; padding: 10px 14px; margin: 10px 0; box-shadow: var(--shadow); }
.rowcard .h { display: flex; flex-wrap: wrap; gap: 8px; align-items: baseline; }
.rowcard .h a { font-family: var(--mono); font-size: 14px; }
.rowcard .meta { font: 12px var(--serif); color: var(--muted); }
.rowcard .d { font: 14px/1.5 var(--serif); margin-top: 6px; color: var(--text); }
.rowcard .d p { margin: 2px 0; }
.clamp { display: -webkit-box; -webkit-line-clamp: 3; -webkit-box-orient: vertical; overflow: hidden; }
details.group > summary { font-weight: 700; color: var(--muted); cursor: pointer; margin: 14px 0 4px; }

/* the declaration card */
.card { background: var(--panel); border: 1px solid var(--line); border-left: 4px solid var(--lemma); border-radius: 6px; padding: 12px 16px 6px; margin: 8px 0 16px; box-shadow: var(--shadow); }
.card.definition { border-left-color: var(--def); } .card.structure { border-left-color: var(--struct); }
.card .kind { font: 700 11px var(--sans); letter-spacing: .1em; color: var(--muted); text-transform: uppercase; }
.anat { display: grid; grid-template-columns: 96px 1fr; column-gap: 12px; row-gap: 4px; margin: 10px 0 6px; }
.anat .k { font: 11px var(--sans); letter-spacing: .08em; text-transform: uppercase; color: var(--faint); padding-top: 4px; }
.anat .v { font-family: var(--mono); font-size: 14px; }
.anat .v > div { padding: 2px 0; }
.anat .with { color: var(--faint); font: 12px var(--serif); margin: 0 4px; }
.anat .box { background: var(--code-bg); border: 1px solid var(--line); border-radius: 5px; padding: 8px 10px; white-space: pre-wrap; }
.card details { border-top: 1px solid var(--line); padding: 6px 0; }
.card details > summary { cursor: pointer; font-weight: 600; font-size: 14px; }
.facts { margin: 10px 0; font-size: 14px; }
.facts p { margin: 6px 0; }

/* audit */
.audit { background: var(--side); border: 1px solid var(--line); border-radius: 6px; padding: 10px 12px; margin: 14px 0; }
.audit .top { display: flex; justify-content: space-between; align-items: baseline; font: 12px var(--serif); color: var(--muted); }
.audit .top b { font: 700 11px var(--sans); letter-spacing: .08em; text-transform: uppercase; color: var(--muted); margin-right: 6px; }
.seg { display: inline-flex; gap: 6px; margin: 8px 0; flex-wrap: wrap; align-items: center; }
.seg button, .btn { font: 12px var(--serif); padding: 2px 11px; border-radius: 999px; border: 1px solid var(--line-strong); background: var(--panel); color: var(--text); cursor: pointer; }
.seg button.on { background: var(--text); color: var(--panel); border-color: var(--text); }
.btn:hover, .seg button:hover { border-color: var(--link); }
textarea.note { width: 100%; min-height: 48px; font: 13px var(--serif); padding: 6px 8px; border: 1px solid var(--line-strong); border-radius: 5px; background: var(--panel); color: var(--text); }
.progress { background: var(--panel); border: 1px solid var(--line); border-radius: 8px; padding: 12px 16px; margin: 12px 0; }
.progress h3 { margin: 0 0 4px; font-size: 1.25rem; }
.buttons { display: flex; flex-wrap: wrap; gap: 8px; margin: 8px 0; }
.review { border-left: 3px solid var(--good); padding: 4px 10px; margin: 6px 0; font-size: 14px; }
.review.stale, .review.stale-underneath { border-left-color: var(--warn); }

/* graphs */
.graph { background: var(--panel); border: 1px solid var(--line); border-radius: 8px; padding: 12px; margin: 12px 0; }
.graph .tools { display: flex; gap: 8px; flex-wrap: wrap; align-items: center; }
.graph .tools input { flex: 1; min-width: 180px; padding: 5px 12px; border: 1px solid var(--line-strong); border-radius: 999px; font: 14px var(--sans); background: var(--bg); color: var(--text); }
.graph .hint { font-size: 13px; color: var(--muted); margin: 8px 0 4px; }
.graph .canvas { position: relative; height: 420px; background: var(--bg); border: 1px solid var(--line); border-radius: 6px; overflow: hidden; cursor: grab; touch-action: none; }
.graph .canvas.tall { height: 560px; }
.graph svg { width: 100%; height: 100%; user-select: none; }
.graph .node rect { stroke-width: 1.2; }
.graph .node text { font: 600 11px var(--mono); pointer-events: none; }
.graph .node { cursor: pointer; }
.graph .node.dim { opacity: .18; } .graph .edge.dim { opacity: .08; }
.graph .edge { fill: none; stroke: var(--faint); stroke-width: 1.1; }
.graph .edge.hot { stroke: var(--link); stroke-width: 1.8; }
.graph .band { fill: var(--band); }
.graph .rowlbl { font: 11px var(--sans); fill: var(--faint); }
.graph .info { font-size: 13px; color: var(--muted); margin-top: 8px; min-height: 20px; }
.graph .info b { color: var(--text); font-family: var(--mono); }

/* tables */
.filters { display: flex; flex-wrap: wrap; gap: 8px; margin: 10px 0; }
.filters input, .filters select { padding: 5px 10px; border: 1px solid var(--line-strong); border-radius: 999px; background: var(--panel); color: var(--text); font: 14px var(--sans); }
.filters input { flex: 1; min-width: 220px; }
.tablewrap { overflow: auto; max-height: 72vh; border: 1px solid var(--line); border-radius: 6px; background: var(--panel); }
table.grid { border-collapse: collapse; width: 100%; font-size: 13px; }
table.grid th { position: sticky; top: 0; background: var(--side); text-align: left; font: 700 11px var(--sans); letter-spacing: .06em; text-transform: uppercase; color: var(--muted); padding: 8px 10px; cursor: pointer; white-space: nowrap; border-bottom: 1px solid var(--line); }
table.grid td { padding: 5px 10px; border-bottom: 1px solid var(--line); vertical-align: top; }
table.grid td.n { font-family: var(--mono); word-break: break-all; }
table.grid td.num { text-align: right; font-variant-numeric: tabular-nums; }
table.grid td.k { color: var(--muted); font-family: var(--serif); }
table.grid td.mod { font-family: var(--mono); color: var(--muted); font-size: 12px; }

@media (max-width: 900px) {
  .brand { margin-left: 0; }
  .menu { display: block; }
  nav.side { position: fixed; left: 0; top: 48px; z-index: 15; transform: translateX(-100%); transition: transform .15s; }
  nav.side.open { transform: none; }
  main { padding: 18px 16px 50px; }
  .anat { grid-template-columns: 1fr; }
}

/* Declaration names are links, and an underline would hide their underscores. */
a.mono, .n a, .rowcard .h a, table.grid td.n a, .decl-list a, .search-results a, .graph .info a { text-decoration: none; }
a.mono:hover, .n a:hover, .rowcard .h a:hover, table.grid td.n a:hover, .decl-list a:hover { text-decoration: underline; }
/* Headings quoted from docstrings and READMEs stay below the page's own. */
.authors h1, .readme h1 { font-size: 1.45rem; margin: 6px 0 10px; }
.authors h2, .readme h2 { font-size: 1.2rem; margin: 16px 0 6px; }
.authors h3, .readme h3, .authors h4 { font-size: 1.05rem; margin: 12px 0 4px; }
.authors ul, .readme ul { margin: 6px 0; padding-left: 22px; }
blockquote.readme { margin: 10px 0 10px 16px; padding-left: 14px; border-left: 3px solid var(--line-strong); }

/* hovers */
.term { border-bottom: 1px dotted var(--faint); cursor: help; }
.term.local { border-bottom-color: var(--link); }
.term:hover { background: var(--code-bg); border-bottom-style: solid; }
.tip { position: absolute; z-index: 50; max-height: 60vh; overflow: auto; background: var(--panel); border: 1px solid var(--line-strong);
  border-radius: 8px; box-shadow: 0 10px 28px rgba(0,0,0,.16); padding: 10px 12px; font-size: 14px; }
.tip-sig { font: 13px/1.45 var(--mono); white-space: pre-wrap; word-break: break-word; }
.tip-meta { font: 12px var(--serif); color: var(--muted); margin: 4px 0; }
.tip-doc { font: 14px/1.5 var(--serif); border-top: 1px solid var(--line); margin-top: 6px; padding-top: 6px; }
.tip-doc p { margin: 4px 0; } .tip-doc pre { font-size: 12px; }

/* the statement: compact (instances inline) and expanded (one assumption per line, with glosses) */
.card-head { display: flex; justify-content: space-between; align-items: center; }
.expand-btn { font-size: 12px; }
.anat .arow { padding: 2px 0; }
.anat .arow code, .anat .v > code { font-size: 14px; }
.anat .exp { display: none; }
body.anat-expanded .anat .inl { display: none; }
body.anat-expanded .anat .exp { display: block; }
.anat .inst { margin: 2px 0 2px 18px; }
.anat .gloss { display: block; font: 13px/1.45 var(--serif); color: var(--muted); margin: 1px 0 4px 18px; }
.anat .inst .gloss { display: inline; margin: 0 0 0 6px; }
.anat .gloss:empty { display: none; }
.card.upstream { border-left-color: var(--faint); padding-bottom: 12px; }

/* graphs: the key, selection, and the cards under the picture */
.graph .gkey { font-size: 13px; margin: 2px 0 8px; } .graph .gkey summary { cursor: pointer; color: var(--muted); font-weight: 600; }
.graph .gkey dl { display: grid; grid-template-columns: max-content 1fr; gap: 3px 12px; margin: 6px 0 0; }
.graph .gkey dt { font-weight: 600; } .graph .gkey dd { margin: 0; color: var(--muted); }
.graph .canvas.dragging { cursor: grabbing; }
.graph .node.sel rect { stroke-width: 2.6; }
.graph .edge.hot { stroke: var(--link); stroke-width: 1.8; opacity: 1; }
.graph .bandbg { fill: var(--code-bg); }
.graph .btn[aria-pressed="true"] { background: var(--text); color: var(--panel); border-color: var(--text); }
.graph .hint { font-size: 13px; color: var(--muted); margin: 8px 0 4px; }
.gcard { margin-top: 10px; }
.gcard .lead-note { font-size: 14px; color: var(--muted); }
.gentry { border-top: 1px solid var(--line); padding-top: 8px; margin-top: 8px; }
.gentry .ghead { display: flex; justify-content: space-between; align-items: center; gap: 10px; }
.gentry .ghead h3 { margin: 4px 0; font-size: 1rem; word-break: break-all; }
.gentry .warnline { color: var(--warn); font-size: 13px; margin: 2px 0; }
.stale-note { font-size: 13px; color: var(--muted); }
.review.faded { opacity: .6; }
.pins { margin: 4px 0 12px; padding-left: 20px; }
.pins li { margin: 4px 0; }
.pin-stmt { margin: 4px 0; padding: 6px 10px; font-size: 12.5px; white-space: pre-wrap; }
.also { font-size: 14.5px; margin: 10px 0; }
.mode-switch { display: flex; align-items: center; gap: 4px; margin: 8px 14px; font-size: 12.5px; color: var(--muted); }
.mode-switch span { margin-right: 4px; }
.mode-switch button { font: inherit; border: 1px solid var(--line); background: var(--panel, transparent); color: var(--muted); border-radius: 999px; padding: 2px 10px; cursor: pointer; }
.mode-switch button.on { background: var(--link); border-color: var(--link); color: var(--bg); font-weight: 600; }
.audit .rv-form { display: grid; gap: 8px; margin: 8px 0; }
.audit .rv-form label { display: grid; gap: 3px; font-size: 13px; color: var(--muted); }
.audit .rv-form input, .audit .rv-form select, .audit .rv-form textarea { font: inherit; font-size: 14px; color: var(--text); background: var(--bg); border: 1px solid var(--line); border-radius: 6px; padding: 5px 8px; }
.audit .rv-checks { font-size: 13px; }
.audit .rv-checks .lbl { color: var(--muted); margin-right: 4px; }
.audit .rv-checks .hint { color: var(--faint); font-size: 12px; }
.audit .rv-checks .ck-list { display: grid; grid-template-columns: repeat(auto-fill, minmax(250px, 1fr)); gap: 4px 8px; margin-top: 5px; }
.audit .rv-checks .ck { font: inherit; font-size: 12.5px; text-align: left; display: flex; gap: 7px; align-items: baseline; border: 1px solid var(--line); border-radius: 6px; padding: 4px 8px; background: transparent; color: var(--muted); cursor: pointer; }
.audit .rv-checks .ck .box { flex: 0 0 2.2em; font-family: var(--mono); font-size: 12px; color: var(--faint); }
.audit .rv-checks .ck.checked .box { color: var(--good); }
.audit .rv-checks .ck.checked { border-color: var(--good); color: var(--good); font-weight: 600; }
.audit .rv-checks .ck.na { border-style: dashed; }
.audit .rv-foot { display: flex; gap: 10px; align-items: center; flex-wrap: wrap; margin-top: 8px; }
.community { margin: 18px 0; }
.community h3 { display: flex; gap: 10px; align-items: center; flex-wrap: wrap; }
.cov li { margin: 5px 0; }
.audit [hidden] { display: none !important; }   /* the form sets display on its parts: hidden must win */
ul.dgsubs { margin: 4px 0; padding-left: 18px; }
ul.dgsubs li { margin: 2px 0; }
ul.wd { padding-left: 18px; }
ul.wd li { margin: 3px 0; }
ul.wd li.wd-open > b, ul.wd li.wd-refuted > b, ul.wd li.wd-unapplied > b { color: var(--warn); }
ul.wd li.wd-discharged > b, ul.wd li.wd-irrelevant > b { color: var(--good); }
.graph .node.faded { opacity: .5; }