:root {
  color-scheme: light dark;
  /*
   * Reference palette, not project branding:
   * - Stacks / AFP / Mathlib: white page, black text, gray structure, blue links.
   * - agda-unimath light: #fff/#000, #fafafa surfaces, #aaa control borders.
   * - API reference / Scalar dark: #0f0f0f page, #1a1a1a secondary surfaces,
   *   #272727 tertiary surfaces, #e7e7e7 text, #a4a4a4 muted text, and
   *   #2d2d2d borders. Use the same neutral system across the whole site.
   */
  --bg: #ffffff;
  --surface: #ffffff;
  --surface-subtle: #f8f9fa;
  --surface-code: #f3f3f3;
  --ink: #000000;
  --ink-strong: #000000;
  --muted: #555555;
  --rule: #dfdfdf;
  --rule-strong: #bfbfbf;
  --accent: #0645ad;
  --accent-strong: #004d99;
  --accent-soft: #f0f4fa;
  --accent-ink: #0645ad;
  --button-bg: #fafafa;
  --button-hover: #e6e6e6;
  --button-border: #aaaaaa;
  --button-text: #000000;
  --danger: #9f3025;
  --mark: #f3e7a6;
  --mark-ink: #111111;
  --shadow: none;
  --sans: Inter, ui-sans-serif, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
  --serif: ui-serif, Georgia, Cambria, "Times New Roman", serif;
  --mono: "SFMono-Regular", Consolas, "Liberation Mono", Menlo, monospace;
  --shell: 1180px;
}

@media (prefers-color-scheme: dark) {
  :root {
    --bg: #0f0f0f;
    --surface: #0f0f0f;
    --surface-subtle: #1a1a1a;
    --surface-code: #1a1a1a;
    --ink: #e7e7e7;
    --ink-strong: #f1f1f1;
    --muted: #a4a4a4;
    --rule: #2d2d2d;
    --rule-strong: #3a3a3a;
    --accent: #36a3d9;
    --accent-strong: #5ab7e3;
    --accent-soft: #1a1a1a;
    --accent-ink: #36a3d9;
    --button-bg: #1a1a1a;
    --button-hover: #272727;
    --button-border: #3a3a3a;
    --button-text: #ffffff;
    --danger: #d98d83;
    --mark: #e3b171;
    --mark-ink: #111111;
    --shadow: none;
  }
}

* { box-sizing: border-box; }

html {
  font-size: 16px;
  scroll-behavior: smooth;
}

body {
  margin: 0;
  background: var(--bg);
  color: var(--ink);
  font-family: var(--sans);
  font-size: 0.96rem;
  line-height: 1.55;
  -webkit-font-smoothing: antialiased;
}

a {
  color: var(--accent);
  text-decoration-thickness: 1px;
  text-underline-offset: 0.16em;
}

a:hover { color: var(--accent-strong); }

a:focus-visible,
button:focus-visible,
input:focus-visible,
select:focus-visible,
summary:focus-visible {
  outline: 3px solid color-mix(in srgb, var(--accent) 38%, transparent);
  outline-offset: 2px;
}

code, pre, kbd { font-family: var(--mono); }

code {
  padding: 0.12em 0.35em;
  border: 1px solid var(--rule);
  border-radius: 4px;
  background: var(--surface-code);
  color: var(--ink);
  font-size: 0.88em;
}

pre {
  overflow-x: auto;
  margin: 0;
  font-family: var(--mono);
  tab-size: 2;
}

pre code {
  padding: 0;
  border: 0;
  background: transparent;
  font-size: inherit;
}

mark {
  padding: 0 0.08em;
  border-radius: 2px;
  background: var(--mark);
  color: var(--mark-ink);
}

/* Shiki writes token colors as inline styles. A search hit must override those
 * colors or identifiers/comments can become unreadable against the mark. */
mark * { color: var(--mark-ink) !important; }

.shell {
  width: min(calc(100% - 2.5rem), var(--shell));
  margin-inline: auto;
}

.site-header {
  position: relative;
  z-index: 10;
  border-bottom: 1px solid var(--rule);
  background: var(--surface);
}

.masthead {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 2rem;
  min-height: 74px;
}

.brand {
  display: inline-flex;
  align-items: center;
  gap: 0.78rem;
  color: var(--ink-strong);
  text-decoration: none;
}

