/* ∃xProof AI. Layout: three-zone Swiss grid on a black field.
   Label rail | text column (~65ch, ET Book) | margin notes (Tufte).
   The search-tree canvas sits behind everything and is dimmed under the text column.
   Below 860px the rail sits above each section and margin notes open in place. */

@font-face { font-family: "ET Book"; src: url("fonts/et-book-roman.woff") format("woff"); font-weight: 400; font-style: normal; font-display: swap; }
@font-face { font-family: "ET Book"; src: url("fonts/et-book-italic.woff") format("woff"); font-weight: 400; font-style: italic; font-display: swap; }
@font-face { font-family: "ET Book"; src: url("fonts/et-book-semibold.woff") format("woff"); font-weight: 600; font-style: normal; font-display: swap; }
@font-face { font-family: "Wordmark Exists"; src: url("fonts/wordmark-exists.woff2") format("woff2"); unicode-range: U+2203; font-display: block; }
@font-face { font-family: "Wordmark Garamond"; src: url("fonts/wordmark-garamond.woff2") format("woff2"); font-style: normal; font-display: block; }
@font-face { font-family: "Wordmark Garamond"; src: url("fonts/wordmark-garamond-italic.woff2") format("woff2"); font-style: italic; font-display: block; }

:root {
  /* Single dark look, by design. */
  --bg: #050505;
  --fg: #f5f5f2;          /* primary text, slightly warm */
  --fg-2: #b8b8b3;        /* secondary text, metadata */
  --rule: #2c2c2a;        /* hairlines */
  --rule-strong: #6c6c68; /* heavy rules, inactive marks */
  --red: #b0122b;         /* blood red: marks, underlines, active states */
  --red-bright: #d11c3d;  /* hover, large accent text */
  --green: #1fa463;       /* success path only */
  --header-bg: rgba(5, 5, 5, 0.88);
  --mark: #4a3a10;        /* review-mode highlight */

  --serif: "ET Book", Palatino, "Palatino Linotype", "Book Antiqua", Georgia, serif;
  --sans: "IBM Plex Sans", "Helvetica Neue", Helvetica, Arial, sans-serif;
  --mono: "IBM Plex Mono", ui-monospace, "SF Mono", Menlo, Consolas, monospace;

  --rail: 8.5rem;
  --gap: 2.5rem;
  --margin: 15rem;
  --measure: 34rem;
  color-scheme: dark;
}

* { box-sizing: border-box; }
html { font-size: 17px; -webkit-text-size-adjust: 100%; background: var(--bg); }
@media (min-width: 1200px) { html { font-size: 18px; } }
body {
  margin: 0;
  background: var(--bg);
  color: var(--fg);
  font-family: var(--serif);
  font-size: 1.15rem;
  line-height: 1.5;
  font-kerning: normal;
  font-variant-ligatures: common-ligatures;
  -webkit-font-smoothing: antialiased;
}
body::before { content: ""; position: fixed; inset: 0 0 auto; height: env(safe-area-inset-top, 0px); z-index: 10; background: var(--bg); }

#exproof-search-background { position: fixed; inset: 0; width: 100vw; height: 100vh; z-index: 0; pointer-events: none; background: transparent; display: block; overflow: hidden; }

.page {
  position: relative; z-index: 1;
  max-width: calc(var(--rail) + var(--gap) + var(--measure) + 2.5rem + var(--margin));
  margin: 0 auto;
  padding-left: max(24px, env(safe-area-inset-left, 0px));
  padding-right: max(24px, env(safe-area-inset-right, 0px));
  padding-block: 0 4rem;
}

a { color: inherit; text-decoration: none; transition: color 120ms ease; }
a:hover { color: var(--red-bright); }
a:focus-visible, button:focus-visible, summary:focus-visible, label:focus-visible { outline: 2px solid var(--red-bright); outline-offset: 2px; }
::selection { background: var(--red); color: var(--fg); }

