/* Lexicon components. Uses only semantic colour tokens (color-semantics.css) and type roles.
   No gradients, no glass, no KPI tiles. State never by colour alone: glyph + border always. */

*,
*::before,
*::after { box-sizing: border-box; }

html { -webkit-text-size-adjust: 100%; }
body {
  margin: 0;
  background: var(--bg-canvas);
  color: var(--text-body);
  font-family: var(--font-sans);
  font-size: 1rem;
  line-height: 1.6;
  text-rendering: optimizeLegibility;
}

a { color: var(--text-illuminated); text-underline-offset: 0.18em; text-decoration-thickness: 1px; }
a:hover { text-decoration-thickness: 2px; }
:focus-visible { outline: 2px solid var(--focus-ring); outline-offset: 2px; border-radius: 2px; }

h1, h2, h3 { font-family: var(--font-display); color: var(--text-primary); line-height: 1.15; letter-spacing: -0.01em; margin: 0 0 0.5em; }
h1 { font-size: clamp(2rem, 5vw, 3rem); font-weight: 700; }
h2 { font-size: 1.35rem; font-weight: 600; margin-top: 2.5rem; }
h3 { font-size: 1.05rem; font-weight: 600; }
p { margin: 0 0 1rem; max-width: 68ch; }

code, kbd, pre, .mono { font-family: var(--font-mono); font-size: 0.875em; }
pre {
  background: var(--bg-inset);
  color: var(--text-primary);
  border: 1px solid var(--border-default);
  border-radius: 6px;
  padding: 0.85rem 1rem;
  overflow-x: auto;
  white-space: pre;
  margin: 0;
}

.skip { position: absolute; left: -9999px; top: 0; }
.skip:focus { left: 1rem; top: 1rem; z-index: 10; background: var(--bg-surface); color: var(--text-primary); padding: 0.5rem 0.75rem; }
.visually-hidden { position: absolute !important; width: 1px; height: 1px; padding: 0; margin: -1px; overflow: hidden; clip: rect(0 0 0 0); white-space: nowrap; border: 0; }

.wrap { width: 100%; max-width: 72rem; margin: 0 auto; padding: 0 16px; }
@media (min-width: 720px) { .wrap { padding: 0 2rem; } }

/* header */
.site-header { border-bottom: 1px solid var(--border-subtle); background: var(--bg-canvas); }
.site-header .wrap { display: flex; align-items: center; gap: 1rem; min-height: 3.5rem; flex-wrap: wrap; }
.brand { font-family: var(--font-display); font-weight: 700; font-size: 1.05rem; color: var(--text-primary); text-decoration: none; letter-spacing: 0.01em; }
.brand-mark { display: inline-block; width: 0.65em; height: 0.65em; border: 2px solid var(--illum-solid); border-radius: 50%; margin-right: 0.45em; vertical-align: 0.02em; }
.nav { display: flex; gap: 1.1rem; margin-left: auto; align-items: center; flex-wrap: wrap; }
.nav a { color: var(--text-muted); text-decoration: none; font-size: 0.95rem; }
.nav a[aria-current="page"], .nav a:hover { color: var(--text-primary); }
.theme-toggle {
  font: inherit; font-size: 0.85rem; color: var(--text-muted); background: transparent;
  border: 1px solid var(--border-default); border-radius: 999px; padding: 0.2rem 0.7rem; cursor: pointer;
}
.theme-toggle:hover { color: var(--text-primary); border-color: var(--border-strong); }

main { padding: 2rem 0 4rem; }
.lede { font-size: 1.1rem; color: var(--text-body); max-width: 62ch; }
.eyebrow { font-family: var(--font-mono); font-size: 0.75rem; letter-spacing: 0.08em; text-transform: uppercase; color: var(--text-faint); margin: 0 0 0.5rem; }

/* search */
.search { margin: 1.75rem 0 1rem; }
.search label { display: block; font-weight: 600; color: var(--text-primary); margin-bottom: 0.4rem; }
.field {
  width: 100%; font: inherit; font-size: 1.1rem; color: var(--text-primary); background: var(--bg-surface);
  border: 1px solid var(--border-strong); border-radius: 6px; padding: 0.7rem 0.9rem;
}
.field::placeholder { color: var(--text-faint); }
.field:focus-visible { outline-offset: 0; border-color: var(--border-illuminated); }
.filters { display: flex; gap: 0.4rem; flex-wrap: wrap; margin: 0.75rem 0 0; padding: 0; list-style: none; }
.chip {
  font: inherit; font-size: 0.85rem; color: var(--text-muted); background: transparent;
  border: 1px solid var(--border-default); border-radius: 999px; padding: 0.2rem 0.75rem; cursor: pointer;
}
.chip[aria-pressed="true"] { color: var(--text-primary); border-color: var(--border-illuminated); background: var(--illum-wash); }
.chip[aria-pressed="true"]::before { content: "● "; color: var(--text-illuminated); }
.count { color: var(--text-muted); font-size: 0.9rem; margin: 0.75rem 0; }