.brand-mark {
  display: grid;
  place-items: center;
  width: 34px;
  height: 34px;
  border: 1px solid var(--rule-strong);
  border-radius: 3px;
  background: transparent;
  color: var(--ink-strong);
  font-family: var(--serif);
  font-size: 0.96rem;
  font-weight: 700;
  letter-spacing: -0.04em;
}

.brand-copy { display: grid; gap: 0.05rem; }

.brand-name {
  font-family: var(--serif);
  font-size: 1.16rem;
  font-weight: 700;
  line-height: 1.1;
}

.brand-tagline {
  color: var(--muted);
  font-size: 0.73rem;
  letter-spacing: 0.035em;
  line-height: 1.2;
}

.site-nav {
  display: flex;
  align-items: center;
  gap: 0.25rem;
}

.site-nav a {
  padding: 0.48rem 0.68rem 0.42rem;
  border-bottom: 2px solid transparent;
  border-radius: 0;
  color: var(--muted);
  font-size: 0.84rem;
  font-weight: 650;
  text-decoration: none;
}

.site-nav a:hover {
  color: var(--ink-strong);
}

.site-nav a[aria-current="page"] {
  border-bottom-color: var(--accent);
  background: transparent;
  color: var(--ink-strong);
}

.page-main { padding-block: 2.4rem 4rem; }

.page-heading {
  max-width: 790px;
  margin-bottom: 2rem;
}

.eyebrow {
  margin: 0 0 0.55rem;
  color: var(--accent);
  font-size: 0.72rem;
  font-weight: 750;
  letter-spacing: 0.105em;
  text-transform: uppercase;
}

h1, h2, h3 {
  color: var(--ink-strong);
  font-family: var(--serif);
  font-weight: 650;
  letter-spacing: -0.018em;
}

h1 {
  margin: 0;
  font-size: clamp(2.05rem, 4vw, 3.65rem);
  line-height: 1.04;
}

h2 {
  margin: 2.5rem 0 0.9rem;
  font-size: clamp(1.35rem, 2vw, 1.72rem);
  line-height: 1.16;
}

h3 {
  margin: 1.7rem 0 0.65rem;
  font-size: 1.12rem;
}

.lede {
  max-width: 740px;
  margin: 0.9rem 0 0;
  color: var(--muted);
  font-family: var(--serif);
  font-size: 1.09rem;
  line-height: 1.62;
}

.hero {
  display: grid;
  grid-template-columns: minmax(0, 820px);
  align-items: start;
  padding-block: 3.2rem 2.4rem;
}

.hero-copy { align-self: center; }

.hero-copy h1 { max-width: 820px; }

.hero-copy .lede { max-width: 760px; }

.search-box {
  margin-top: 1.65rem;
  padding: 0.58rem;
  border: 1px solid var(--rule-strong);
  border-radius: 4px;
  background: var(--surface);
  box-shadow: var(--shadow);
}

.search-form {
  display: grid;
  grid-template-columns: minmax(0, 1fr) auto;
  gap: 0.55rem;
  margin: 0;
}

.search-form input[type="search"] {
  min-width: 0;
  height: 48px;
  margin: 0;
  padding: 0 0.95rem;
  border: 0;
  border-radius: 2px;
  outline: none;
  background: transparent;
  color: var(--ink-strong);
  font-family: var(--mono);
  font-size: 0.94rem;
}

.search-form input::placeholder { color: var(--muted); }

.search-form button,
.button {
  min-height: 48px;
  padding: 0.68rem 1.15rem;
  border: 1px solid var(--button-border);
  border-radius: 3px;
  background: var(--button-bg);
  color: var(--button-text);
  font: 650 0.86rem/1 var(--sans);
  cursor: pointer;
}

.search-form button:hover,
.button:hover {
  background: var(--button-hover);
  color: var(--button-text);
}

.query-help {
  display: flex;
  flex-wrap: wrap;
  gap: 0.45rem 0.7rem;
  align-items: center;
  margin: 0.7rem 0.25rem 0.05rem;
  color: var(--muted);
  font-size: 0.76rem;
}

.query-help code {
  font-size: 0.95em;
  white-space: nowrap;
}

.advanced-search {
  margin: 0.6rem 0.25rem 0.05rem;
  padding-top: 0.55rem;
  border-top: 1px solid var(--rule);
}

.advanced-search summary {
  width: max-content;
  color: var(--accent);
  cursor: pointer;
  font-size: 0.78rem;
  font-weight: 650;
}

.advanced-search-grid {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 0.75rem 0.9rem;
  padding-top: 0.85rem;
}