/* ---------- Header ---------- */
.masthead {
  position: sticky; top: env(safe-area-inset-top, 0px); z-index: 5;
  display: flex; flex-wrap: wrap; align-items: baseline; justify-content: space-between; gap: 0.6rem 2rem;
  padding-block: 1.15rem 0.95rem;
  background: var(--header-bg);
  -webkit-backdrop-filter: blur(6px); backdrop-filter: blur(6px);
  border-bottom: 1px solid rgba(108, 108, 104, 0.5);  /* --rule-strong at half opacity */
}
/* Wordmark ∃xProof AI and monogram ∃xP. ∃ from STIX Two Math, the rest from EB Garamond,
   self-hosted subsets. ∃ is red; on hover the whole wordmark turns red. `.brand` sets the name the same
   way inside running text. */
.wordmark { display: inline-flex; align-items: baseline; color: var(--fg); text-decoration: none; font-size: 1.62rem; line-height: 0.92; }
.wordmark:hover { color: var(--fg); }
.brand { white-space: nowrap; font-weight: 400; text-rendering: geometricPrecision; font-kerning: normal; }
.brand .exists {
  font-family: "Wordmark Exists", "STIX Two Math", "STIXGeneral", "Cambria Math", Georgia, serif;
  font-size: 0.965em; line-height: 1; display: inline-block; color: var(--red-bright);
  transform: translateY(0.016em) scaleX(0.975); transform-origin: center; margin-right: 0.008em;
}
.brand .x {
  font-family: "Wordmark Garamond", "EB Garamond", Garamond, Georgia, serif;
  font-size: 0.94em; font-style: italic; line-height: 1; display: inline-block;
  transform: translateY(0.012em); margin-left: -0.010em; margin-right: 0.010em; letter-spacing: -0.010em;
  transition: color 160ms ease;
}
.brand .proof { font-family: "Wordmark Garamond", "EB Garamond", Garamond, Georgia, serif; font-size: 0.94em; line-height: 1; letter-spacing: -0.022em; display: inline-block; }
.brand .ai { font-family: "Wordmark Garamond", "EB Garamond", Garamond, Georgia, serif; font-size: 0.965em; line-height: 1; letter-spacing: -0.014em; display: inline-block; margin-left: 0.18em; }
.wordmark .x, .wordmark .proof, .wordmark .ai { transition: color 160ms ease; }
.wordmark:hover, .wordmark:focus-visible { color: var(--red-bright); }
.brand-mark { font-size: 1.2rem; color: var(--fg); }
.nav { display: flex; flex-wrap: wrap; gap: 0.35rem 1.5rem; font-family: var(--sans); font-size: 0.78rem; letter-spacing: 0.05em; }
.nav a { text-decoration: none; color: var(--fg-2); padding-block: 0.15rem; }
.nav a:hover { color: var(--fg); }
.nav a[aria-current="page"] { color: var(--fg); box-shadow: inset 0 -1px 0 var(--red); }

/* ---------- Hero ---------- */
.hero {
  display: grid; grid-template-columns: var(--rail) minmax(0, 1fr); column-gap: var(--gap);
  padding-block: 5.5rem 4.5rem;
}
.hero { --h1: clamp(2.1rem, 5vw, 3.6rem); }
/* The eyebrow's capitals line up with the capitals of the first line of the title: the title's
   cap line sits 0.1948 of its size below its box, the eyebrow's 0.304rem below its own. */