.results { list-style: none; margin: 0; padding: 0; border-top: 1px solid var(--border-subtle); }
.results li { border-bottom: 1px solid var(--border-subtle); }
.results a.row { display: block; padding: 0.9rem 0.25rem; text-decoration: none; color: inherit; }
.results a.row:hover { background: var(--bg-surface-hover); }
.row-head { display: flex; gap: 0.6rem; align-items: baseline; flex-wrap: wrap; }
.row-term { font-family: var(--font-display); font-weight: 600; font-size: 1.05rem; color: var(--text-primary); }
.row-snippet { color: var(--text-muted); font-size: 0.95rem; margin-top: 0.2rem; overflow-wrap: anywhere; }

/* badges: glyph + border, never colour alone */
.badge {
  display: inline-flex; align-items: center; gap: 0.3em; font-size: 0.72rem; line-height: 1;
  padding: 0.25em 0.55em; border-radius: 4px; border: 1px solid var(--border-default); color: var(--text-muted);
  font-family: var(--font-sans); letter-spacing: 0.02em; white-space: nowrap;
}
.badge-verbatim { color: var(--status-verified); border-color: currentColor; }
.badge-verbatim::before { content: "◆"; }
.badge-summary { color: var(--status-review); border-color: currentColor; border-style: dashed; }
.badge-summary::before { content: "◇"; }
.badge-process { color: var(--status-inert); border-style: dotted; }
.badge-process::before { content: "○"; }
.badge-type::before { content: "▪"; color: var(--text-faint); }
.badge-id { font-family: var(--font-mono); color: var(--text-faint); }

/* term page */
.crumbs { font-size: 0.9rem; color: var(--text-muted); margin-bottom: 1rem; }
.crumbs a { color: var(--text-muted); }
.aliases { color: var(--text-muted); margin: -0.25rem 0 1rem; overflow-wrap: anywhere; }
.badges { display: flex; gap: 0.4rem; flex-wrap: wrap; margin-bottom: 1.5rem; }
.definition {
  margin: 0 0 0.5rem; padding: 1rem 1.25rem; border-left: 3px solid var(--border-illuminated);
  background: var(--bg-surface); color: var(--text-primary); font-size: 1.12rem; line-height: 1.65; max-width: 72ch; overflow-wrap: anywhere;
}
.definition-cite { color: var(--text-muted); font-size: 0.9rem; margin-bottom: 2rem; }
.prov { list-style: none; padding: 0; margin: 0; border-top: 1px solid var(--border-subtle); }
.prov li { display: grid; grid-template-columns: 7rem 1fr auto; gap: 0.75rem; padding: 0.6rem 0; border-bottom: 1px solid var(--border-subtle); align-items: baseline; font-size: 0.92rem; }
.prov .src { color: var(--text-muted); }
.prov .ref { overflow-wrap: anywhere; color: var(--text-body); }
.prov time { color: var(--text-faint); }
@media (max-width: 560px) { .prov li { grid-template-columns: 1fr; gap: 0.15rem; } }
.related { display: flex; flex-wrap: wrap; gap: 0.5rem 1.25rem; list-style: none; padding: 0; margin: 0; }
.cite-box { display: flex; gap: 0.5rem; align-items: stretch; flex-wrap: wrap; }
.cite-box pre { flex: 1 1 20rem; white-space: pre-wrap; overflow-wrap: anywhere; }

.btn {
  font: inherit; font-size: 0.9rem; font-weight: 500; cursor: pointer; border-radius: 6px; padding: 0.45rem 0.9rem;
  border: 1px solid var(--border-strong); background: var(--bg-surface); color: var(--text-primary);
}
.btn:hover { border-color: var(--border-illuminated); }
.btn-primary { background: var(--illum-solid); border-color: var(--illum-solid); color: var(--text-on-illuminated); }
.btn-primary:hover { background: var(--illum-solid-hover); }
.btn[data-state="copied"]::after { content: " ✓"; }

/* sections */
.panel { border-top: 1px solid var(--border-subtle); padding-top: 0.25rem; }
.kv { display: grid; grid-template-columns: max-content 1fr; gap: 0.35rem 1rem; margin: 0 0 1rem; }
.kv dt { color: var(--text-muted); }
.kv dd { margin: 0; overflow-wrap: anywhere; }
.endpoint-list { list-style: none; padding: 0; margin: 0 0 1rem; }
.endpoint-list li { padding: 0.35rem 0; border-bottom: 1px solid var(--border-subtle); overflow-wrap: anywhere; }
.endpoint-list code { color: var(--text-primary); }
.words { display: flex; flex-wrap: wrap; gap: 0.35rem; padding: 0; list-style: none; margin: 0.75rem 0 0; }
.words li { font-size: 0.85rem; border: 1px solid var(--border-subtle); border-radius: 4px; padding: 0.1rem 0.45rem; color: var(--text-muted); }
details summary { cursor: pointer; color: var(--text-primary); font-weight: 600; }