.advanced-search-grid label {
  display: grid;
  gap: 0.28rem;
  color: var(--muted);
  font-size: 0.72rem;
  font-weight: 650;
}

.advanced-search-grid input,
.advanced-search-grid select {
  width: 100%;
  height: 38px;
  margin: 0;
  padding: 0 0.65rem;
  border: 1px solid var(--rule);
  border-radius: 3px;
  background: var(--surface-subtle);
  color: var(--ink);
  font: 0.8rem var(--sans);
}

.advanced-search-grid input { font-family: var(--mono); }

.field-link {
  width: max-content;
  color: var(--accent);
  font-size: 0.72rem;
  font-weight: 500;
}

.advanced-search-options {
  display: flex;
  flex-wrap: wrap;
  gap: 0.55rem 1rem;
  align-items: center;
  padding: 0.7rem 0 0.15rem;
  color: var(--muted);
  font-size: 0.76rem;
}

.advanced-search-options label {
  display: inline-flex;
  gap: 0.38rem;
  align-items: center;
  cursor: pointer;
}

.advanced-search-options input[type="checkbox"] {
  margin: 0;
  accent-color: var(--accent-strong);
}

.hero-panel {
  display: grid;
  align-content: start;
  border: 1px solid var(--rule);
  border-radius: 4px;
  background: var(--surface);
  box-shadow: var(--shadow);
}

.hero-panel-head {
  padding: 0.95rem 1rem 0.7rem;
  border-bottom: 1px solid var(--rule);
  color: var(--muted);
  font-size: 0.72rem;
  font-weight: 750;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.hero-metrics {
  display: grid;
  grid-template-columns: 1fr 1fr;
}

.hero-metric {
  min-width: 0;
  padding: 0.9rem 1rem 1rem;
  border-bottom: 1px solid var(--rule);
}

.hero-metric:nth-child(odd) { border-right: 1px solid var(--rule); }
.hero-metric:nth-last-child(-n + 2) { border-bottom: 0; }

.hero-metric strong {
  display: block;
  color: var(--ink-strong);
  font-family: var(--serif);
  font-size: 1.48rem;
  font-variant-numeric: tabular-nums;
  line-height: 1.08;
}

.hero-metric span {
  display: block;
  margin-top: 0.28rem;
  color: var(--muted);
  font-size: 0.72rem;
  line-height: 1.35;
}

.status-line {
  min-height: 1.35rem;
  margin: 0.9rem 0 0;
  color: var(--muted);
  font-family: var(--mono);
  font-size: 0.76rem;
}

.status-line.broken { color: var(--danger); }

.browse-grid {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(210px, 1fr));
  gap: 1rem;
  margin-top: 0.65rem;
}

.browse-card {
  display: block;
  padding: 1.15rem 1.2rem 1.25rem;
  border: 1px solid var(--rule);
  border-radius: 4px;
  background: var(--surface);
  color: inherit;
  text-decoration: none;
}

.browse-card:hover {
  border-color: var(--rule-strong);
  color: inherit;
}

.browse-card strong {
  display: block;
  color: var(--accent);
  font-family: var(--serif);
  font-size: 1.08rem;
}

.browse-card span {
  display: block;
  margin-top: 0.28rem;
  color: var(--muted);
  font-size: 0.81rem;
}

.agent-guide {
  max-width: 900px;
}

.agent-guide > section {
  margin-top: 2.4rem;
}

.copy-panel {
  margin-top: 1rem;
  border: 1px solid var(--rule);
  border-radius: 4px;
  background: var(--surface-subtle);
}

.copy-panel-header {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 1rem;
  min-height: 44px;
  padding: 0.45rem 0.65rem 0.45rem 0.9rem;
  border-bottom: 1px solid var(--rule);
}

.copy-panel-header strong {
  font-size: 0.84rem;
}

.copy-button {
  min-height: 32px;
  padding: 0.42rem 0.7rem;
  border: 1px solid var(--button-border);
  border-radius: 3px;
  background: var(--button-bg);
  color: var(--button-text);
  font: 650 0.76rem/1 var(--sans);
  cursor: pointer;
}

.copy-button:hover { background: var(--button-hover); }

.copy-panel pre {
  max-height: 36rem;
  padding: 1rem;
  overflow: auto;
  white-space: pre-wrap;
  overflow-wrap: anywhere;
  color: var(--ink);
  font-size: 0.82rem;
  line-height: 1.55;
}

.agent-links {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 0.8rem;
  margin-top: 1rem;
}