.hero .eyebrow { grid-column: 1; padding-top: calc(var(--h1) * 0.1948 - 0.304rem); }
.hero:has(h1 > .brand:first-child) .eyebrow { padding-top: calc(var(--h1) * 0.1948 - 0.170rem); }
.hero h1 {
  grid-column: 2; margin: 0; max-width: 22em;
  font-weight: 400; font-size: var(--h1); line-height: 1.08; letter-spacing: -0.01em;
  text-wrap: balance;
}
.hero h1 em { font-style: italic; color: var(--red-bright); }
.hero .lede { grid-column: 2; max-width: var(--measure); margin: 1.8rem 0 0; color: var(--fg-2); font-size: 1.18rem; }
.hero .who { grid-column: 2; margin: 1.8rem 0 0; font-family: var(--sans); font-size: 0.78rem; color: var(--fg-2); line-height: 1.7; }
.hero .who b { color: var(--fg); font-weight: 500; }
.page-head { padding-block: 4rem 3rem; }
.page-head { --h1: clamp(1.9rem, 4vw, 2.7rem); }

.eyebrow, .label {
  font-family: var(--sans); font-size: 0.68rem; font-weight: 500; letter-spacing: 0.12em; text-transform: uppercase; color: var(--fg-2);
  line-height: 1.5;
}

/* ---------- Sections ----------
   Vertical grid. Sections carry no rules; the tree in the background is the only line work
   between them. Each section ends with a gap of var(--tail) above its lower edge. A closing
   note (.more as the last element of a section body) sits midway between the element above it
   and that lower edge: var(--tail) above, var(--tail) below. Follow the same rule for any new
   closing line. */
:root { --tail: 1.4rem; }
.body > .more:last-child { margin-top: var(--tail); margin-bottom: 0; }

.section {
  display: grid; grid-template-columns: var(--rail) minmax(0, 1fr); column-gap: var(--gap);
  padding-block: 3.2rem var(--tail);
}
.section > .label { position: sticky; top: calc(env(safe-area-inset-top, 0px) + 4.6rem); align-self: start; padding-top: var(--label-pt); }
/* Link targets. The menu bar is pinned, so a linked item stops just below it, at the height where a
   pinned section label sits (4.6rem): the item's first line then lines up with the label. A linked
   section stops so that its content, below its 3.2rem top padding, starts at that same height. */
[id] { scroll-margin-top: calc(env(safe-area-inset-top, 0px) + 4.6rem); }
main > .section[id] { scroll-margin-top: calc(env(safe-area-inset-top, 0px) + 1.4rem); }
.work[id] { scroll-margin-top: calc(env(safe-area-inset-top, 0px) + 4.6rem - 1.35rem); }   /* less the entry's top padding */
.featured li[id] { scroll-margin-top: calc(env(safe-area-inset-top, 0px) + 4.6rem - 1rem); }
.work[id]:first-child, .featured li[id]:first-child { scroll-margin-top: calc(env(safe-area-inset-top, 0px) + 4.6rem); }   /* first entries have no top padding */
/* Cap-line alignment. The tops of the capitals in a rail label line up with the tops of the
   capitals in the first line beside it (or the top of a photo). Each kind of first element sits a
   fixed distance below its box, so the label's offset depends on what the body starts with.
   tools/check_alignment.py measures every page; rerun it after changing type sizes. */
.section { --label-pt: 0.222rem; }                                                     /* body text */
.section:has(> .body > .question:first-child) { --label-pt: 0.167rem; }
.section:has(> .body > :is(h3, .featured, .areas):first-child) { --label-pt: 0.056rem; }
.section:has(> .body > .works:first-child) { --label-pt: 0.106rem; }
.section:has(> .body > p:first-child > .brand:first-child) { --label-pt: 0.278rem; }   /* line opens with the wordmark */
.section:has(> .body > .pair:first-child) { --label-pt: 0.111rem; }
.section:has(> .body > .people:first-child) { --label-pt: 1.133rem; }
/* Zone rule. A text section has two zones to the right of the rail: the text column and the
   margin column. Only .sidenote and .marginnote may enter the margin column. Everything else in a
   text section, including figures, tables, and grids, stays inside the text column (max-width: 100%).
   A wide section (.section--wide) has no margin column: its content spans the text and margin
   columns together, and it may not contain margin notes. No element uses negative margins. */
