:root {
  color-scheme: light;
  --ink: #17202a;
  --muted: #5b6672;
  --faint: #89939e;
  --paper: #ffffff;
  --paper-alt: #f5f7f9;
  --line: #d8dee5;
  --line-strong: #b9c3ce;
  --navy: #1b365d;
  --navy-dark: #102742;
  --blue-soft: #eaf0f7;
  --amber: #b56d00;
  --amber-soft: #fff6df;
  --green: #28764b;
  --green-soft: #e9f5ee;
  --section-accent: #2b7080;
  --violet: #7253a1;
  --violet-soft: #f1edf8;
  --red: #a64444;
  --red-soft: #faeeee;
  --radius: 3px;
  --sans: Inter, ui-sans-serif, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
  --serif: Charter, "Iowan Old Style", "Palatino Linotype", Palatino, Georgia, serif;
  --mono: "SFMono-Regular", Consolas, "Liberation Mono", monospace;
}

* { box-sizing: border-box; }

html { scroll-behavior: smooth; }

body {
  margin: 0;
  min-width: 320px;
  color: var(--ink);
  background: var(--paper);
  font-family: var(--sans);
  font-size: 1rem;
  line-height: 1.55;
}

a { color: var(--navy); text-underline-offset: 0.16em; }
a:hover { color: #0a5791; }
button, input, select { font: inherit; }

.skip-link {
  position: fixed;
  top: 0.5rem;
  left: 0.5rem;
  z-index: 100;
  transform: translateY(-150%);
  padding: 0.55rem 0.8rem;
  color: white;
  background: var(--navy-dark);
}
.skip-link:focus { transform: translateY(0); }

.sr-only {
  position: absolute;
  width: 1px;
  height: 1px;
  padding: 0;
  margin: -1px;
  overflow: hidden;
  clip: rect(0, 0, 0, 0);
  white-space: nowrap;
  border: 0;
}

.site-header {
  display: flex;
  align-items: center;
  justify-content: space-between;
  min-height: 64px;
  padding: 0 2rem;
  border-bottom: 1px solid var(--line);
  background: var(--paper);
}

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

.brand-mark {
  display: grid;
  place-items: center;
  width: 34px;
  height: 34px;
  border-radius: 2px;
  color: white;
  background: var(--navy);
  font-family: var(--serif);
  font-size: 0.84rem;
  font-weight: 700;
  letter-spacing: 0.04em;
}

.brand strong,
.brand small { display: block; }
.brand strong { font-family: var(--serif); font-size: 1.14rem; line-height: 1.1; }
.brand small { margin-top: 0.08rem; color: var(--muted); font-size: 0.7rem; letter-spacing: 0.07em; text-transform: uppercase; }

.primary-nav { display: flex; align-self: stretch; gap: 1.8rem; }
.primary-nav a {
  display: grid;
  place-items: center;
  border-bottom: 2px solid transparent;
  color: var(--muted);
  font-size: 0.9rem;
  font-weight: 600;
  text-decoration: none;
}
.primary-nav a:hover,
.primary-nav a.active { color: var(--navy); border-bottom-color: var(--navy); }

.prototype-strip {
  display: grid;
  grid-template-columns: minmax(0, 1fr) auto;
  align-items: center;
  gap: 0.25rem 1rem;
  min-height: 38px;
  padding: 0.4rem 2rem;
  border-bottom: 1px solid #e7d09b;
  color: #654811;
  background: var(--amber-soft);
  font-size: 0.78rem;
}
.prototype-strip span { grid-column: 1 / -1; font-weight: 600; }
.prototype-strip p { margin: 0; }
.prototype-strip time { grid-column: 2; grid-row: 2; color: #7b6335; }

.map-shell {
  display: grid;
  grid-template-columns: minmax(210px, 0.66fr) minmax(520px, 1.75fr) minmax(260px, 0.84fr);
  max-width: 1600px;
  min-height: calc(100vh - 103px);
  margin: 0 auto;
}

.taxonomy-panel,
.results-panel,
.context-panel { min-width: 0; }

.taxonomy-panel {
  padding: 1.65rem 1.25rem 3rem 2rem;
  border-right: 1px solid var(--line);
  background: var(--paper-alt);
}

.results-panel { padding: 1.65rem 1.75rem 3rem; }

.context-panel {
  padding: 1.65rem 2rem 3rem 1.4rem;
  border-left: 1px solid var(--line);
}

.panel-heading,
.results-toolbar { margin-bottom: 1.15rem; }
.eyebrow {
  margin: 0 0 0.22rem;
  color: var(--muted);
  font-size: 0.72rem;
  font-weight: 750;
  letter-spacing: 0.095em;
  text-transform: uppercase;
}
.record-kind-link {
  color: inherit;
  text-decoration-color: color-mix(in srgb, currentColor 45%, transparent);
  text-underline-offset: 0.16em;
}
.record-kind-link:hover { color: var(--navy); }

h1, h2, h3 { color: var(--navy-dark); font-family: var(--serif); }
h1 { margin: 0; font-size: clamp(1.75rem, 3vw, 2.45rem); line-height: 1.12; }
h2 { margin: 0 0 0.75rem; font-size: 1.18rem; line-height: 1.25; }
h3 { margin: 0; font-size: 1.02rem; line-height: 1.3; }

.taxonomy-tree ul { margin: 0; padding: 0; list-style: none; }
.taxonomy-tree > ul > li { margin-bottom: 0.38rem; }
.tree-branch { border-bottom: 1px solid #e1e5e9; }
.tree-branch-row {
  display: grid;
  grid-template-columns: 2rem minmax(0, 1fr);
  align-items: stretch;
}
.tree-expander,
.tree-topic,
.tree-leaf {
  border: 0;
  color: var(--ink);
  background: transparent;
  cursor: pointer;
}
.tree-expander {
  display: grid;
  place-items: center;
  width: 2rem;
  min-height: 2.45rem;
  padding: 0;
  color: var(--muted);
  font-family: Arial, sans-serif;
  font-size: 0.92rem;
  font-weight: 900;
  line-height: 1;
}
.tree-expander:hover { color: var(--navy); background: #e8edf2; }
.tree-expander:focus-visible,
.tree-topic:focus-visible,
.tree-leaf:focus-visible { outline: 2px solid #84add0; outline-offset: -2px; }
.tree-topic {
  display: grid;
  grid-template-columns: 1fr auto;
  align-items: center;
  gap: 0.42rem;
  width: 100%;
  padding: 0.58rem 0.25rem 0.58rem 0.15rem;
  text-align: left;
  font-size: 0.85rem;
  font-weight: 700;
}
.tree-topic:hover { color: var(--navy); background: var(--blue-soft); }
.tree-topic.active { color: var(--navy); background: #e3ebf4; }
.tree-branch.collapsed > ul { display: none; }
.tree-count { color: var(--faint); font-size: 0.72rem; font-variant-numeric: tabular-nums; }
.tree-leaf {
  display: grid;
  grid-template-columns: 1fr auto;
  gap: 0.5rem;
  width: 100%;
  padding: 0.36rem 0.25rem 0.36rem 1.1rem;
  border-left: 2px solid transparent;
  text-align: left;
  font-size: 0.8rem;
  line-height: 1.35;
}
.tree-leaf:hover { color: var(--navy); background: var(--blue-soft); }
.tree-leaf.active { border-left-color: var(--navy); color: var(--navy); background: #e3ebf4; font-weight: 700; }

.taxonomy-note {
  margin-top: 1.5rem;
  padding: 0.85rem 0.9rem;
  border-left: 3px solid var(--line-strong);
  color: var(--muted);
  font-size: 0.76rem;
}
.taxonomy-note strong { color: var(--ink); }
.taxonomy-note p { margin: 0.25rem 0 0; }

.results-toolbar {
  display: flex;
  align-items: end;
  justify-content: space-between;
  gap: 1rem;
}
.result-count { margin: 0 0 0.12rem; color: var(--muted); font-size: 0.82rem; }

.filter-bar {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 0.55rem;
  margin-bottom: 0.8rem;
}
.filter-bar .search-field { grid-column: 1 / -1; }
.search-field { position: relative; }
.search-field svg {
  position: absolute;
  top: 50%;
  left: 0.72rem;
  width: 17px;
  height: 17px;
  transform: translateY(-50%);
  fill: none;
  stroke: var(--muted);
  stroke-linecap: round;
  stroke-width: 1.8;
}
.search-field input,
.filter-bar select {
  width: 100%;
  height: 42px;
  border: 1px solid var(--line-strong);
  border-radius: var(--radius);
  color: var(--ink);
  background: var(--paper);
  font-size: 0.86rem;
}
.search-field input { padding: 0 0.75rem 0 2.25rem; }
.filter-bar select { padding: 0 2rem 0 0.65rem; }
.search-field input:focus,
.filter-bar select:focus,
.quiet-button:focus { outline: 2px solid #84add0; outline-offset: 1px; }
.quiet-button {
  height: 42px;
  padding: 0 0.72rem;
  border: 1px solid var(--line-strong);
  border-radius: var(--radius);
  color: var(--navy);
  background: var(--paper-alt);
  cursor: pointer;
  font-size: 0.8rem;
  font-weight: 650;
}

.active-filter {
  margin: 0.1rem 0 0.7rem;
  padding: 0.42rem 0.62rem;
  border-left: 2px solid var(--navy);
  color: var(--navy);
  background: var(--blue-soft);
  font-size: 0.78rem;
}

.theorem-list { border-top: 1px solid var(--line-strong); }
.pagination-bar {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 0.8rem;
  min-height: 3rem;
  padding: 0.5rem 0;
  color: var(--muted);
  font-size: 0.76rem;
}
.pagination-top { border-bottom: 1px solid var(--line); }
.pagination-bottom { border-top: 1px solid var(--line); }
.pagination-size { display: flex; align-items: center; gap: 0.4rem; white-space: nowrap; }
.pagination-size select {
  min-width: 4rem;
  height: 2rem;
  padding: 0 1.2rem 0 0.45rem;
  border: 1px solid var(--line-strong);
  border-radius: var(--radius);
  color: var(--ink);
  background: var(--paper);
  font: inherit;
}
.pagination-size select:focus-visible,
.page-button:focus-visible { outline: 2px solid #84add0; outline-offset: 1px; }
.pagination-summary { white-space: nowrap; font-variant-numeric: tabular-nums; }
.page-buttons { display: flex; align-items: center; justify-content: end; gap: 0.2rem; }
.page-button {
  min-width: 2rem;
  height: 2rem;
  padding: 0 0.4rem;
  border: 1px solid transparent;
  border-radius: var(--radius);
  color: var(--navy);
  background: transparent;
  cursor: pointer;
  font: inherit;
}
.page-button:hover:not(:disabled) { border-color: var(--line); background: var(--paper-alt); }
.page-button.current { border-color: var(--navy); color: white; background: var(--navy); }
.page-button:disabled { color: var(--faint); cursor: default; }
.page-ellipsis { padding: 0 0.1rem; color: var(--faint); }
.theorem-row {
  display: grid;
  grid-template-columns: 12px minmax(0, 1fr) auto;
  gap: 0.7rem;
  align-items: start;
  padding: 0.92rem 0.3rem 0.88rem;
  border-bottom: 1px solid var(--line);
  color: inherit;
  text-decoration: none;
}
.theorem-row:hover { background: #f7f9fb; }
.theorem-row:focus-visible { outline: 2px solid #84add0; outline-offset: -2px; }
.row-status { margin-top: 0.34rem; }
.row-main { min-width: 0; }
.row-main h2 { margin: 0 0 0.28rem; font-size: 1.05rem; }
.theorem-row:hover h2 { color: #0a5791; }
.row-summary {
  display: -webkit-box;
  overflow: hidden;
  margin: 0;
  color: var(--muted);
  font-family: var(--serif);
  font-size: 0.86rem;
  line-height: 1.42;
  -webkit-box-orient: vertical;
  -webkit-line-clamp: 2;
}
.row-meta { display: flex; flex-wrap: wrap; gap: 0.36rem 0.7rem; margin-top: 0.45rem; color: var(--faint); font-size: 0.7rem; }
.row-meta span + span::before { content: "·"; margin-right: 0.7rem; color: var(--line-strong); }
.row-index { padding-top: 0.08rem; color: var(--faint); font-family: var(--mono); font-size: 0.68rem; }

.status-dot {
  display: inline-block;
  width: 9px;
  height: 9px;
  border-radius: 50%;
  vertical-align: 0.02em;
}
.status-reported { background: var(--green); }
.status-partial { background: var(--violet); }
.status-not-located { border: 1.5px solid var(--red); background: var(--paper); }

.empty-state { padding: 3rem 1rem; text-align: center; }
.empty-state p { color: var(--muted); }

.context-panel section { padding-bottom: 1.35rem; margin-bottom: 1.35rem; border-bottom: 1px solid var(--line); }
.coverage-bars { display: grid; gap: 0.78rem; }
.coverage-row { display: grid; gap: 0.28rem; }
.coverage-label { display: flex; justify-content: space-between; gap: 1rem; color: var(--muted); font-size: 0.76rem; }
.coverage-label strong { color: var(--ink); font-variant-numeric: tabular-nums; }
.bar-track { height: 5px; background: #e7ebef; }
.bar-fill { height: 100%; background: var(--navy); }
.small-note { margin: 1rem 0 0; color: var(--faint); font-size: 0.72rem; }

.status-legend { margin: 0; }
.status-legend > div { margin-bottom: 0.85rem; }
.status-legend dt { color: var(--ink); font-size: 0.8rem; font-weight: 750; }
.status-legend dt .status-dot { margin-right: 0.42rem; }
.status-legend dd { margin: 0.2rem 0 0 1.32rem; color: var(--muted); font-size: 0.74rem; line-height: 1.45; }
.principle-box { border-bottom: 0 !important; }
.principle-box p { color: var(--muted); font-family: var(--serif); font-size: 0.9rem; }
.principle-box a { font-size: 0.8rem; font-weight: 700; }

.site-footer {
  display: flex;
  justify-content: space-between;
  gap: 1rem;
  padding: 1.1rem 2rem;
  border-top: 1px solid var(--line);
  color: var(--muted);
  background: var(--paper-alt);
  font-size: 0.74rem;
}
.site-footer p { margin: 0; }

/* Theorem record */
.record-shell {
  display: grid;
  grid-template-columns: minmax(0, 790px) minmax(220px, 280px);
  gap: 4rem;
  max-width: 1160px;
  min-height: calc(100vh - 160px);
  margin: 0 auto;
  padding: 2.2rem 2rem 5rem;
}

.formalization-comparison { margin: 1rem 0 1.25rem; }
.formalization-comparison h3 {
  margin-bottom: 0.48rem;
  color: var(--section-accent);
  font-size: 1.02rem;
}
.comparison-table-wrap { overflow-x: auto; border-top: 1px solid var(--line-strong); }
.formalization-comparison table {
  width: 100%;
  border-collapse: collapse;
  table-layout: fixed;
  font-size: 0.74rem;
  line-height: 1.4;
}
.formalization-comparison th,
.formalization-comparison td {
  padding: 0.52rem 0.55rem;
  border-bottom: 1px solid var(--line);
  text-align: left;
  vertical-align: top;
}
.formalization-comparison th {
  color: var(--muted);
  background: var(--paper-alt);
  font-size: 0.67rem;
  font-weight: 750;
  letter-spacing: 0.045em;
  text-transform: uppercase;
}
.formalization-comparison th:nth-child(1) { width: 19%; }
.formalization-comparison th:nth-child(2) { width: 23%; }
.formalization-comparison th:nth-child(3) { width: 42%; }
.formalization-comparison th:nth-child(4) { width: 16%; }
.formalization-comparison code { overflow-wrap: anywhere; font-size: 0.68rem; }
.comparison-project { font-weight: 750; }
.comparison-meta {
  display: block;
  margin-top: 0.18rem;
  overflow-wrap: anywhere;
  color: var(--faint);
  font-size: 0.65rem;
}
.comparison-note { margin: 0.45rem 0 0; color: var(--faint); font-size: 0.69rem; }
.record-loading,
.record-error { grid-column: 1 / -1; padding: 5rem 0; }
.record-error p { color: var(--muted); }
.primary-link { display: inline-block; margin-top: 0.7rem; font-weight: 700; }
.breadcrumb { margin: 0 0 1rem; color: var(--muted); font-size: 0.76rem; }
.breadcrumb a { color: var(--muted); }
.record-header { padding-bottom: 1.6rem; border-bottom: 1px solid var(--line-strong); }
.record-header h1 { max-width: 760px; font-size: clamp(2rem, 4vw, 3.2rem); }
.record-kicker { display: flex; flex-wrap: wrap; gap: 0.5rem; margin-top: 1rem; }
.status-pill,
.tag {
  display: inline-flex;
  align-items: center;
  gap: 0.42rem;
  border: 1px solid var(--line);
  border-radius: 999px;
  color: var(--muted);
  background: var(--paper-alt);
  font-size: 0.72rem;
}
.status-pill { padding: 0.3rem 0.62rem; font-weight: 700; }
.tag { padding: 0.22rem 0.5rem; }
a.status-pill,
a.tag { text-decoration: none; }
a.status-pill:hover,
a.tag:hover {
  border-color: var(--section-accent);
  color: var(--navy-dark);
  background: var(--blue-soft);
}
.record-summary { max-width: 720px; margin: 1.05rem 0 0; color: var(--muted); font-family: var(--serif); font-size: 1.05rem; }

.record-section { padding: 1.05rem 0 0.45rem; scroll-margin-top: 1rem; }
.record-section > h2 {
  display: flex;
  align-items: center;
  gap: 0.72rem;
  margin: 0 0 0.72rem;
  color: var(--section-accent);
  font-family: var(--sans);
  font-size: 0.84rem;
  font-weight: 800;
  letter-spacing: 0.09em;
  text-transform: uppercase;
}
.record-section > h2::after {
  content: "";
  flex: 1;
  height: 1px;
  background: var(--line);
}
.record-section > p { max-width: 720px; }
.statement-box {
  margin-top: 0.7rem;
  padding: 1.35rem 1.4rem;
  border-left: 4px solid var(--navy);
  background: var(--paper-alt);
  font-family: var(--serif);
  font-size: 1.06rem;
  line-height: 1.72;
}
.assumptions { margin: 0.8rem 0 0; color: var(--muted); font-size: 0.8rem; }
.assumptions strong { color: var(--ink); }
.tag-list { display: flex; flex-wrap: wrap; gap: 0.42rem; }

.reference-list,
.related-list { margin: 0.7rem 0 0; padding: 0; list-style: none; }
.reference-list { display: grid; gap: 0.38rem; }
.reference-list li {
  display: grid;
  grid-template-columns: 2.1rem minmax(0, 1fr);
  gap: 0.3rem;
  align-items: baseline;
  padding: 0;
  scroll-margin-top: 1rem;
}
.reference-number { color: var(--muted); font-family: var(--mono); font-size: 0.72rem; }
.reference-entry { color: var(--muted); font-size: 0.78rem; line-height: 1.42; }
.reference-entry a,
.related-list a { font-weight: 650; }
.citation-links { margin-left: 0.3rem; white-space: nowrap; }
.citation-links a { font-family: var(--mono); font-size: 0.76rem; font-weight: 650; text-decoration: none; }
.citation-links a:hover { text-decoration: underline; }
.related-list li { padding: 0.65rem 0; border-top: 1px solid var(--line); }
.related-list li:first-child { border-top: 0; }
.reference-meta { display: block; margin-top: 0.18rem; color: var(--muted); font-size: 0.76rem; }
.related-group-title {
  margin: 0.25rem 0 0;
  color: var(--ink);
  font-family: var(--sans);
  font-size: 0.78rem;
  letter-spacing: 0.035em;
  text-transform: uppercase;
}
.related-group-title:not(:first-child) { margin-top: 1rem; }
.related-group-note { margin: 0.25rem 0 0; color: var(--faint); font-size: 0.72rem; }
.related-record-meta { display: block; margin-top: 0.18rem; color: var(--faint); font-size: 0.68rem; }

.formalization-card {
  margin-top: 0.9rem;
  border: 1px solid var(--line-strong);
  border-radius: var(--radius);
  scroll-margin-top: 1rem;
}
.formalization-head {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 1rem;
  padding: 0.9rem 1rem;
  border-bottom: 1px solid var(--line);
  background: var(--paper-alt);
}
.formalization-head h3 { font-family: var(--sans); font-size: 0.9rem; }
.formalization-body { padding: 0.9rem 1rem 1rem; }
.formalization-body code { font-family: var(--mono); font-size: 0.77rem; overflow-wrap: anywhere; }
.lean-type-disclosure { margin: 0.72rem 0 0; border-top: 1px dotted var(--line-strong); border-bottom: 1px dotted var(--line-strong); }
.lean-type-disclosure summary {
  padding: 0.48rem 0;
  color: var(--section-accent);
  cursor: pointer;
  font-size: 0.74rem;
  font-weight: 750;
}
.lean-type-disclosure pre {
  max-height: 23rem;
  margin: 0 0 0.65rem;
  padding: 0.72rem 0.78rem;
  overflow: auto;
  border: 1px solid var(--line);
  background: var(--paper);
  white-space: pre-wrap;
  word-break: break-word;
}
.lean-type-disclosure pre code { font-size: 0.7rem; line-height: 1.48; }
.audit-grid {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 0.7rem 1.2rem;
  margin: 0.9rem 0;
}
.audit-grid div { min-width: 0; }
.audit-grid dt { color: var(--faint); font-size: 0.67rem; font-weight: 750; letter-spacing: 0.06em; text-transform: uppercase; }
.audit-grid dd { margin: 0.12rem 0 0; color: var(--ink); font-size: 0.79rem; overflow-wrap: anywhere; }
.dependency-disclosure { margin-top: 0.75rem; border-top: 1px solid var(--line); }
.dependency-disclosure > summary {
  padding: 0.52rem 0;
  color: var(--section-accent);
  cursor: pointer;
  font-size: 0.74rem;
  font-weight: 750;
}
.dependency-body { padding: 0 0 0.35rem; }
.dependency-body h4 {
  margin: 0.48rem 0 0.28rem;
  color: var(--faint);
  font-size: 0.65rem;
  letter-spacing: 0.055em;
  text-transform: uppercase;
}
.dependency-list { margin: 0; padding: 0; list-style: none; }
.dependency-list li { padding: 0.22rem 0; color: var(--ink); font-size: 0.74rem; }
.module-dependency-list {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 0 1rem;
}
.module-dependency-list a { color: var(--navy); text-decoration: none; }
.module-dependency-list a:hover { text-decoration: underline; }
.package-dependency-list li + li { border-top: 1px dotted var(--line); }
.package-dependency-head { display: flex; flex-wrap: wrap; gap: 0.3rem 0.8rem; align-items: baseline; }
.package-dependency-head > span { color: var(--faint); font-size: 0.68rem; }

.dependency-note { margin: 0.2rem 0 0; color: var(--muted); font-size: 0.7rem; line-height: 1.42; }
.formalization-note { margin: 0.8rem 0 0; color: var(--muted); font-size: 0.8rem; }

.formalization-links { display: flex; flex-wrap: wrap; gap: 0.8rem; margin-top: 0.85rem; font-size: 0.78rem; }
.formalization-copy-button {
  padding: 0;
  border: 0;
  color: var(--navy);
  background: transparent;
  cursor: pointer;
  font-size: 0.78rem;
  font-weight: 700;
}
.formalization-copy-button:hover { text-decoration: underline; }
.formalization-copy-button:focus-visible { outline: 2px solid #84add0; outline-offset: 2px; }
.formalization-copy-status { min-height: 1em; margin: 0.35rem 0 0; color: var(--section-accent); font-size: 0.68rem; }
.support-inventory { margin-top: 0.75rem; border-top: 1px solid var(--line); border-bottom: 1px solid var(--line); }
.support-inventory > summary {
  padding: 0.52rem 0;
  color: var(--section-accent);
  cursor: pointer;
  font-size: 0.74rem;
  font-weight: 750;
}
.support-toolbar {
  display: grid;
  grid-template-columns: minmax(220px, 1fr) auto;
  align-items: center;
  gap: 0.65rem;
  padding: 0.2rem 0 0.55rem;
}
.support-toolbar input {
  width: 100%;
  height: 34px;
  padding: 0 0.55rem;
  border: 1px solid var(--line-strong);
  border-radius: var(--radius);
  color: var(--ink);
  background: var(--paper);
  font-size: 0.72rem;
}
.support-toolbar input:focus { outline: 2px solid #84add0; outline-offset: 1px; }
.support-toolbar.compact { grid-template-columns: 1fr; }
.support-filter-count { color: var(--faint); font-family: var(--mono); font-size: 0.66rem; white-space: nowrap; }
.support-declaration-list {
  max-height: 34rem;
  margin: 0;
  padding: 0 0 0 1.65rem;
  overflow: auto;
  border-top: 1px dotted var(--line);
}
.support-declaration-list li { padding: 0.52rem 0.35rem 0.52rem 0.1rem; border-bottom: 1px dotted var(--line); }
.support-declaration-list li[hidden] { display: none !important; }
.support-declaration-list strong { display: block; margin-bottom: 0.1rem; color: var(--ink); font-size: 0.72rem; }
.support-declaration-list > li > a { font-family: var(--mono); font-size: 0.68rem; font-weight: 650; overflow-wrap: anywhere; }
.support-module { display: block; margin-top: 0.12rem; color: var(--faint); font-size: 0.65rem; overflow-wrap: anywhere; }
.support-declaration-list p { margin: 0.28rem 0 0; color: var(--muted); font-size: 0.7rem; }
.support-type-disclosure { margin-top: 0.3rem; }
.support-type-disclosure summary { color: var(--muted); cursor: pointer; font-size: 0.67rem; font-weight: 700; }
.support-type-disclosure pre {
  max-height: 16rem;
  margin: 0.3rem 0 0;
  padding: 0.55rem;
  overflow: auto;
  border: 1px solid var(--line);
  background: var(--paper-alt);
  white-space: pre-wrap;
  word-break: break-word;
}
.support-type-disclosure code { font-size: 0.66rem; line-height: 1.42; }
.gap-box { padding: 1rem 1.05rem; border: 1px solid #e2c2c2; background: var(--red-soft); }
.gap-box strong { color: #733232; }
.gap-box p { margin: 0.3rem 0 0; color: #754d4d; font-size: 0.83rem; }

.record-aside { position: relative; }
.aside-sticky { position: sticky; top: 1rem; }
.return-to-results {
  display: inline-block;
  margin-bottom: 1rem;
  color: var(--section-accent);
  font-size: 0.74rem;
  font-weight: 750;
  text-decoration: none;
}
.return-to-results:hover { text-decoration: underline; }
.record-aside section { padding: 0 0 1.1rem; margin-bottom: 1.1rem; border-bottom: 1px solid var(--line); }
.record-aside h2 { font-family: var(--sans); font-size: 0.72rem; letter-spacing: 0.08em; text-transform: uppercase; }
.contents-list { margin: 0; padding: 0; list-style: none; }
.contents-list li { margin-bottom: 0.35rem; }
.contents-list a { color: var(--muted); font-size: 0.76rem; text-decoration: none; }
.contents-list a:hover { color: var(--navy); text-decoration: underline; }
.path-list { margin: 0; padding: 0; list-style: none; color: var(--muted); font-size: 0.76rem; }
.path-list li + li::before { content: "↳"; display: inline-block; margin: 0 0.45rem 0 0.1rem; color: var(--faint); }
.path-list a { color: var(--muted); text-decoration: none; }
.path-list a:hover { color: var(--navy); text-decoration: underline; }
.record-id { font-family: var(--mono); font-size: 0.7rem; overflow-wrap: anywhere; }
.record-tools { display: grid; gap: 0.38rem; margin-top: 0.7rem; }
.record-tool-button {
  width: 100%;
  padding: 0.42rem 0.55rem;
  border: 1px solid var(--line-strong);
  border-radius: var(--radius);
  color: var(--navy);
  background: var(--paper-alt);
  cursor: pointer;
  font-size: 0.72rem;
  font-weight: 700;
  text-align: left;
}
.record-tool-button:hover { border-color: var(--section-accent); background: var(--blue-soft); }
.record-tool-button:focus-visible { outline: 2px solid #84add0; outline-offset: 1px; }
.copy-status { min-height: 1.1em; margin: 0.4rem 0 0; color: var(--section-accent); font-size: 0.68rem; }
.record-permalink { font-size: 0.7rem; }
.method-page { max-width: 1120px; margin: 0 auto; padding: 3.4rem 2rem 5rem; }
.method-intro { max-width: 820px; padding-bottom: 2.2rem; border-bottom: 1px solid var(--line-strong); }

.method-intro h1 { font-size: clamp(2.2rem, 5vw, 3.6rem); }
.lede { margin: 1rem 0 0; color: var(--muted); font-family: var(--serif); font-size: 1.18rem; line-height: 1.65; }

.about-layout {
  display: grid;
  grid-template-columns: minmax(0, 1fr) 230px;
  align-items: start;
  gap: 3.5rem;
  padding-top: 1.5rem;
}
.about-copy { min-width: 0; max-width: 760px; }
.about-copy section { padding: 0.75rem 0 1.35rem; scroll-margin-top: 1.5rem; }
.about-copy section + section { border-top: 1px solid var(--line); }
.about-copy h2 { margin: 0 0 0.55rem; color: var(--navy); font-size: 1.25rem; }
.about-copy p { max-width: 700px; }
.about-toc { position: sticky; top: 1.5rem; padding: 1rem 0 1rem 1.2rem; border-left: 1px solid var(--line-strong); }
.about-toc .eyebrow { margin: 0 0 0.65rem; }
.about-toc nav { display: grid; gap: 0.25rem; }
.about-toc a { padding: 0.28rem 0.45rem; color: var(--muted); font-size: 0.83rem; text-decoration: none; }
.about-toc a:hover,
.about-toc a:focus-visible { color: var(--navy); background: #e9ece8; }
.about-toc a:focus-visible { outline: 2px solid #84add0; outline-offset: 1px; }
.about-admin { margin-top: 1.25rem; padding: 1rem; border: 1px solid #bfd8d2; border-left: 4px solid #417c71; border-radius: 5px; background: #e6f1ed; }
.about-admin .eyebrow { margin: 0 0 0.4rem; }
.about-admin-name { margin: 0; color: var(--ink); font-family: var(--serif); font-size: 1.05rem; font-weight: 700; }
.about-admin-role { margin: 0.15rem 0 0.55rem; color: var(--muted); font-size: 0.78rem; line-height: 1.45; }
.about-admin-link { font-size: 0.78rem; font-weight: 650; text-decoration: none; }
.about-admin-link:hover { text-decoration: underline; }

/* Tags */
.tags-page { max-width: 1220px; min-height: calc(100vh - 130px); margin: 0 auto; padding: 3.2rem 2rem 5rem; }
.tags-intro { max-width: 850px; padding-bottom: 1.8rem; border-bottom: 1px solid var(--line-strong); }
.tags-intro h1 { font-size: clamp(2.2rem, 5vw, 3.6rem); }
.taxonomy-toolbar {
  display: grid;
  grid-template-columns: minmax(280px, 1fr) minmax(190px, auto) auto auto;
  align-items: center;
  gap: 0.6rem;
  padding: 0.9rem 0;
  border-bottom: 1px solid var(--line);
}
.taxonomy-toolbar select {
  width: 100%;
  height: 42px;
  padding: 0 2rem 0 0.65rem;
  border: 1px solid var(--line-strong);
  border-radius: var(--radius);
  color: var(--ink);
  background: var(--paper);
  font: inherit;
  font-size: 0.8rem;
}
.taxonomy-toolbar select:focus { outline: 2px solid #84add0; outline-offset: 1px; }
.taxonomy-section { padding-top: 2rem; }
.taxonomy-title-row {
  display: flex;
  align-items: baseline;
  gap: 0.55rem;
  padding-bottom: 0.55rem;
  border-bottom: 1px solid var(--line-strong);
}
.taxonomy-title-row h2 { margin: 0; font-size: 1.35rem; }
.taxonomy-total { color: var(--faint); font-family: var(--mono); font-size: 0.74rem; }
.field-links,
.topic-link-list { margin: 0; padding: 0; list-style: none; }
.field-links { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 1rem 1.5rem; padding-top: 0.85rem; }
.field-branch-entry { min-width: 0; padding-left: 0.75rem; border-left: 2px solid var(--line); }
.field-child-links { display: flex; flex-wrap: wrap; gap: 0.42rem; margin: 0.55rem 0 0; padding: 0; list-style: none; }
.field-link,
.topic-link {
  display: inline-flex;
  align-items: center;
  gap: 0.5rem;
  border: 1px solid #b9d2d7;
  border-radius: 999px;
  color: #154d59;
  background: #e7f2f3;
  font-size: 0.8rem;
  font-weight: 700;
  line-height: 1.25;
  text-decoration: none;
}
.field-link { padding: 0.5rem 0.75rem; }
.child-field-link { padding: 0.34rem 0.58rem; border-color: var(--line); color: var(--navy); background: var(--paper-alt); font-size: 0.74rem; font-weight: 600; }
.field-link:hover,
.topic-link:hover { border-color: var(--section-accent); color: #103f48; background: #d9ecee; }
.taxonomy-count { color: #5b7b82; font-family: var(--mono); font-size: 0.68rem; font-weight: 500; }
.topic-groups { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 1.7rem 2rem; padding-top: 1rem; }
.topic-group { min-width: 0; }
.topic-group h3 {
  margin: 0 0 0.65rem;
  padding-bottom: 0.38rem;
  border-bottom: 1px dotted var(--line-strong);
  color: var(--faint);
  font-family: var(--sans);
  font-size: 0.74rem;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}
.topic-link-list { display: flex; flex-wrap: wrap; gap: 0.42rem; }
.topic-link { padding: 0.38rem 0.62rem; border-color: var(--line); color: var(--navy); background: var(--paper-alt); font-weight: 600; }
.taxonomy-filter-entry[hidden],
.field-branch-entry[hidden],
.topic-group[hidden],
.tag-entry[hidden] { display: none !important; }

.source-count { margin: 0; color: var(--muted); font-family: var(--mono); font-size: 0.72rem; }

@media (max-width: 1120px) {
  .map-shell { grid-template-columns: 220px minmax(0, 1fr); }
  .context-panel { grid-column: 1 / -1; display: grid; grid-template-columns: repeat(3, 1fr); gap: 1.5rem; border-top: 1px solid var(--line); border-left: 0; padding-left: 2rem; }
  .context-panel section { border-bottom: 0; }
  .record-shell { grid-template-columns: minmax(0, 1fr) 220px; gap: 2.4rem; }
  .topic-groups { grid-template-columns: repeat(2, minmax(0, 1fr)); }

}

@media (max-width: 900px) {
  .record-shell { display: block; padding: 1.5rem 1rem 3rem; }
  .record-aside { margin-top: 1.5rem; }
  .aside-sticky { position: static; }
  .audit-grid { grid-template-columns: 1fr; }
  .formalization-comparison thead { display: none; }
  .formalization-comparison table,
  .formalization-comparison tbody,
  .formalization-comparison tr,
  .formalization-comparison td { display: block; width: 100%; }
  .formalization-comparison tr { padding: 0.52rem 0; border-bottom: 1px solid var(--line-strong); }
  .formalization-comparison td { display: grid; grid-template-columns: 8rem minmax(0, 1fr); gap: 0.6rem; padding: 0.25rem 0.35rem; border-bottom: 0; }
  .formalization-comparison td::before {
    content: attr(data-label);
    color: var(--muted);
    font-size: 0.66rem;
    font-weight: 750;
    letter-spacing: 0.04em;
    text-transform: uppercase;
  }
}

@media (max-width: 780px) {
  .site-header { align-items: flex-start; padding: 0.85rem 1rem 0; }
  .primary-nav { gap: 1rem; overflow-x: auto; }
  .primary-nav a { padding-bottom: 0.8rem; font-size: 0.78rem; }
  .brand small { display: none; }
  .prototype-strip { grid-template-columns: 1fr auto; padding: 0.45rem 1rem; }
  .prototype-strip p { grid-column: 1; grid-row: 2; }
  .map-shell { display: flex; flex-direction: column; }
  .results-panel { order: 1; }
  .taxonomy-panel { order: 2; }
  .context-panel { order: 3; }
  .taxonomy-panel { padding: 1.2rem 1rem; border-right: 0; border-bottom: 1px solid var(--line); }
  .taxonomy-tree { columns: 2; column-gap: 1.2rem; }
  .taxonomy-tree > ul > li { break-inside: avoid; }
  .taxonomy-note { display: none; }
  .results-panel { padding: 1.35rem 1rem 2.5rem; }
  .context-panel { display: block; padding: 1.35rem 1rem; }
  .context-panel section { padding-bottom: 1.2rem; border-bottom: 1px solid var(--line); }
  .filter-bar { grid-template-columns: 1fr 1fr; }
  .filter-bar .search-field { grid-column: 1 / -1; }
  .pagination-bar { flex-wrap: wrap; justify-content: center; }
  .pagination-top { justify-content: space-between; }
  .pagination-bottom { justify-content: center; }
  .page-buttons { flex-wrap: wrap; }
  .theorem-row { grid-template-columns: 12px minmax(0, 1fr); }
  .row-index { display: none; }
  .site-footer { display: block; padding: 1rem; }
  .site-footer p + p { margin-top: 0.35rem; }
.method-page,
.tags-page { padding: 2rem 1rem 3.5rem; }

  .about-layout { display: flex; flex-direction: column; }
  .about-copy { order: 2; width: 100%; max-width: none; }
  .about-toc { position: static; order: 1; width: 100%; margin: 0 0 1.5rem; padding: 0.8rem 0 0.8rem 0.8rem; }
  .about-toc nav { grid-template-columns: repeat(2, minmax(0, 1fr)); }

  .topic-groups { grid-template-columns: 1fr; gap: 1.25rem; }
  .field-links { grid-template-columns: 1fr; }
  .taxonomy-toolbar { grid-template-columns: 1fr 1fr; }
  .taxonomy-search { grid-column: 1 / -1; }

}

@media (max-width: 500px) {
  .brand strong { font-size: 1rem; }
  .brand-mark { width: 31px; height: 31px; }
  .taxonomy-tree { columns: 1; }
  .filter-bar { grid-template-columns: 1fr; }
  .filter-bar .search-field { grid-column: auto; }
  .quiet-button { width: 100%; }
  .record-header h1 { font-size: 2rem; }
  .statement-box { padding: 1rem; font-size: 0.98rem; }

  .taxonomy-toolbar { grid-template-columns: 1fr; }
  .taxonomy-search { grid-column: auto; }

  .support-toolbar { grid-template-columns: 1fr; }
  .module-dependency-list { grid-template-columns: 1fr; }
}

@media print {
  .site-header, .prototype-strip, .record-aside, .site-footer { display: none; }
  .record-shell { display: block; max-width: none; padding: 0; }
  a { color: inherit; }
}

/* MPQI: mathematical standing, argument provenance and external resources. */
.site-header { min-height: 76px; gap: 1.5rem; }
.brand-mark { width: 43px; height: 38px; font-size: 0.69rem; letter-spacing: 0; }
.brand strong { font-size: 1.25rem; }
.brand small { font-size: 0.61rem; letter-spacing: 0.035em; }
.primary-nav { gap: 1.35rem; }
.primary-nav a { white-space: nowrap; }
.prototype-strip { background: #eff5f4; border-color: #d4e2df; color: #365c59; }
.prototype-strip time { color: #53716f; }
.map-introduction { color: var(--muted); font-size: 0.92rem; line-height: 1.65; margin: -0.25rem 0 1.2rem; }
.collection-switch { display: flex; flex-wrap: wrap; gap: 0.4rem; margin-bottom: 1.15rem; }
.collection-switch button { border: 1px solid var(--line); border-radius: 3px; background: white; padding: 0.45rem 0.65rem; color: var(--muted); font-size: 0.78rem; cursor: pointer; }
.collection-switch button.active { background: #edf4f3; border-color: #6c9994; color: #235e59; }
.filter-bar.mpqi-primary-filters, .filter-bar.mpqi-additional-filters { grid-template-columns: repeat(2,minmax(0,1fr)); gap: 0.7rem; }
.mpqi-filter { display: grid; align-content: start; gap: 0.28rem; min-width: 0; }
.mpqi-filter > span { color: var(--muted); font-size: 0.72rem; font-weight: 600; }
.mpqi-filter select { min-width: 0; font-size: 0.79rem; height: 38px; padding-right: 1.5rem; }
.additional-filters { font-size: 0.79rem; margin: 0.8rem 0; color: var(--muted); }
.additional-filters > summary { cursor: pointer; width: fit-content; }
.mpqi-additional-filters { padding-top: 0.8rem; }
.filter-actions { display: flex; gap: 1rem; align-items: center; justify-content: space-between; margin: 0.6rem 0 1rem; }
.filter-actions .small-note { margin: 0; max-width: 75%; font-size: 0.72rem; }
.row-proof-note { margin: 0.38rem 0 0; font-size: 0.72rem; color: #426661; }
.standing-proved { background: #4f7370; }
.standing-open { background: #b58a3a; }
.standing-disputed { background: #986f58; }
.standing-disproved { background: #986464; }
.standing-not-assessed, .standing-not-applicable { background: #98a0a8; }
.result-evidence-summary { display: grid; grid-template-columns: repeat(2,minmax(0,1fr)); gap: 0.85rem 1.5rem; border-top: 1px solid var(--line); border-bottom: 1px solid var(--line); padding: 1rem 0; margin: 1.3rem 0 1.7rem; }
.result-evidence-summary span { display: block; color: var(--muted); font: 0.67rem/1.5 var(--sans); text-transform: uppercase; letter-spacing: 0.04em; }
.result-evidence-summary strong { display: block; margin-top: 0.2rem; font: 550 0.85rem/1.5 var(--sans); }
.proof-argument-card { border: 1px solid var(--line); padding: 1.05rem 1.2rem; margin: 0.9rem 0; min-width: 0; }
.proof-card-heading { display: flex; gap: 0.7rem; align-items: baseline; justify-content: space-between; }
.proof-card-heading h3, .proof-argument-card h3 { margin-top: 0; font: 650 1.03rem/1.45 var(--serif); }
.proof-origin { color: #376d66; font: 600 0.7rem/1.5 var(--sans); flex-shrink: 0; }
.proof-card-meta, .proof-content-label { font: 0.72rem/1.6 var(--sans); color: var(--muted); margin: 0.4rem 0 0.7rem; }
.proof-sources { padding-left: 1.2rem; font: 0.8rem/1.6 var(--sans); }
.proof-sources li { margin: 0.5rem 0; overflow-wrap: anywhere; }
.proof-sources .reference-meta { display: block; margin-top: 0.12rem; }
.proof-check-note { font: 0.76rem/1.6 var(--sans); color: #48645f; border-top: 1px solid var(--line); padding-top: 0.7rem; margin-bottom: 0; }
.proof-provenance-details { font: 0.78rem/1.6 var(--sans); margin-top: 0.9rem; }
.proof-provenance-details summary, .proof-evidence-event summary, .proof-model-disclosure summary { cursor: pointer; color: var(--section-accent); }
.proof-metadata { display: grid; grid-template-columns: 8rem minmax(0,1fr); gap: 0.35rem 0.8rem; font: 0.78rem/1.6 var(--sans); }
.proof-metadata dt { color: var(--muted); }
.proof-metadata dd { margin: 0; overflow-wrap: anywhere; }
.proof-evidence-event { border-bottom: 1px solid var(--line); padding: 0.7rem 0; font: 0.82rem/1.6 var(--sans); }
.proof-model-disclosure { margin-top: 1rem; font: 0.79rem/1.6 var(--sans); }
.proof-model-disclosure pre { max-height: 400px; overflow: auto; white-space: pre-wrap; overflow-wrap: anywhere; padding: 1rem; background: var(--paper-alt); font: 0.7rem/1.6 var(--mono); }

@media (max-width: 1120px) { .site-header { flex-wrap: wrap; padding-top: 0.9rem; } .primary-nav { min-height: 44px; } }
@media (max-width: 780px) {
  .site-header { display: block; padding: 0.85rem 1rem 0; }
  .brand small { display: block; font-size: 0.57rem; }
  .primary-nav { display: flex; gap: 1.2rem; padding-top: 0.75rem; max-width: 100%; }
  .primary-nav a { flex: 0 0 auto; }
  .results-toolbar { align-items: flex-start; flex-wrap: wrap; gap: 0.3rem; }
  .results-toolbar h1 { font-size: 1.6rem; }
  .proof-card-heading { display: block; }
  .proof-metadata { grid-template-columns: 6rem minmax(0,1fr); }
}
@media (max-width: 460px) {
  .filter-bar.mpqi-primary-filters, .filter-bar.mpqi-additional-filters { grid-template-columns: minmax(0,1fr); }
  .result-evidence-summary { grid-template-columns: minmax(0,1fr); }
}

.source-statement-excerpts { margin-block: 1rem; }
.source-statement-excerpts summary { cursor: pointer; color: var(--ink, #173c42); font-weight: 600; }
.source-statement-excerpts pre { white-space: pre-wrap; overflow-wrap: anywhere; font-size: .85rem; line-height: 1.6; padding: 1rem; background: #f5f7f7; }

.record-attribution, .collection-credit { color: #40595d; line-height: 1.6; border-left: 3px solid #b7caca; padding-left: .9rem; }
.collection-credit { margin-block: 1rem; font-size: .9rem; }

/* Credited websites, collections and formalization projects. */
.resources-page { max-width: 1060px; margin: 2.5rem auto 4rem; padding: 0 2rem; }
.resources-intro { max-width: 850px; }
.resource-toolbar { display: grid; grid-template-columns: minmax(220px,2fr) minmax(160px,1fr) minmax(160px,1fr) auto; align-items: end; gap: .8rem; margin-top: 1.7rem; }
.resource-toolbar label { display: flex; flex-direction: column; gap: .35rem; font: .74rem/1.5 var(--sans); color: var(--muted); }
.resource-toolbar input, .resource-toolbar select { min-width: 0; width: 100%; min-height: 40px; padding: .55rem; background: white; border: 1px solid var(--line-strong); border-radius: 3px; color: var(--ink); font: .8rem var(--sans); }
.resource-list { list-style: none; padding: 0; margin: 0; }
.resource-entry { padding: 1.6rem 0; border-top: 1px solid var(--line-strong); scroll-margin-top: 2rem; }
.resource-entry h2 { margin: .3rem 0 .8rem; font-size: 1.3rem; }
.resource-entry h2 a { color: var(--navy-dark); text-decoration: none; }
.resource-entry p { max-width: 900px; line-height: 1.65; }
.resource-credits { border-left: 3px solid #b7caca; padding: .1rem 0 .1rem .9rem; }
.resource-credits > div + div { margin-top: .6rem; }
.resource-credit-role { display: block; font: .67rem/1.5 var(--sans); color: var(--muted); }
.resource-credits strong { font: 650 .9rem/1.6 var(--sans); }
.resource-credits a { display: inline-block; margin-left: .7rem; font-size: .7rem; }
.resource-links { display: flex; flex-wrap: wrap; gap: .6rem 1.2rem; font: 650 .76rem/1.5 var(--sans); }
.resource-date { color: var(--muted); font: .68rem/1.5 var(--sans); }
.resource-status { background: #eff5f4; border-left: 3px solid #b7caca; padding: .7rem .9rem; font: .76rem/1.6 var(--sans); }
.source-context-text { white-space: pre-wrap; overflow-wrap: anywhere; line-height: 1.7; }

@media (max-width: 780px) { .resources-page { padding: 0 1rem; margin-top: 1.8rem; } .resource-toolbar { grid-template-columns: minmax(0,1fr) minmax(0,1fr); } .resource-toolbar label:first-child { grid-column: 1/-1; } }
@media (max-width: 460px) { .resource-toolbar { grid-template-columns: minmax(0,1fr); } }

/* Introductory examples sit below the description and above collection counts. */
.prototype-strip .intro-description { grid-column: 1 / -1; }
.prototype-strip .intro-description > p { grid-column: auto; grid-row: auto; }
.prototype-strip .intro-description > p:first-child { font-weight: 600; }
.prototype-strip .intro-examples { margin: 0.35rem 0 0; line-height: 1.7; }

.prototype-strip.intro-card {
  display: block;
  max-width: 1536px;
  margin: 1.25rem 2rem 0;
  padding: 1.2rem 1.4rem;
  border: 1px solid #bfd8d2;
  border-left: 4px solid #417c71;
  border-radius: 6px;
  background: #e6f1ed;
  color: #254f47;
  font-size: 0.84rem;
  line-height: 1.65;
}
.intro-card a { color: #1e5b50; text-underline-offset: 0.15em; }
.prototype-strip.intro-card .intro-examples { margin-top: 0.6rem; }
.prototype-strip.intro-card .intro-summary { margin-top: 0.75rem; font-size: 0.76rem; color: #43645d; }
.prototype-strip.intro-card time { color: inherit; }
@media (min-width: 1600px) { .prototype-strip.intro-card { margin-left: auto; margin-right: auto; } }
@media (max-width: 780px) { .prototype-strip.intro-card { margin: 1rem 1rem 0; padding: 1rem; } }

.contribution-options { display: grid; grid-template-columns: repeat(2,minmax(0,1fr)); gap: 1rem; }
.contribution-option { display: flex; flex-direction: column; padding: 1.1rem; border: 1px solid #c8dcd6; border-radius: 5px; background: #f1f7f4; color: inherit; text-decoration: none; }
.about-copy .contribution-option h2 { margin: 0 0 .5rem; font-size: 1.02rem; line-height: 1.4; }
.about-copy .contribution-option p { margin: 0 0 .8rem; font-size: .87rem; }
.contribution-option > span { margin-top: auto; color: #245c50; font: 600 .76rem/1.5 var(--sans); }
.contribution-option:hover { border-color: #417c71; background: #e8f2ed; }
.contribution-option:focus-visible, .suggest-update:focus-visible { outline: 2px solid #417c71; outline-offset: 3px; }
.about-copy .contribution-public-note { margin: .5rem 0 1rem; padding: 1.1rem 1.25rem; border: 1px solid #d5e3de; border-left: 3px solid #83aa9e; border-radius: 4px; background: #f5f8f6; }
.about-copy .contribution-public-note > p:last-child { margin-bottom: 0; }
.contribution-context { padding: .75rem 1rem; background: #eff5f4; overflow-wrap: anywhere; }
.suggest-update { display: inline-block; border: 1px solid #a5c5ba; border-radius: 4px; padding: .45rem .75rem; color: #245c50; background: #eff5f4; font: 600 .8rem/1.5 var(--sans); text-decoration: none; }
@media(max-width: 600px) { .contribution-options { grid-template-columns: minmax(0,1fr); } }

.prototype-strip .intro-examples { display: flex; flex-wrap: wrap; align-items: center; gap: .45rem .6rem; }
.intro-card .intro-example-link { display: inline-block; max-width: 100%; padding: .4rem .65rem; border: 1px solid #91b9ad; border-radius: 4px; background: #f8fcfa; color: #214f43; font-weight: 600; line-height: 1.5; text-decoration: none; overflow-wrap: anywhere; }
.intro-card .intro-example-link:hover { border-color: #376e60; background: #fff; }
.intro-card .intro-example-link:focus-visible { outline: 2px solid #376e60; outline-offset: 3px; }

.about-copy .about-collection-box { margin: 1rem 0 1.5rem; padding: 1.1rem 1.25rem; border: 1px solid #bfd8d2; border-left: 4px solid #417c71; border-radius: 5px; background: #e6f1ed; color: #254f47; scroll-margin-top: 1.5rem; }
.about-copy .about-collection-box p { margin: 0; line-height: 1.65; }

.about-admin-email { margin: .65rem 0 0; }
.about-admin-email-button { border: 1px solid #91b9ad; border-radius: 4px; background: #f8fcfa; padding: .4rem .65rem; color: #214f43; font: 600 .78rem/1.5 var(--sans); cursor: pointer; }
.about-admin-email-button:hover { background: #fff; border-color: #376e60; }
.about-admin-email-button:focus-visible { outline: 2px solid #376e60; outline-offset: 3px; }
.about-admin .about-admin-email-link { display: inline-block; padding: .2rem 0; color: #214f43; font-size: .78rem; overflow-wrap: anywhere; }
.resource-license { margin: .9rem 0; padding: .8rem 1rem; background: #f1f6f3; border-left: 3px solid #b7caca; font-size: .82rem; line-height: 1.7; scroll-margin-top: 1.5rem; }

.field-child-entry { min-width: 0; max-width: 100%; }
.field-child-entry > .field-child-links { margin-left: .75rem; padding-left: .6rem; border-left: 1px solid var(--line); }