.agent-links a {
  padding: 0.85rem 0.95rem;
  border: 1px solid var(--rule);
  border-radius: 4px;
  text-decoration: none;
}

.agent-links strong,
.agent-links span { display: block; }

.agent-links span {
  margin-top: 0.18rem;
  color: var(--muted);
  font-size: 0.78rem;
}

.section-rule {
  margin-block: 2.2rem 0;
  border: 0;
  border-top: 1px solid var(--rule);
}

.search-results { margin-top: 1.2rem; }

.search-results article {
  overflow: hidden;
  margin: 0 0 1rem;
  border: 1px solid var(--rule);
  border-radius: 9px;
  background: var(--surface);
  box-shadow: 0 1px 2px rgb(15 23 42 / 0.035);
}

.search-results article > header {
  display: flex;
  align-items: baseline;
  justify-content: space-between;
  gap: 1rem;
  padding: 0.72rem 0.9rem;
  border-bottom: 1px solid var(--rule);
  background: var(--surface-subtle);
}

.search-results article > header a {
  font-family: var(--mono);
  font-size: 0.8rem;
  font-weight: 700;
  text-decoration: none;
}

.tag {
  color: var(--muted);
  font-size: 0.67rem;
  font-weight: 750;
  letter-spacing: 0.07em;
  text-transform: uppercase;
}

.search-results article > header a.tag {
  color: var(--muted);
  font-family: var(--sans);
  font-size: 0.67rem;
  font-weight: 750;
  text-decoration: underline;
  text-decoration-thickness: 1px;
  text-underline-offset: 0.16em;
}

.search-results article > header a.tag:hover { color: var(--accent); }

.file + .file { border-top: 1px solid var(--rule); }

.path {
  padding: 0.55rem 0.9rem 0.25rem;
  color: var(--muted);
  font-family: var(--mono);
  font-size: 0.7rem;
}

.path a { color: inherit; }

.exact-aliases {
  margin: 0 0.9rem 0.35rem;
  color: var(--muted);
  font-family: var(--mono);
  font-size: 0.67rem;
}

.exact-aliases summary {
  cursor: pointer;
  width: fit-content;
}

.exact-aliases div {
  margin-top: 0.28rem;
  padding-left: 0.9rem;
}

.exact-aliases a { color: inherit; }

.file pre {
  padding: 0.15rem 0.9rem 0.72rem;
  background: var(--surface);
  color: var(--ink);
  font-size: 0.75rem;
  line-height: 1.52;
}

.file pre.namehit {
  color: var(--muted);
  font-style: italic;
}

.file pre .ln {
  color: var(--muted);
  user-select: none;
}

.metric-grid {
  display: grid;
  grid-template-columns: repeat(4, 1fr);
  gap: 0.8rem;
  margin: 1.2rem 0 1.7rem;
}

.metric-card {
  padding: 1rem 1.05rem;
  border: 1px solid var(--rule);
  border-radius: 8px;
  background: var(--surface);
}

.metric-card .value {
  color: var(--ink-strong);
  font-family: var(--serif);
  font-size: 1.62rem;
  font-variant-numeric: tabular-nums;
  line-height: 1.05;
}

.metric-card .label {
  margin-top: 0.32rem;
  color: var(--muted);
  font-size: 0.76rem;
}

.note,
.muted {
  color: var(--muted);
  font-size: 0.8rem;
}

.panel {
  padding: 1.1rem 1.2rem;
  border: 1px solid var(--rule);
  border-radius: 9px;
  background: var(--surface);
}

.table-wrap {
  overflow-x: auto;
  border: 1px solid var(--rule);
  border-radius: 9px;
  background: var(--surface);
}

table {
  width: 100%;
  border-collapse: collapse;
  background: var(--surface);
  font-size: 0.82rem;
}

th, td {
  padding: 0.62rem 0.72rem;
  border-bottom: 1px solid var(--rule);
  text-align: left;
  vertical-align: top;
}

th {
  color: var(--ink-strong);
  background: var(--surface-subtle);
  font-size: 0.7rem;
  font-weight: 750;
  letter-spacing: 0.045em;
  text-transform: uppercase;
}

tr:last-child > td,
tr:last-child > th { border-bottom: 0; }

.metrics-table td:not(:first-child),
.metrics-table th:not(:first-child) {
  text-align: right;
  font-variant-numeric: tabular-nums;
}

.source-browser { margin-top: 1rem; }