table.releases { border-collapse: collapse; width: 100%; font-size: 0.92rem; }
.table-scroll { overflow-x: auto; }
table.releases th, table.releases td { text-align: left; padding: 0.55rem 0.6rem; border-bottom: 1px solid var(--border-subtle); vertical-align: top; }
table.releases th { color: var(--text-muted); font-weight: 500; }
table.releases td.hash { overflow-wrap: anywhere; min-width: 16rem; }

/* compiler */
.compile-grid { display: grid; gap: 1.5rem; }
.expr-wrap { position: relative; }
.expr { font-family: var(--font-mono); font-size: 1rem; }
.expr-help { color: var(--text-muted); font-size: 0.9rem; margin-top: 0.5rem; }
.listbox {
  position: absolute; z-index: 5; left: 0; right: 0; top: calc(100% + 4px); margin: 0; padding: 0.25rem 0; list-style: none;
  background: var(--bg-surface-raised); border: 1px solid var(--border-strong); border-radius: 6px; max-height: 16rem; overflow-y: auto;
}
.listbox[hidden] { display: none; }
.listbox li { padding: 0.4rem 0.75rem; cursor: pointer; display: flex; justify-content: space-between; gap: 1rem; }
.listbox li[aria-selected="true"] { background: var(--illum-wash); color: var(--text-primary); }
.listbox .opt-kind { color: var(--text-faint); font-size: 0.8rem; }
.status-line { font-size: 0.92rem; margin: 0.75rem 0 0; display: flex; gap: 0.5rem; align-items: baseline; }
.status-ok { color: var(--status-verified); }
.status-ok::before { content: "◆ "; }
.status-err { color: var(--status-contradiction); }
.status-err::before { content: "✕ "; }
.caret-line { font-family: var(--font-mono); font-size: 0.9rem; white-space: pre; color: var(--status-contradiction); overflow-x: auto; margin: 0.25rem 0 0; }
.suggest { display: flex; gap: 0.4rem; flex-wrap: wrap; margin-top: 0.5rem; }
.tabs { display: flex; gap: 0.25rem; border-bottom: 1px solid var(--border-default); flex-wrap: wrap; }
.tab {
  font: inherit; font-size: 0.95rem; color: var(--text-muted); background: transparent; border: 1px solid transparent;
  border-bottom: none; padding: 0.5rem 0.9rem; cursor: pointer; border-radius: 6px 6px 0 0; margin-bottom: -1px;
}
.tab[aria-selected="true"] { color: var(--text-primary); border-color: var(--border-default); background: var(--bg-canvas); border-bottom: 1px solid var(--bg-canvas); }
.tab[aria-selected="true"]::before { content: "▸ "; color: var(--text-illuminated); }
.tabpanel { padding: 1rem 0; }
.tabpanel[hidden] { display: none; }
.english { font-size: 1.08rem; color: var(--text-primary); max-width: 70ch; }
.diagram { background: var(--bg-surface); border: 1px solid var(--border-default); border-radius: 6px; padding: 1rem; overflow-x: auto; min-height: 6rem; }
.diagram svg { max-width: 100%; height: auto; }
.toolbar { display: flex; gap: 0.5rem; flex-wrap: wrap; margin: 0.75rem 0; }
.saved { list-style: none; padding: 0; margin: 0.5rem 0 0; }
.saved li { display: flex; gap: 0.5rem; align-items: center; justify-content: space-between; padding: 0.4rem 0; border-bottom: 1px solid var(--border-subtle); }
.saved code { overflow-wrap: anywhere; color: var(--text-primary); }
.linklike { font: inherit; background: none; border: none; color: var(--text-illuminated); cursor: pointer; text-decoration: underline; padding: 0; }

/* embed */
body.embed main { padding: 1rem 0; }
body.embed .wrap { padding: 0 12px; }
.embed-foot { font-size: 0.8rem; color: var(--text-faint); padding: 0.75rem 0; border-top: 1px solid var(--border-subtle); }
.term-card { border: 1px solid var(--border-default); border-radius: 6px; padding: 1rem 1.1rem; background: var(--bg-surface); }

/* footer */
.site-footer { border-top: 1px solid var(--border-subtle); padding: 1.5rem 0 2.5rem; color: var(--text-muted); font-size: 0.9rem; }
.site-footer .wrap > * { margin: 0 0 0.4rem; max-width: none; }
.site-footer code { color: var(--text-body); overflow-wrap: anywhere; }
.site-footer a { color: var(--text-muted); }

@media (prefers-reduced-motion: reduce) { * { scroll-behavior: auto !important; transition: none !important; animation: none !important; } }