.body { padding-right: calc(var(--margin) + 2.5rem); min-width: 0; counter-reset: sidenote; }
.body > *, .body figure, .body table, .body img, .body pre { max-width: 100%; }
.body * { min-width: 0; }
.section--wide .body { padding-right: 0; }
.section--wide .sidenote, .section--wide .marginnote, .section--wide .margin-toggle { display: none; }
.label, .eyebrow, .meta-line, .work-meta, .role, .addr, .related { overflow-wrap: anywhere; }

/* A formal statement set in the text: italic, indented, variables upright. */
.scheme { font-style: italic; font-size: 1.24rem; line-height: 1.45; margin: 1.4rem 0 1.5rem; padding-left: 1.4rem; }
.scheme var, .body var { font-family: var(--serif); }
.body p var { font-style: italic; }
.body .scheme var { font-style: normal; }
.body > *:first-child { margin-top: 0; }

h2 { font-weight: 400; font-size: 1.75rem; line-height: 1.2; margin: 0 0 0.9rem; text-wrap: balance; }
h3 { font-weight: 400; font-style: italic; font-size: 1.3rem; line-height: 1.25; margin: 2.2rem 0 0.6rem; }
p, ul, ol { max-width: var(--measure); margin: 0 0 1.1rem; }
.secondary { color: var(--fg-2); }
.more { font-family: var(--sans); font-size: 0.76rem; letter-spacing: 0.04em; }

.block + .block { margin-top: 3rem; padding-top: 2.6rem; }
.question { font-size: 1.32rem; line-height: 1.35; margin-bottom: 1.2rem; }

/* Project entries: a one- or two-sentence summary, then an optional "More" that opens in place. */
.summary { font-size: 1.2rem; line-height: 1.45; margin-bottom: 0.9rem; }
details.expand { margin: 0 0 0.4rem; }
details.expand > summary {
  list-style: none; cursor: pointer; display: inline-flex; align-items: center; gap: 0.5rem;
  font: 500 0.7rem var(--sans); letter-spacing: 0.1em; text-transform: uppercase; color: var(--fg-2);
  padding-block: 0.3rem;
}
details.expand > summary::-webkit-details-marker { display: none; }
details.expand > summary::before { content: "+"; font-size: 0.95rem; line-height: 1; color: var(--red-bright); width: 0.7rem; }
details.expand[open] > summary::before { content: "\2212"; }
details.expand > summary:hover { color: var(--fg); }
details.expand[open] > summary { color: var(--fg); margin-bottom: 1rem; }
.expand-body > *:first-child { margin-top: 0; }
.meta-line { font-family: var(--sans); font-size: 0.74rem; letter-spacing: 0.02em; color: var(--fg-2); margin: -0.4rem 0 1.4rem; }
.meta-line b { font-weight: 500; color: var(--fg); }
.why { color: var(--fg-2); }
.why .label { margin-right: 0.6rem; color: var(--fg); }
.related { list-style: none; padding: 0; font-family: var(--sans); font-size: 0.8rem; display: flex; flex-wrap: wrap; gap: 0.3rem 1.4rem; }
.related .label { flex-basis: 100%; margin-bottom: 0.2rem; }

/* ---------- Home: research areas ---------- */
.areas { display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); gap: 0 1.6rem; }
.area { min-width: 0; }
.area h3 { font-style: normal; font-size: 1.25rem; margin: 0 0 0.45rem; }
.area h3 a { text-decoration: none; }
.area h3 a:hover { color: var(--red-bright); }
.area p { font-size: 1rem; line-height: 1.38; color: var(--fg-2); margin: 0; }

.featured { list-style: none; padding: 0; margin: 0; max-width: none; }
.featured li { padding-block: 1rem; }
.featured li:first-child { padding-top: 0; }
.featured .t { font-size: 1.22rem; line-height: 1.3; display: block; margin-bottom: 0.2rem; }
.featured .t a { text-decoration: none; }
.featured .t a:hover { color: var(--red-bright); }
.featured .d { color: var(--fg-2); font-size: 1rem; }