.tabulator {
  overflow: hidden;
  border: 1px solid var(--rule) !important;
  border-radius: 9px;
  background: var(--surface) !important;
  color: var(--ink) !important;
  font-family: var(--sans);
  font-size: 0.8rem;
}

.tabulator .tabulator-header {
  border-bottom: 1px solid var(--rule) !important;
  background: var(--surface-subtle) !important;
  color: var(--ink-strong) !important;
}

.tabulator .tabulator-header .tabulator-col {
  border-right: 1px solid var(--rule) !important;
  background: var(--surface-subtle) !important;
}

.tabulator .tabulator-header .tabulator-col-content {
  padding: 0.58rem 0.65rem !important;
}

.tabulator .tabulator-header-filter input {
  width: 100%;
  margin-top: 0.38rem;
  padding: 0.4rem 0.5rem;
  border: 1px solid var(--rule-strong);
  border-radius: 5px;
  background: var(--surface);
  color: var(--ink);
  font: 0.74rem var(--sans);
}

.tabulator .tabulator-tableholder .tabulator-table,
.tabulator .tabulator-row {
  background: var(--surface) !important;
  color: var(--ink) !important;
}

.tabulator .tabulator-row:nth-child(even) { background: color-mix(in srgb, var(--surface-subtle) 36%, var(--surface)) !important; }
.tabulator .tabulator-row:hover { background: var(--accent-soft) !important; }

.tabulator .tabulator-row .tabulator-cell {
  padding: 0.55rem 0.65rem !important;
  border-right: 1px solid var(--rule) !important;
  border-bottom: 1px solid var(--rule) !important;
  white-space: normal;
}

.tabulator .tabulator-row .tabulator-cell a {
  font-family: var(--mono);
  font-size: 0.76rem;
  font-weight: 650;
  text-decoration: none;
}

.tabulator .tabulator-group {
  padding: 0.52rem 0.7rem !important;
  border-top: 1px solid var(--rule) !important;
  border-bottom: 1px solid var(--rule) !important;
  background: var(--surface-subtle) !important;
  color: var(--ink-strong) !important;
  font-size: 0.76rem;
  font-weight: 750;
}

.tabulator .tabulator-group span { color: var(--muted) !important; }

.content-layout {
  display: grid;
  grid-template-columns: 220px minmax(0, 1fr);
  gap: 2.4rem;
  align-items: start;
}

.toc {
  position: sticky;
  top: 1.25rem;
  padding-right: 1rem;
}

.toc-title {
  margin-bottom: 0.55rem;
  color: var(--muted);
  font-size: 0.68rem;
  font-weight: 750;
  letter-spacing: 0.09em;
  text-transform: uppercase;
}

.toc a {
  display: block;
  padding: 0.34rem 0;
  color: var(--muted);
  font-size: 0.78rem;
  line-height: 1.28;
  text-decoration: none;
}

.toc a:hover { color: var(--accent); }

.topic-toc .topic-group-title {
  margin-top: 1rem;
}

.topic-toc .topic-group-title:first-child { margin-top: 0; }

.topic-toc {
  max-height: calc(100vh - 2.5rem);
  overflow-y: auto;
  scrollbar-width: thin;
}

.topic-count {
  margin-left: 0.45rem;
  color: var(--muted);
  font-family: var(--sans);
  font-size: 0.72rem;
  font-weight: 500;
  letter-spacing: 0;
}

.topic-prose h2 {
  padding-bottom: 0.42rem;
  border-bottom: 1px solid var(--rule);
}

.topic-prose h3 { scroll-margin-top: 1rem; }

.topic-prose table td:first-child { width: 28%; }

.prose {
  min-width: 0;
  max-width: 900px;
}

.prose > h2:first-child { margin-top: 0; }

.prose p,
.prose li { max-width: 78ch; }

.prose table { margin: 0.7rem 0 1.6rem; }

.prose table td:first-child { width: 30%; }

.docs-layout {
  display: grid;
  grid-template-columns: 180px minmax(0, 1fr);
  gap: 2.5rem;
  align-items: start;
}

.docs article { min-width: 0; max-width: 860px; }

.docs pre {
  margin: 0.75rem 0 1.1rem;
  padding: 0.85rem 1rem;
  border: 1px solid var(--rule);
  border-radius: 7px;
  background: var(--surface-code);
  font-size: 0.76rem;
  line-height: 1.55;
}