.problems { list-style: none; padding: 0; margin: 0; max-width: none; counter-reset: problem; }
.problems li { counter-increment: problem; display: grid; grid-template-columns: 3rem minmax(0, 1fr); padding-block: 0.75rem; font-size: 1.18rem; line-height: 1.35; }
.problems li::before { content: counter(problem, decimal-leading-zero); font-family: var(--mono); font-size: 0.72rem; color: var(--red-bright); padding-top: 0.35rem; }

/* ---------- Tufte margin notes ---------- */
.sidenote, .marginnote {
  float: right; clear: right; position: relative;
  width: var(--margin); margin-right: calc(-1 * (var(--margin) + 2.5rem)); margin-top: 0.3rem; margin-bottom: 1rem;
  font-size: 0.86rem; line-height: 1.38; color: var(--fg-2);
}
.sidenote-number { counter-increment: sidenote; }
.sidenote-number::after, .sidenote::before {
  font-family: var(--sans); font-size: 0.62rem; font-weight: 500; color: var(--red-bright); position: relative; vertical-align: super; line-height: 0;
}
.sidenote-number::after { content: counter(sidenote); left: 0.08em; }
.sidenote::before { content: counter(sidenote) " "; top: -0.1rem; }
input.margin-toggle { display: none; }
label.margin-toggle:not(.sidenote-number) { display: none; }

/* ---------- Figures ---------- */
figure { margin: 2rem 0 2.2rem; max-width: 100%; }
figcaption { font-size: 0.86rem; line-height: 1.38; color: var(--fg-2); max-width: var(--measure); margin-top: 0.9rem; }
figcaption .label { margin-right: 0.5rem; color: var(--fg); }


.compare { width: 100%; border-collapse: collapse; font-size: 0.98rem; line-height: 1.35; }
.compare th, .compare td { text-align: left; vertical-align: top; padding: 0.6rem 1rem 0.6rem 0; border-bottom: 1px solid var(--rule); }
.compare thead th { font-family: var(--sans); font-size: 0.66rem; font-weight: 500; letter-spacing: 0.1em; text-transform: uppercase; color: var(--fg-2); border-bottom: 1px solid var(--fg); }
.compare tbody th { font-weight: 400; color: var(--fg-2); font-style: italic; width: 30%; }
.table-wrap { overflow-x: auto; }

/* ---------- Status marks ---------- */
.status { display: inline-flex; align-items: center; gap: 0.4rem; font-family: var(--sans); font-size: 0.72rem; color: var(--fg-2); white-space: nowrap; }
.status::before { content: ""; width: 0.42rem; height: 0.42rem; border: 1px solid var(--rule-strong); border-radius: 50%; flex: none; }
.status.active::before { background: var(--red); border-color: var(--red); }
.status.out::before { background: var(--fg); border-color: var(--fg); }