.endpoint {
  display: flex;
  gap: 0.55rem;
  align-items: center;
  margin: 1rem 0 1.4rem;
  padding: 0.75rem 0.85rem;
  border: 1px solid var(--rule);
  border-radius: 7px;
  background: var(--surface);
  font-family: var(--mono);
  font-size: 0.79rem;
}

.method {
  padding: 0.2rem 0.38rem;
  border-radius: 4px;
  background: var(--accent-soft);
  color: var(--accent-ink);
  font: 750 0.66rem var(--sans);
  letter-spacing: 0.04em;
}

.site-footer {
  margin-top: 3rem;
  border-top: 1px solid var(--rule);
  background: var(--surface);
}

.footer-inner {
  display: flex;
  justify-content: space-between;
  gap: 1rem 2rem;
  padding-block: 1.15rem 1.35rem;
  color: var(--muted);
  font-size: 0.73rem;
}

.footer-inner p { margin: 0; }

.footer-links {
  display: flex;
  gap: 0.25rem;
  align-items: center;
  white-space: nowrap;
}

.footer-icon-link {
  display: grid;
  place-items: center;
  width: 32px;
  height: 32px;
  border: 1px solid transparent;
  border-radius: 4px;
  color: var(--muted);
  text-decoration: none;
}

.footer-icon-link:hover {
  border-color: var(--rule);
  background: var(--surface-subtle);
  color: var(--ink-strong);
}

.footer-icon-link svg {
  width: 18px;
  height: 18px;
  pointer-events: none;
}

@media (max-width: 900px) {
  .hero { grid-template-columns: 1fr; }
  .hero-panel { max-width: 620px; }
  .metric-grid { grid-template-columns: 1fr 1fr; }
  .content-layout,
  .docs-layout { grid-template-columns: 1fr; }
  .toc { position: static; padding-right: 0; }
  .toc nav { display: grid; grid-template-columns: 1fr 1fr; column-gap: 1rem; }
  .topic-toc {
    max-height: 18rem;
    padding: 0.8rem;
    border: 1px solid var(--rule);
    border-radius: 8px;
    background: var(--surface);
  }
}

@media (max-width: 680px) {
  .shell { width: min(calc(100% - 1.4rem), var(--shell)); }
  .masthead { align-items: flex-start; flex-direction: column; gap: 0.8rem; padding-block: 0.8rem; }
  .site-nav { width: 100%; overflow-x: auto; }
  .site-nav a { padding-inline: 0.48rem; }
  .brand-tagline { display: none; }
  .page-main { padding-block: 1.6rem 3rem; }
  .hero { padding-block: 2rem 1.5rem; }
  .search-form { grid-template-columns: 1fr; }
  .search-form button { width: 100%; }
  .advanced-search-grid { grid-template-columns: 1fr; }
  .browse-grid { grid-template-columns: 1fr; }
  .metric-grid { grid-template-columns: 1fr 1fr; }
  .footer-inner { flex-direction: column; }
}

/* Contributions */
.contribution-page {
  max-width: 860px;
}

.contribution-page section {
  max-width: 760px;
  margin-top: 2.4rem;
}

.contribution-page section > p {
  line-height: 1.65;
}

.button.contribution-primary {
  display: inline-flex;
  align-items: center;
  text-decoration: none;
}

.lead-form {
  display: grid;
  gap: 1rem;
  margin-top: 1rem;
  padding: 1.2rem;
  border: 1px solid var(--rule);
  border-radius: 4px;
  background: var(--surface);
}

.lead-form label {
  display: grid;
  gap: 0.38rem;
  color: var(--ink-strong);
  font-size: 0.82rem;
  font-weight: 650;
}

.lead-form .optional {
  color: var(--muted);
  font-size: 0.72rem;
  font-weight: 500;
}

.lead-form input,
.lead-form textarea {
  width: 100%;
  box-sizing: border-box;
  padding: 0.72rem 0.78rem;
  border: 1px solid var(--rule-strong);
  border-radius: 3px;
  background: var(--surface-subtle);
  color: var(--ink);
  font: 0.86rem/1.45 var(--sans);
}

.lead-form input { font-family: var(--mono); }
.lead-form textarea { resize: vertical; }
.lead-form input::placeholder,
.lead-form textarea::placeholder { color: var(--muted); }

.lead-form-actions {
  display: flex;
  flex-wrap: wrap;
  gap: 0.75rem 1rem;
  align-items: center;
}

.form-status {
  color: var(--muted);
  font-size: 0.78rem;
}

.form-status.broken { color: var(--danger); }