/* ---------- Publications ---------- */
.filters { display: flex; flex-wrap: wrap; gap: 0.4rem; margin: 0 0 1.2rem; max-width: none; }
.filters button {
  font: 500 0.7rem var(--sans); letter-spacing: 0.08em; text-transform: uppercase;
  background: transparent; color: var(--fg-2); border: 1px solid var(--rule-strong); padding: 0.35rem 0.7rem; cursor: pointer;
}
.filters button:hover { color: var(--fg); border-color: var(--fg-2); }
.filters button[aria-pressed="true"] { color: var(--fg); border-color: var(--red); box-shadow: inset 0 -2px 0 var(--red); }
.works { list-style: none; padding: 0; margin: 0; max-width: none; }
.work { display: grid; grid-template-columns: 7.5rem minmax(0, 1fr); column-gap: 1.6rem; padding-block: 1.35rem; }
.work:first-child { padding-top: 0; }
.work > div > * { margin: 0 0 var(--work-step); }
.work > div > :last-child { margin-bottom: 0; }
.works { --work-step: 0.5rem; }
.work-meta { padding-top: 0.05rem; font-family: var(--sans); font-size: 0.72rem; line-height: 1.6; color: var(--fg-2); font-variant-numeric: tabular-nums; display: flex; flex-direction: column; gap: 0.15rem; }
.work-meta .year { color: var(--fg); font-weight: 500; }
.work-meta .year:empty { display: none; }
.work-meta:has(.year:empty) { padding-top: 0.1rem; }
.work-meta .type { text-transform: uppercase; letter-spacing: 0.08em; font-size: 0.64rem; }
.work-title { font-size: 1.16rem; line-height: 1.3; max-width: none; }
.work-authors { font-size: 0.82rem; line-height: 1.45; color: var(--fg-2); max-width: none; }
.work-summary { font-size: 0.98rem; }
.work-links { display: flex; flex-wrap: wrap; gap: 0.3rem 1.1rem; font-family: var(--sans); font-size: 0.72rem; letter-spacing: 0.04em; align-items: baseline; }
.pending { color: var(--fg-2); }
.work-links details.cite[open] { flex-basis: 100%; }
details.cite summary { cursor: pointer; color: var(--fg); list-style: none; }
details.cite summary:hover { color: var(--red-bright); }
details.cite summary::-webkit-details-marker { display: none; }
details.cite[open] summary { color: var(--red-bright); }
.cite-box { flex-basis: 100%; margin-top: 0.6rem; position: relative; }
.cite-box pre { margin: 0; padding: 0.8rem 5.5rem 0.8rem 0.9rem; background: #111110; border: 1px solid var(--rule); font-family: var(--mono); font-size: 0.7rem; line-height: 1.5; white-space: pre-wrap; word-break: break-word; color: var(--fg); }
.copy { position: absolute; top: 0.5rem; right: 0.5rem; font: 500 0.66rem var(--sans); letter-spacing: 0.08em; text-transform: uppercase; background: var(--bg); color: var(--fg); border: 1px solid var(--rule-strong); padding: 0.3rem 0.55rem; cursor: pointer; }
.copy:hover { border-color: var(--red); }
.legend { font-family: var(--sans); font-size: 0.7rem; color: var(--fg-2); display: flex; flex-wrap: wrap; gap: 0.4rem 1.4rem; margin: 0 0 0.8rem; max-width: none; }
.empty-note { font-family: var(--sans); font-size: 0.8rem; color: var(--fg-2); padding-top: 1rem; }

/* ---------- People ---------- */
.people { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 2rem 2.5rem; }
.person { min-width: 0; }
.person-head { display: flex; gap: 1rem; align-items: center; margin: 0.15rem 0 0.9rem; }
.person-head .portrait { flex: none; width: 4.6rem; height: 4.6rem; border-radius: 50%; object-fit: cover; opacity: 0.94; }
.person-id { min-width: 0; }
.person-head .role { margin-bottom: 0; }
.person h2, .person h3 { font-style: normal; margin: 0 0 0.15rem; font-size: 1.35rem; }
.person .role { font-family: var(--sans); font-size: 0.74rem; color: var(--fg-2); margin: 0 0 0.8rem; line-height: 1.5; }
.person p { font-size: 1.02rem; }
.person p.work-links { font-size: 0.72rem; margin-bottom: 0; }
.collab { font-size: 1rem; color: var(--fg-2); margin-top: 1.8rem; }

/* ---------- Contact ---------- */
.addresses { list-style: none; padding: 0; display: grid; gap: 0.5rem; }
.addresses li { display: grid; grid-template-columns: 9rem minmax(0, 1fr); gap: 1rem; align-items: baseline; }
.addresses .who { font-family: var(--sans); font-size: 0.74rem; color: var(--fg-2); }
.addresses .addr { font-family: var(--sans); font-size: 0.9rem; user-select: all; overflow-wrap: anywhere; }

/* ---------- Footer ---------- */
.foot { display: grid; grid-template-columns: var(--rail) minmax(0, 1fr); column-gap: var(--gap); padding-block: 2rem 0; font-family: var(--sans); font-size: 0.72rem; color: var(--fg-2); line-height: 1.7; }
.foot nav { grid-column: 2; display: flex; flex-wrap: wrap; gap: 0.3rem 1.4rem; margin-bottom: 0.8rem; }
.foot nav a { text-decoration: none; color: var(--fg); }
.foot nav a:hover { color: var(--red-bright); }
.foot p { margin: 0; max-width: 42rem; grid-column: 2; }
.foot .brand-mark { grid-column: 1; grid-row: 1; align-self: start; line-height: 1; }

/* ---------- Review mode (#review) ---------- */
.review-bar { display: none; }
html.review [data-verify] { background: var(--mark); box-shadow: 0 0 0 2px var(--mark); cursor: help; }
html.review .review-bar {
  display: flex; gap: 1rem; align-items: baseline; flex-wrap: wrap;
  position: fixed; left: 0; right: 0; bottom: 0; z-index: 20;
  padding: 0.7rem max(24px, env(safe-area-inset-right, 0px)) calc(0.7rem + env(safe-area-inset-bottom, 0px)) max(24px, env(safe-area-inset-left, 0px));
  background: var(--fg); color: var(--bg); font-family: var(--sans); font-size: 0.76rem;
}
.review-bar a { color: var(--bg); }

/* ---------- Narrow screens ---------- */
/* Research map: the four areas as a two-by-two grid, each with its programs. */
.areas--map { grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 2.6rem 2.6rem; border-top: 0; }
.areas--map .area { }
.areas--map h2 { font-size: 1.55rem; margin: 0 0 0.55rem; }
.areas--map .area-q { font-size: 1.12rem; line-height: 1.4; color: var(--fg); margin: 0 0 0.6rem; }
.areas--map .area-why { font-size: 0.98rem; line-height: 1.42; color: var(--fg-2); margin: 0 0 1rem; }
.area-programs { list-style: none; padding: 0; margin: 0; max-width: none; }
.area-programs li { padding: 0.6rem 0; min-width: 0; }
.area-programs a { display: block; font-size: 1.14rem; line-height: 1.3; text-decoration: none; }
.area-programs span { display: block; color: var(--fg-2); font-size: 0.95rem; line-height: 1.38; margin-top: 0.15rem; }
.areas--map { align-items: start; }
.area-more { margin: 0 0 1.1rem; }
.area-more > summary { list-style: none; cursor: pointer; font-size: 1.12rem; line-height: 1.42; color: var(--fg); }
.area-more > summary::-webkit-details-marker { display: none; }
.area-more > summary::after { content: "More"; font: 500 0.64rem var(--sans); letter-spacing: 0.1em; text-transform: uppercase; color: var(--red-bright); margin-left: 0.55rem; white-space: nowrap; }
.area-more[open] > summary::after { content: "Less"; }
.area-more > summary:hover::after { color: var(--fg); }
.area-more[open] > summary { margin-bottom: 0.8rem; }
.area-more .area-why { font-size: 0.98rem; line-height: 1.45; color: var(--fg-2); margin: 0 0 0.9rem; }
.area-more .label { display: block; margin: 0 0 0.3rem; }
.areas--map .problems li { font-size: 1rem; line-height: 1.38; padding-block: 0.5rem; grid-template-columns: 2.2rem minmax(0, 1fr); }
.areas--map .area-label { display: block; margin: 0 0 0.25rem; }
.areas--map p.label { font-size: 0.68rem; line-height: 1.4; color: var(--fg-2); }
@media (max-width: 860px) { .areas--map { grid-template-columns: minmax(0, 1fr); gap: 2rem; } }

/* Paired columns (Work with us): two items side by side, one column on narrow screens. */
.pair { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 2.2rem 2.6rem; align-items: start; }
.pair .col { min-width: 0; }
.pair h3 { font-style: normal; font-size: 1.35rem; margin: 0 0 0.6rem; }
.pair p { font-size: 1.08rem; line-height: 1.45; }
.pair .plain { list-style: none; padding: 0; margin: 0; max-width: none; }
.pair .plain li { padding-block: 0.5rem; font-size: 1.04rem; line-height: 1.38; }
.pair .plain li:first-child { padding-top: 0; }
.pair .problems li { font-size: 1rem; line-height: 1.38; padding-block: 0.5rem; grid-template-columns: 2.2rem minmax(0, 1fr); }
.pair .addr { font-family: var(--sans); font-size: 0.95rem; color: var(--fg-2); user-select: all; margin: 0; }
.pair-intro { color: var(--fg-2); }
@media (max-width: 760px) { .pair { grid-template-columns: minmax(0, 1fr); gap: 1.8rem; } }

@media (max-width: 1100px) { :root { --margin: 12rem; } .areas { grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 1.4rem 1.6rem; } }
@media (max-width: 860px) {
  .page { padding-left: max(18px, env(safe-area-inset-left, 0px)); padding-right: max(18px, env(safe-area-inset-right, 0px)); }
  .hero, .section, .foot { grid-template-columns: minmax(0, 1fr); }
  .hero .eyebrow, .hero h1, .hero .lede, .hero .who, .foot p, .foot nav, .foot .brand-mark { grid-column: 1; grid-row: auto; }
  .foot .brand-mark { margin-bottom: 0.6rem; }
  .hero { padding-block: 3.2rem 2.8rem; }
  .hero .eyebrow { margin-bottom: 1.1rem; padding-top: 0; }
  .section { padding-block: 2.4rem var(--tail); }
  :root { --tail: 1.1rem; }
  .section > .label { position: static; padding: 0 0 1rem; }
  .body { padding-right: 0; }
  .sidenote, .marginnote { display: none; }
  label.sidenote-number { cursor: pointer; }
  .margin-toggle:checked + .sidenote, .margin-toggle:checked + .marginnote {
    display: block; float: none; width: auto; margin: 0.6rem 0 0.8rem; padding-left: 0.9rem; border-left: 1px solid var(--red); color: var(--fg);
  }
  .people { grid-template-columns: minmax(0, 1fr); }
  .nav { gap: 0.3rem 1.1rem; }
}
@media (max-width: 560px) {
  [id], main > .section[id], .work[id], .featured li[id], .work[id]:first-child, .featured li[id]:first-child { scroll-margin-top: 1rem; }   /* the menu bar is not pinned here */
  body { font-size: 1.08rem; }
  .masthead { position: static; }
  .areas { grid-template-columns: minmax(0, 1fr); }
  .work { grid-template-columns: minmax(0, 1fr); row-gap: 0.4rem; }
  .work-meta { flex-direction: row; flex-wrap: wrap; gap: 0.2rem 1rem; align-items: center; }
  .addresses li { grid-template-columns: minmax(0, 1fr); gap: 0; }
  .problems li { grid-template-columns: 2.2rem minmax(0, 1fr); }
}

@media (prefers-reduced-motion: no-preference) { html { scroll-behavior: smooth; } }

/* ---------- Print: white handout ---------- */
@media print {
  :root { --bg: #fff; --fg: #000; --fg-2: #444; --rule: #ccc; --rule-strong: #888; --red: #8a1f15; --red-bright: #8a1f15; color-scheme: light; }
  html { font-size: 10.5pt; }
  #exproof-search-background, .nav, .review-bar, .copy, details.cite, .filters { display: none !important; }
  .masthead { position: static; backdrop-filter: none; background: none; }
  .page { max-width: none; padding: 0; }
  .section { padding-block: 1.2rem 0.4rem; }
  .section > .label { position: static; }
  .work, .person, figure, .block { break-inside: avoid; }
  a { text-decoration: none; }
  html.review [data-verify] { background: none; box-shadow: none; }
}