/* ── MIT 6.S976/18.S996 Lean slides — dark green theme ── */
/* Webfonts are self-hosted: lib/fonts/source-fonts.css, linked from index.html. */


:root {
  --lean-accent: #166534;
  --lean-accent-light: #15803d;
  --lean-band: #14532d;
  --text-dark: #1e293b;
  --text-muted: #334155;
  --bg-code: #f8fafc;
  --border-code: #d1d5db;
  --bg-highlight: #f0fdf4;
  --border-highlight: #86efac;
}

/* ── Base typography ── */
.reveal {
  font-family: 'Source Sans 3', -apple-system, BlinkMacSystemFont, sans-serif;
  font-weight: 300;
  font-size: 3.4vh;
  color: var(--text-dark);
}

.reveal h1, .reveal h2, .reveal h3, .reveal h4, .reveal h5, .reveal h6 {
  text-transform: none;
  font-family: 'Source Sans 3', -apple-system, BlinkMacSystemFont, sans-serif;
  font-weight: 500;
  color: var(--text-dark);
}

.reveal .slides section {
  text-align: left;
  padding: 2vh 3vw;
  box-sizing: border-box;
  width: 100vw;
  height: 100vh;
}

/* ── Slide header (logo + green line) ── */
.slide-header {
  display: flex;
  align-items: center;
  gap: 0;
  margin-bottom: 0.5em;
}
.slide-header img {
  height: 6vh;
  flex-shrink: 0;
}
.slide-header::after {
  content: '';
  flex: 1;
  height: 1.5px;
  background: var(--lean-accent);
}

/* ── Title slide (two-part layout) ── */
.title-slide {
  display: flex !important;
  flex-direction: column;
  justify-content: flex-start;
  align-items: stretch;
  text-align: left;
  padding: 0 !important;
}
.title-slide .top-area {
  padding: 1.2em 1.5em 0.8em;
}
.title-slide .logo {
  height: 140px;
}
.title-slide .green-band {
  background: var(--lean-band);
  flex: 1;
  padding: 1em 1.5em;
  display: flex;
  flex-direction: column;
  justify-content: flex-start;
}
.title-slide h1 {
  font-size: 1.8em;
  font-weight: 300;
  margin: 0 0 0.6em 0;
  color: #ffffff;
}
.title-slide .meta {
  font-size: 0.85em;
  font-weight: 300;
  color: #ffffff;
  line-height: 1.6;
}
.title-slide .meta strong {
  font-weight: 500;
  color: #ffffff;
}
.title-slide .course-info {
  font-size: 0.75em;
  font-weight: 300;
  color: rgba(255,255,255,0.85);
  line-height: 1.5;
  margin-top: 0.8em;
}
.title-slide .date {
  font-size: 0.85em;
  font-weight: 300;
  color: rgba(255,255,255,0.8);
  margin-top: auto;
  padding-bottom: 0.5em;
}
/* lean4-skills as teletype on the green band: monospace, legible (no light code box) */
.title-slide h1 code,
.title-slide .meta code {
  background: transparent;
  color: inherit;
  padding: 0;
  font-size: 0.95em;
}

/* ── Content slides ── */
.reveal h2 {
  font-size: 1.3em;
  font-weight: 600;
  margin: 0 0 0.5em 0;
  color: var(--text-dark);
}

.reveal ul {
  font-size: 0.9em;
  font-weight: 300;
  line-height: 1.7;
  margin: 0;
  padding-left: 1.2em;
}
.reveal ul ul {
  font-size: 1em;
}
.reveal ul li {
  margin-bottom: 0.25em;
}

.reveal ol {
  font-size: 0.9em;
  font-weight: 300;
  line-height: 1.7;
  margin: 0;
  padding-left: 1.2em;
}
.reveal ol li {
  margin-bottom: 0.25em;
}

.reveal p {
  font-size: 0.9em;
  font-weight: 300;
  line-height: 1.6;
  margin: 0.4em 0;
}

.reveal strong {
  font-weight: 600;
  color: var(--text-dark);
}

.reveal em {
  font-style: italic;
}

.reveal a {
  color: var(--lean-accent-light);
  font-weight: 600;
}

/* ── Code blocks ── */
.reveal pre {
  font-size: 0.68em;
  width: 100%;
  margin: 0.4em 0;
  box-shadow: none;
  border: 1px solid var(--border-code);
  border-radius: 6px;
  background: var(--bg-code);
}
.reveal pre code {
  font-family: 'Source Code Pro', 'SF Mono', 'Menlo', 'Monaco', 'Consolas', monospace;
  padding: 0.8em 1em;
  max-height: 70vh;
  background: var(--bg-code);
  font-size: 0.95em;
  line-height: 1.55;
}

/* ── Lean syntax highlighting ── */
.reveal pre code .hljs-keyword,
.reveal pre code .keyword {
  color: #cf222e;
  font-weight: 700;
}
.reveal pre code .hljs-type,
.reveal pre code .hljs-built_in,
.reveal pre code .type-name {
  color: #0550ae;
}
.reveal pre code .hljs-title,
.reveal pre code .hljs-function,
.reveal pre code .def-name {
  color: #0550ae;
  font-weight: 600;
}
.reveal pre code .hljs-string {
  color: #0a3069;
}
.reveal pre code .hljs-number,
.reveal pre code .hljs-literal {
  color: #0550ae;
}
.reveal pre code .hljs-comment {
  color: #6e7781;
  font-style: italic;
}
.reveal pre code .hljs-symbol {
  color: #1e293b;
}

/* ── Inline code ── */
.reveal code {
  font-family: 'Source Code Pro', 'SF Mono', 'Menlo', monospace;
  font-size: 0.9em;
  background: #f1f5f9;
  padding: 0.1em 0.3em;
  border-radius: 3px;
}
.reveal pre code {
  background: var(--bg-code);
  padding: 0.8em 1em;
}

/* ── Accent ── */
.accent {
  color: var(--lean-accent);
  font-weight: 600;
}

/* ── Key-value highlight boxes ── */
.key-box {
  background: var(--bg-highlight);
  border: 1px solid var(--border-highlight);
  border-left: 4px solid var(--lean-accent);
  border-radius: 0 8px 8px 0;
  padding: 0.6em 1em;
  margin: 0.4em 0;
  font-size: 0.85em;
}
.key-box strong {
  color: var(--text-dark);
}

/* ── Dark background slides ── */
.reveal section[data-background-color="#14532d"] {
  display: flex !important;
  flex-direction: column;
  justify-content: center;
}
.reveal section[data-background-color="#14532d"] h1,
.reveal section[data-background-color="#14532d"] h2 {
  color: #ffffff !important;
  font-size: 2em;
  font-weight: 300;
}
.reveal section[data-background-color="#14532d"] p,
.reveal section[data-background-color="#14532d"] li {
  color: rgba(255, 255, 255, 0.9);
  font-size: 1.1em;
}
.reveal section[data-background-color="#14532d"] em {
  color: #86efac;
}
.reveal section[data-background-color="#14532d"] strong {
  color: #ffffff;
}
.reveal section[data-background-color="#14532d"] code {
  background: rgba(255, 255, 255, 0.15);
  color: #ffffff;
}

/* ── Two-column layout ── */
.two-col {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 1.5em;
  align-items: start;
}

/* ── Blockquotes ── */
.reveal blockquote {
  font-size: 0.85em;
  border-left: 4px solid var(--lean-accent);
  padding: 0.3em 0.8em;
  margin: 0.5em 0;
  background: var(--bg-highlight);
  border-radius: 0 6px 6px 0;
}

/* ── Lean code: Verso-style syntax colors ── */
.reveal,
.reveal section {
  --verso-code-keyword-color: #cf222e;
  --verso-code-const-color: #0550ae;
  --verso-code-var-color: #1e293b;
  --verso-code-color: #1e293b;
  --verso-code-font-family: 'Source Code Pro', 'SF Mono', 'Menlo', 'Monaco', 'Consolas', monospace;
  --verso-info-indicator-color: var(--lean-accent);
  --verso-code-keyword-weight: 700;
}

/* ── Lean code block appearance ── */
.reveal code.hl.lean.block {
  background: var(--bg-code);
  border: 1px solid var(--border-code);
  border-radius: 6px;
  box-shadow: none;
  padding: 0.8em 1em;
  font-size: 0.5em;
  line-height: 1.55;
  width: 95%;
  max-width: 95%;
  text-align: left;
}

/* ── Code panel: Verso info panel alongside code ── */
.code-with-panel {
  border: 1px solid var(--border-code);
  border-radius: 6px;
  overflow: hidden;
  box-shadow: none;
}
.code-with-panel > code.hl.lean.block {
  border: none;
  border-radius: 6px 0 0 6px;
  background: var(--bg-code);
}
.code-with-panel > .panel-cell {
  background: #f8fafc;
  border-left: 1px solid var(--border-code);
}
.code-with-panel > .info-panel,
.code-with-panel .info-panel {
  font-size: 0.45em;
  color: var(--text-dark);
}

/* ── Inline Lean code ── */
.reveal code.hl.lean.inline {
  background: #f1f5f9;
  border-radius: 3px;
  padding: 0.1em 0.3em;
  font-size: 0.85em;
}

/* ── #eval output ── */
.command-output.information {
  background: var(--bg-highlight);
  border-color: var(--lean-accent);
  border-radius: 4px;
  font-size: 0.9em;
}

/* ── Soften wavy underlines on info diagnostics ── */
.reveal .hl.lean .has-info.information .token:not(.tactic-state):not(.tactic-state *),
.reveal .hl.lean .has-info.information .inter-text:not(.tactic-state):not(.tactic-state *) {
  text-decoration-color: rgba(22, 101, 52, 0.35);
}

/* ── Keyword: bold and colored ── */
.hl.lean .keyword {
  font-weight: 700 !important;
}

/* ── Variable: no italic ── */
.hl.lean .var {
  font-style: normal !important;
}

/* ── Re-enable Verso hover popups ── */
.hl.lean .hover-container {
  display: block;
}

/* ── Images ── */
.reveal section img {
  max-width: 70%;
  max-height: 45vh;
  object-fit: contain;
}
.reveal section img.img-tall {
  max-height: 70vh;
  max-width: 95%;
}
.reveal section img.img-small {
  max-height: 25vh;
  max-width: 40%;
}
.reveal section img.img-wide {
  max-width: 90%;
  max-height: 40vh;
}

/* ── Placeholder images ── */
.placeholder {
  display: flex;
  align-items: center;
  justify-content: center;
  background: #e2e8f0;
  border: 2px dashed #94a3b8;
  border-radius: 8px;
  color: #64748b;
  font-size: 0.8em;
  font-weight: 400;
  min-height: 25vh;
  margin: 0.5em 0;
  padding: 1em;
}

/* ── hstack layout ── */
.reveal .r-hstack {
  display: flex !important;
  flex-direction: row;
  align-items: flex-start;
  gap: 1.5em;
}
.reveal .r-hstack > ul {
  flex: 1;
}
.reveal .r-hstack > p {
  flex: 1;
}
.reveal .r-hstack > hr,
.reveal .r-hstack > p:empty {
  display: none;
}

/* ── Transcript / dialogue styling ── */
.transcript {
  font-size: 0.82em;
  line-height: 1.6;
}
.transcript .speaker {
  font-weight: 600;
  color: var(--lean-accent);
}
.transcript .pedagogy {
  font-style: italic;
  color: var(--text-muted);
  font-size: 0.9em;
}

/* ── Axiom output box ── */
.axiom-output {
  background: var(--bg-highlight);
  border: 1px solid var(--border-highlight);
  border-left: 4px solid var(--lean-accent);
  border-radius: 0 6px 6px 0;
  padding: 0.4em 0.8em;
  margin: 0.3em 0;
  font-family: 'Source Code Pro', monospace;
  font-size: 0.75em;
  color: var(--text-dark);
}

/* ── Section break slides ── */
.section-break {
  display: flex !important;
  flex-direction: column;
  justify-content: center;
  align-items: center;
  text-align: center !important;
}
.section-break h2 {
  font-size: 1.8em;
  font-weight: 300;
  color: #ffffff !important;
}
.section-break p {
  color: rgba(255,255,255,0.85);
  font-size: 1em;
}

/* ═══════════════════════════════════════════════════════════ */
/* ── Prompts→Protocols additions (UCSD 2026-05) ── */
/* ═══════════════════════════════════════════════════════════ */

/* ── Flow diagrams: boxes joined by arrows ── */
.flow-row {
  display: flex;
  flex-direction: row;
  align-items: stretch;
  justify-content: center;
  gap: 0.5em;
  flex-wrap: wrap;
  margin: 0.7em 0;
}
.flow-col {
  display: flex;
  flex-direction: column;
  align-items: center;
  gap: 0.1em;
  margin: 0.4em 0;
}
.flow-box {
  background: var(--bg-highlight);
  border: 1px solid var(--border-highlight);
  border-left: 4px solid var(--lean-accent);
  border-radius: 6px;
  padding: 0.45em 0.7em;
  font-size: 0.62em;
  line-height: 1.3;
  text-align: center;
  flex: 1 1 0;
  min-width: 0;
  display: flex;
  flex-direction: column;
  justify-content: center;
}
.flow-box .fb-title { font-weight: 600; color: var(--text-dark); display: block; }
.flow-box .fb-sub { color: var(--text-muted); font-size: 0.92em; }
.flow-box.dark { background: var(--lean-band); border-color: var(--lean-accent); }
.flow-box.dark .fb-title { color: #ffffff; }
.flow-box.dark .fb-sub { color: #86efac; }
.flow-box.wide { flex: 0 0 auto; min-width: 9em; }
.flow-arrow {
  color: var(--lean-accent);
  font-weight: 700;
  font-size: 1em;
  display: flex;
  align-items: center;
  justify-content: center;
  padding: 0 0.05em;
}
.flow-arrow.down { padding: 0.05em 0; }
.flow-arrow .albl { font-size: 0.5em; color: var(--text-muted); font-weight: 400; margin-left: 0.3em; }

/* ── Architecture: agent ↔ protocol layer ↔ Lean/Mathlib ── */
.arch { display: flex; align-items: center; justify-content: center; gap: 0.4em; margin: 0.6em 0; }
.arch .col { display: flex; flex-direction: column; gap: 0.45em; flex: 1; }
.arch .frame {
  border: 2px solid var(--lean-accent);
  border-radius: 8px;
  padding: 0.5em 0.45em;
  background: #f0fdf4;
  flex: 1.35;
  display: flex;
  flex-direction: column;
  gap: 0.3em;
}
.arch .frame .frame-title {
  font-size: 0.6em; font-weight: 600; text-align: center;
  color: var(--lean-accent); margin-bottom: 0.1em;
}

/* ── Prompt vs Protocol split ── */
.contrast-2 {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 1.2em;
  align-items: stretch;
  margin: 0.7em 0;
}
.contrast-2 .panel {
  border: 1px solid var(--border-code);
  border-radius: 8px;
  padding: 0.7em 0.9em;
  background: #ffffff;
}
.contrast-2 .panel h3 {
  font-size: 0.78em;
  margin: 0 0 0.45em 0;
  text-transform: uppercase;
  letter-spacing: 0.04em;
  color: var(--text-muted);
}
.contrast-2 .panel.protocol { background: var(--bg-highlight); border-color: var(--border-highlight); }
.contrast-2 .panel ul { font-size: 0.82em; }

/* ── Big number hook ── */
.bignum {
  display: flex;
  align-items: center;
  justify-content: center;
  gap: 0.4em;
  flex-wrap: wrap;
  margin: 0.8em 0;
}
.bignum .num { font-weight: 700; color: var(--lean-accent); line-height: 1; text-align: center; }
.bignum .num.sm  { font-size: 1.5em; }
.bignum .num.mid { font-size: 2.2em; }
.bignum .num.lg  { font-size: 2.6em; }
.bignum .num .lbl {
  display: block; font-size: 0.3em; font-weight: 400;
  color: var(--text-muted); margin-top: 0.3em;
}
.bignum .arrow { display: flex; flex-direction: column; align-items: center; color: var(--text-muted); }
.bignum .arrow .glyph { font-size: 1.8em; line-height: 0.8; }
.bignum .arrow .albl { font-size: 0.95em; max-width: 12em; text-align: center; line-height: 1.25; margin-top: 0.25em; color: var(--text-dark); font-weight: 500; }

/* ── Evaluation stack ── */
.eval-stack { display: flex; flex-direction: column; gap: 3px; margin: 0.5em 0; }
.stack-layer {
  display: flex;
  align-items: baseline;
  gap: 0.8em;
  border-radius: 4px;
  padding: 0.32em 0.7em;
  font-size: 0.72em;
  background: var(--bg-highlight);
  border-left: 4px solid var(--lean-accent-light);
}
.stack-layer .sl-name { font-weight: 600; flex: 0 0 11em; color: var(--text-dark); }
.stack-layer .sl-q { color: var(--text-muted); flex: 1; }
.stack-layer.base { background: var(--lean-band); border-left-color: #052e16; }
.stack-layer.base .sl-name { color: #ffffff; }
.stack-layer.base .sl-q { color: #86efac; }

/* ── Failure → countermeasure table ── */
.fail-table { width: 100%; border-collapse: collapse; font-size: 0.74em; line-height: 1.4; }
.fail-table th {
  text-align: left;
  padding: 0.3em 0.5em;
  border-bottom: 1.5px solid var(--lean-accent);
  color: var(--text-dark);
  font-weight: 600;
}
.fail-table td { padding: 0.28em 0.5em; vertical-align: top; border-bottom: 1px solid #e2e8f0; }
.fail-table td.cm { color: var(--lean-accent); font-weight: 500; }
.fail-table td.cm .eg, .fail-table td.cm .eg code { color: #64748b !important; font-weight: 400 !important; }
.fail-table td.cm .eg { font-size: 0.9em; }
.fail-table td { vertical-align: top; }
.fail-table tr:nth-child(even) td { background: #f6f8fa; }
.fail-table th, .fail-table td { padding: 0.4em 0.6em; }

/* ── Reusable-prompt card (checklist slide) ── */
.prompt-card {
  background: var(--bg-highlight);
  border: 1px solid var(--border-highlight);
  border-left: 4px solid var(--lean-accent);
  border-radius: 0 8px 8px 0;
  padding: 0.7em 0.9em;
}
.prompt-card .label {
  font-size: 0.7em;
  font-weight: 700;
  color: var(--lean-accent);
  text-transform: uppercase;
  letter-spacing: 0.05em;
  margin-bottom: 0.35em;
}
.prompt-card p { margin: 0; font-size: 0.82em; line-height: 1.55; }
.prompt-card em { color: var(--lean-accent); font-style: normal; font-weight: 600; }

/* ── Project grid ── */
.proj-grid {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 0.45em 1.3em;
  font-size: 0.82em;
  margin: 0.5em 0;
}
.proj-grid .proj { border-left: 3px solid var(--lean-accent); padding-left: 0.6em; }
.proj-grid .proj strong { color: var(--text-dark); }
.proj-grid .proj .pd { color: var(--text-muted); font-size: 0.9em; }

/* ── Final thank-you slide: white top with link columns, green footer band ── */
.thanks-slide { display: flex !important; flex-direction: column; padding: 0 !important; }
.thanks-slide .top {
  position: relative;
  flex: 1;
  display: flex;
  flex-direction: column;
  justify-content: center;
  padding: 4vh 6vw;
}
.thanks-slide .top h2 { margin: 0 0 0.9em 0; font-size: 1.5em; }
.thanks-slide .link-cols {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 3em;
}
.thanks-slide .link-cols h3 {
  font-size: 0.8em;
  margin: 0 0 0.4em 0;
  color: var(--lean-accent);
  text-transform: uppercase;
  letter-spacing: 0.06em;
}
.thanks-slide .link-cols ul { list-style: none; padding: 0; margin: 0; font-size: 1em; line-height: 2; }
.thanks-slide .link-cols li { margin: 0; }
.thanks-slide .thanks-band {
  background: var(--lean-band);
  color: #ffffff;
  padding: 1.3em 6vw;
}
.thanks-slide .thanks-band .name { font-size: 1.3em; font-weight: 600; color: #ffffff; margin: 0 0 0.15em 0; }
.thanks-slide .thanks-band .sub { color: rgba(255,255,255,0.9); font-size: 0.85em; line-height: 1.5; }

/* ── Bounded-loop branch tags ── */
.branch-tag { font-size: 0.62em; font-weight: 700; color: var(--text-dark); margin-bottom: 0.25em; }
.branch-tag.accent { color: var(--lean-accent); }
.flow-box.loop { border-style: dashed; }

/* ── de Finetti contribution map (paper Figure 2) colors ── */
.flow-box.api    { background: #f1f5f9; border-color: #64748b; }
.flow-box.ending { background: #f1f5f9; border-color: #64748b; }
.flow-box.routeA { background: #e6edfa; border-color: #3b6bc4; }
.flow-box.routeB { background: #e0f2e0; border-color: #3f8f3f; }
.flow-box.routeC { background: #fce6cf; border-color: #cf8530; }
.flow-box.result { background: #fdf6c8; border-color: #b59f2e; }
.flow-box.result .fb-title { font-weight: 700; }
.flow-box.infra  { background: #f1f5f9; border-color: #94a3b8; flex: 1 1 0; }

/* ── "Show, don't tell": verbatim source code-cards, tag pills, enforcement spectrum ── */
/* A code-card is a styled "file card": a filename header bar above a verbatim source excerpt. */
.code-card {
  background: var(--bg-code);
  border: 1px solid var(--border-code);
  border-radius: 8px;
  overflow: hidden;
  margin: 0.5em 0;
}
.code-card .fname {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 0.8em;
  background: #e8eef5;
  border-bottom: 1px solid var(--border-code);
  padding: 0.35em 0.85em;
  font-family: 'Source Code Pro', 'SF Mono', 'Menlo', 'Monaco', 'Consolas', monospace;
  font-size: 0.66em;
  color: var(--text-muted);
}
.code-card .fname .path { font-weight: 600; }
.code-card pre {
  margin: 0;
  width: 100%;
  border: none;
  border-radius: 0;
  box-shadow: none;
  background: var(--bg-code);
  font-size: 0.6em;
}
.code-card pre code {
  display: block;
  background: var(--bg-code);
  padding: 0.7em 1em;
  line-height: 1.5;
  text-align: left;
  white-space: pre-wrap;     /* soft-wrap long verbatim lines; never overflow the card horizontally */
  overflow-wrap: anywhere;
}

/* Reusable tag pill, used by both .code-card (verbatim provenance) and .transcript (stylized label) */
.tag {
  font-family: 'Source Code Pro', 'SF Mono', 'Menlo', 'Monaco', 'Consolas', monospace;
  font-weight: 600;
  color: var(--text-muted);
  background: #dde6f0;
  border: 1px solid #c4d2e0;
  border-radius: 999px;
  padding: 0.08em 0.6em;
  white-space: nowrap;
}
.code-card .fname .tag { font-size: 0.78em; font-weight: 400; }
.tagline { text-align: right; margin: -0.15em 0 0.25em; }
.tagline .tag { font-size: 0.6em; white-space: normal; }

/* Enforcement spectrum: model → tool → script → hook → kernel (darkest = kernel, the blocking floor) */
.enforce { display: flex; flex-direction: column; gap: 4px; margin: 0.55em 0; }
.enforce .row {
  display: flex;
  align-items: baseline;
  gap: 0.8em;
  border-radius: 4px;
  padding: 0.4em 0.75em;
  font-size: 0.72em;
  background: var(--bg-highlight);
  border-left: 4px solid var(--lean-accent-light);
}
.enforce .layer { font-weight: 700; flex: 0 0 4.2em; color: var(--text-dark); }
.enforce .rule { color: var(--text-muted); flex: 1; }
.enforce .chip {
  flex: 0 0 auto;
  font-size: 0.82em;
  font-weight: 700;
  text-transform: uppercase;
  letter-spacing: 0.04em;
  padding: 0.05em 0.5em;
  border-radius: 4px;
}
.enforce .chip.adv { color: var(--lean-accent); background: #e2f0e6; }
.enforce .chip.blk { color: #ffffff; background: var(--lean-accent); }
.enforce .row.kernel { background: var(--lean-band); border-left-color: #052e16; }
.enforce .row.kernel .layer { color: #ffffff; }
.enforce .row.kernel .rule { color: #86efac; }
.enforce .row.kernel .rule code { background: rgba(255, 255, 255, 0.15); color: #ffffff; }
.enforce .row.kernel .chip.blk { background: #052e16; color: #86efac; }

/* Verbatim terminal-capture transcript (real session), reproduced as-is */
.reveal pre.term {
  font-size: 0.4em;
  background: #1a1b20;
  border: 1px solid #2c2f36;
  border-radius: 6px;
  width: 100%;
  margin: 0.3em 0;
}
.reveal pre.term code {
  font-size: 1em;
  font-family: 'Source Code Pro','SF Mono','Menlo','Monaco','Consolas',monospace;
  color: #d4d7dc;
  background: #1a1b20;
  line-height: 1.35;
  text-align: left;
  white-space: pre-wrap;
  overflow-wrap: anywhere;
  padding: 0.7em 0.9em;
  max-height: 82vh;
  overflow: auto;
  display: block;
}
/* Claude-Code-style grey input box for the user prompt inside a terminal capture */
.reveal pre.term .cc-prompt {
  display: block;
  background: #30333b;
  border-radius: 5px;
  padding: 0.35em 0.6em;
  margin: 0.1em 0 0.35em;
}
/* Lightweight, consistent highlighting for terminal captures */
.reveal pre.term .kw   { color: #61afef; }                  /* reserved words (blue) */
.reveal pre.term .ty   { color: #56b6c2; }                  /* type names (teal) */
.reveal pre.term .tool { color: #e5c07b; font-weight: 700; }/* tool-call labels */
.reveal pre.term .b    { color: #ffffff; font-weight: 700; }/* emphasis (Notes lead-ins) */
.reveal pre.term .dot  { color: #98c379; font-weight: 700; }/* the ● turn markers */
.reveal pre.term .ok   { color: #98c379; }                  /* success / true */
.reveal pre.term .err  { color: #e06c75; }                  /* error / false */
.reveal pre.term .warn { color: #e5c07b; }                  /* warning */
.reveal pre.term .muted{ color: #7a828e; }                  /* timestamps, result pipes */
.reveal pre.term .cc-icon { color: #d97757; }               /* Claude Code logo (coral/orange) */

/* Search ladder: numbered tool steps (mirrors .enforce/.stack-layer band look) */
.ladder { display: flex; flex-direction: column; gap: 4px; margin: 0.5em 0; counter-reset: rung; }
.ladder .rung {
  display: flex;
  align-items: baseline;
  gap: 0.7em;
  border-radius: 4px;
  padding: 0.34em 0.7em;
  font-size: 0.74em;
  background: var(--bg-highlight);
  border-left: 4px solid var(--lean-accent-light);
}
.ladder .rung::before {
  counter-increment: rung;
  content: counter(rung);
  flex: 0 0 1.3em;
  font-weight: 700;
  color: var(--lean-accent);
  text-align: right;
}
.ladder .rung code { font-weight: 600; background: #eef4ee; }
.ladder .rung .what { color: var(--text-muted); flex: 1; }
.ladder .rung.test { background: var(--lean-band); border-left-color: #052e16; }
.ladder .rung.test::before { color: #86efac; }
.ladder .rung.test code { color: #ffffff; background: rgba(255,255,255,0.12); }
.ladder .rung.test .what { color: #86efac; }

/* ═══════════════════════════════════════════════════════════════
   ITP 2026 — Three Roads to de Finetti
   Additions on top of the attached Cambridge/UCSD GitHub Slides theme
   ═══════════════════════════════════════════════════════════════ */

:root {
  --itp-gold: #fbbf24;
  --itp-gold-dark: #b7791f;
  --route-a: #3b6bc4;
  --route-a-bg: #e6edfa;
  --route-b: #3f8f3f;
  --route-b-bg: #e0f2e0;
  --route-c: #cf8530;
  --route-c-bg: #fce6cf;
}

/* Ensure every slide is a stable 16:10 canvas under disableLayout. */
.reveal .slides section {
  overflow: hidden;
}

.reveal h3 {
  font-size: 0.95em;
  font-weight: 600;
  margin: 0 0 0.35em 0;
}

.reveal small {
  font-size: 0.72em;
  line-height: 1.35;
}

.title-slide .top-area {
  display: flex;
  align-items: flex-end;
  justify-content: space-between;
  gap: 1em;
}

.itp-chip {
  border: 1px solid var(--itp-gold-dark);
  background: #fff8dc;
  color: #713f12;
  font-size: 0.58em;
  font-weight: 700;
  letter-spacing: 0.04em;
  text-transform: uppercase;
  border-radius: 999px;
  padding: 0.45em 0.8em;
  margin-bottom: 0.25em;
  white-space: nowrap;
}

.title-slide .green-band {
  border-top: 7px solid var(--itp-gold);
}

.compact { font-size: 0.76em !important; line-height: 1.4 !important; }
.tight-list { line-height: 1.45 !important; }
.tight-list li { margin-bottom: 0.12em !important; }
.tight-list.small, ul.small, ol.small { font-size: 0.72em; }
.compact-cols { gap: 1.4em; }

.source-foot {
  position: absolute;
  left: 3vw;
  right: 3vw;
  bottom: 1.3vh;
  color: #64748b;
  font-size: 0.48em;
  line-height: 1.25;
}

.scope-note {
  margin-top: 0.45em;
  border-left: 4px solid var(--itp-gold-dark);
  background: #fffdf2;
  padding: 0.45em 0.7em;
  color: #475569;
  font-size: 0.66em;
  line-height: 1.4;
}

/* Exchangeability visual */
.exchange-grid {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 1em;
  margin-top: 0.2em;
}
.exchange-panel {
  border: 1px solid #cbd5e1;
  border-radius: 10px;
  background: #fbfdff;
  padding: 0.55em 0.7em 0.4em;
}
.exchange-panel h3 { text-align: center; }
.exchange-svg { width: 100%; height: 31vh; display: block; }

/* Theorem slide */
.theorem-card { margin-top: 0.35em; }
.theorem-card pre code { font-size: 0.84em; line-height: 1.35; padding: 0.55em 0.75em; }
.direction-row {
  display: grid;
  grid-template-columns: 0.9fr 1.35fr;
  gap: 0.7em;
  margin-top: 0.45em;
}
.direction {
  border: 1px solid #cbd5e1;
  border-radius: 8px;
  padding: 0.45em 0.6em 0.45em 2.8em;
  position: relative;
  display: flex;
  flex-direction: column;
  gap: 0.1em;
  font-size: 0.67em;
  line-height: 1.35;
}
.direction.easy { background: #f8fafc; }
.direction.hard { background: #f0fdf4; border-color: #86efac; }
.direction .dir-label {
  position: absolute;
  left: 0.55em;
  top: 50%;
  transform: translateY(-50%);
  font-size: 0.8em;
  font-weight: 700;
  text-transform: uppercase;
  letter-spacing: 0.06em;
  color: #64748b;
}
.direction.hard .dir-label { color: var(--lean-accent); }
.direction span:last-child { color: #64748b; }

/* Scale/evolution */
.evolution-row {
  display: grid;
  grid-template-columns: 1fr 0.55fr 1.12fr 0.55fr 1.12fr;
  gap: 0.35em;
  align-items: stretch;
  margin: 0.55em 0 0.65em;
}
.evo-card {
  border: 1.5px solid #cbd5e1;
  border-radius: 10px;
  padding: 0.65em 0.45em;
  text-align: center;
  background: #f8fafc;
  display: flex;
  flex-direction: column;
  justify-content: center;
}
.evo-card.artifact { background: #fff8dc; border-color: #d7a921; }
.evo-card.refactor { background: #f0fdf4; border-color: #4caf65; }
.evo-num { font-size: 1.6em; font-weight: 700; color: var(--lean-accent); line-height: 1; }
.evo-card.artifact .evo-num { color: #92400e; }
.evo-title { font-size: 0.72em; font-weight: 700; margin-top: 0.35em; }
.evo-sub { font-size: 0.5em; color: #64748b; line-height: 1.3; margin-top: 0.2em; }
.evo-arrow {
  display: flex;
  flex-direction: column;
  align-items: center;
  justify-content: center;
  color: #475569;
  font-size: 1.3em;
  line-height: 1;
}
.evo-arrow span { font-size: 0.36em; line-height: 1.2; text-align: center; margin-top: 0.45em; color: #64748b; }

/* Contribution map */
.figure-wrap { display: flex; justify-content: center; align-items: center; height: 60vh; }
.contribution-map { max-width: 100%; max-height: 59vh; width: auto; }

/* Common-ending interface */
.equation-card {
  border: 1px solid #cbd5e1;
  background: #f8fafc;
  border-radius: 10px;
  padding: 0.25em 0.7em;
  margin: 0.3em 0 0.55em;
  text-align: center;
  font-size: 0.82em;
}
.equation-card .katex-display { margin: 0.25em 0; }
.small-math { font-size: 0.7em; }
.interface-flow {
  display: grid;
  grid-template-columns: 1.25fr auto 1fr auto 1.2fr auto 0.85fr;
  gap: 0.35em;
  align-items: stretch;
  margin: 0.35em 0 0.55em;
}
.if-box {
  border: 1px solid #cbd5e1;
  background: #fff;
  border-radius: 8px;
  padding: 0.45em;
  min-height: 6.8em;
  display: flex;
  flex-direction: column;
  justify-content: center;
  text-align: center;
  font-size: 0.58em;
  line-height: 1.3;
}
.if-box strong { font-size: 1.15em; margin: 0.12em 0; }
.if-box span { color: #64748b; }
.if-box .if-kicker { text-transform: uppercase; letter-spacing: 0.05em; font-size: 0.8em; color: var(--lean-accent); font-weight: 700; }
.if-box.route-source { border-color: #64748b; background: #f8fafc; }
.if-box.result { background: #fdf6c8; border-color: #b59f2e; }
.if-arrow { display: flex; align-items: center; justify-content: center; color: #64748b; font-size: 0.9em; }

/* Route slides */
.route-heading { display: flex; align-items: center; gap: 0.5em; }
.route-heading h2 { margin-bottom: 0.35em; }
.route-pill {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  width: 1.6em;
  height: 1.6em;
  border-radius: 50%;
  font-weight: 700;
  color: #fff;
  font-size: 0.82em;
  flex: 0 0 auto;
}
.route-pill.routeA { background: var(--route-a); }
.route-pill.routeB { background: var(--route-b); }
.route-pill.routeC { background: var(--route-c); }
.route-layout { display: grid; grid-template-columns: 1.65fr 0.82fr; gap: 0.8em; margin-top: 0.2em; }
.route-steps { border-left: 6px solid #64748b; display: flex; flex-direction: column; gap: 0.28em; padding-left: 0.45em; }
.routeA-border { border-color: var(--route-a); }
.routeB-border { border-color: var(--route-b); }
.routeC-border { border-color: var(--route-c); }
.route-step {
  display: grid;
  grid-template-columns: 2em 1fr;
  gap: 0.35em;
  border: 1px solid #e2e8f0;
  border-radius: 7px;
  background: #fff;
  padding: 0.42em 0.5em;
  font-size: 0.66em;
  line-height: 1.35;
  min-height: 5.1em;
  align-items: center;
}
.route-step .step-num {
  width: 1.65em;
  height: 1.65em;
  border-radius: 50%;
  background: #f1f5f9;
  display: flex;
  align-items: center;
  justify-content: center;
  font-weight: 700;
  color: #475569;
}
.route-step span { color: #475569; }
.route-aside {
  border-radius: 10px;
  padding: 0.65em;
  font-size: 0.7em;
  line-height: 1.35;
  border: 1.5px solid #cbd5e1;
}
.routeA-bg { background: var(--route-a-bg); border-color: var(--route-a); }
.routeB-bg { background: var(--route-b-bg); border-color: var(--route-b); }
.routeC-bg { background: var(--route-c-bg); border-color: var(--route-c); }
.route-aside p { font-size: 0.9em; }
.route-stat {
  margin-top: 0.65em;
  font-size: 1.35em;
  font-weight: 700;
  line-height: 1;
  color: var(--text-dark);
}
.route-stat span { display: block; font-size: 0.42em; font-weight: 500; color: #64748b; line-height: 1.3; margin-top: 0.25em; }

/* Tables */
.compare-table, .stats-table, .conflict-table {
  width: 100%;
  border-collapse: collapse;
  font-size: 0.63em;
  line-height: 1.28;
  margin-top: 0.35em;
}
.compare-table th, .stats-table th, .conflict-table th {
  background: var(--lean-band);
  color: white;
  font-weight: 600;
  text-align: left;
  padding: 0.42em 0.5em;
  border-right: 1px solid rgba(255,255,255,0.22);
}
.compare-table td, .stats-table td, .conflict-table td {
  padding: 0.42em 0.5em;
  border-bottom: 1px solid #dbe3eb;
  vertical-align: top;
}
.compare-table tbody tr:nth-child(even), .stats-table tbody tr:nth-child(even), .conflict-table tbody tr:nth-child(even) { background: #f8fafc; }
.compare-table tr.ra td:first-child { border-left: 5px solid var(--route-a); }
.compare-table tr.rb td:first-child { border-left: 5px solid var(--route-b); }
.compare-table tr.rc td:first-child { border-left: 5px solid var(--route-c); }
.stats-table .group td { background: #eef2f7; font-style: italic; font-weight: 600; color: #475569; }
.stats-table .total td { background: #fff8dc; font-weight: 700; border-top: 2px solid #b59f2e; }

/* AI responsibility */
.responsibility-grid { display: grid; grid-template-columns: 1fr 1fr 1fr; gap: 0.7em; margin: 0.55em 0; }
.resp-card { border: 1.5px solid #cbd5e1; border-radius: 10px; padding: 0.65em; min-height: 12.2em; }
.resp-card.model { background: #f8fafc; }
.resp-card.lean { background: #f0fdf4; border-color: #86efac; }
.resp-card.human { background: #fff8dc; border-color: #d7a921; }
.resp-card h3 { text-align: center; }

/* Review timeline */
.review-timeline {
  display: grid;
  grid-template-columns: 1fr auto 1fr auto 1fr auto 1fr;
  gap: 0.3em;
  align-items: stretch;
  margin: 0.6em 0;
}
.rt-node {
  border: 1.5px solid #cbd5e1;
  border-radius: 10px;
  padding: 0.7em 0.55em;
  min-height: 8.4em;
  text-align: center;
  display: flex;
  flex-direction: column;
  justify-content: center;
  font-size: 0.62em;
  line-height: 1.3;
}
.rt-node strong { font-size: 1.55em; }
.rt-node small { color: #64748b; margin-top: 0.3em; }
.rt-date { text-transform: uppercase; font-size: 0.72em; letter-spacing: 0.06em; font-weight: 700; color: #64748b; margin-bottom: 0.35em; }
.rt-node.submitted { background: #fff8dc; border-color: #d7a921; }
.rt-node.diagnosis { background: #fff7ed; border-color: #fb923c; }
.rt-node.actions { background: #f8fafc; }
.rt-node.result { background: #f0fdf4; border-color: #4caf65; }
.rt-arrow { display: flex; align-items: center; justify-content: center; color: #64748b; }
.four-gains { display: grid; grid-template-columns: repeat(4,1fr); gap: 0.5em; margin: 0.45em 0; }
.four-gains div { border-top: 4px solid var(--lean-accent); background: #f8fafc; border-radius: 5px; padding: 0.45em; font-size: 0.62em; text-align: center; line-height: 1.3; }
.four-gains span { display: block; color: #64748b; margin-top: 0.2em; }

/* TauCeti main slides */
.tau-timeline {
  display: grid;
  grid-template-columns: 1fr auto 1fr auto 1fr auto 1.15fr;
  gap: 0.25em;
  align-items: stretch;
  margin: 0.5em 0;
}
.tau-step {
  border: 1.5px solid #cbd5e1;
  background: #f8fafc;
  border-radius: 9px;
  padding: 0.55em;
  min-height: 9.2em;
  font-size: 0.58em;
  line-height: 1.32;
  display: flex;
  flex-direction: column;
  justify-content: center;
}
.tau-step strong { margin: 0.25em 0; }
.tau-step small { color: #64748b; }
.tau-step.summit { background: #f0fdf4; border-color: #4caf65; }
.tau-id { font-size: 0.8em; font-weight: 700; color: var(--lean-accent); letter-spacing: 0.04em; text-transform: uppercase; }
.tau-arrow { display: flex; align-items: center; color: #64748b; }
.tau-stats { display: grid; grid-template-columns: repeat(4,1fr); gap: 0.55em; margin: 0.5em 0; }
.tau-stats div { background: var(--lean-band); color: white; border-radius: 8px; text-align: center; padding: 0.45em; }
.tau-stats strong { display: block; color: white; font-size: 1.35em; }
.tau-stats span { font-size: 0.48em; color: #bbf7d0; }
.theorem-vs-gains { grid-template-columns: 1.2fr 0.9fr; gap: 0.8em; }
.tau-code pre code { font-size: 0.74em; line-height: 1.35; }
.gain-cards { display: grid; grid-template-columns: 1fr 1fr; gap: 0.45em; }
.gain { border: 1px solid #cbd5e1; border-radius: 8px; padding: 0.5em; background: #f8fafc; font-size: 0.61em; line-height: 1.3; }
.gain strong { display: block; margin-bottom: 0.2em; color: var(--lean-accent); }
.gain span { color: #475569; }

/* Closing */
.closing-grid { display: grid; grid-template-columns: repeat(3,1fr); gap: 0.7em; margin: 0.4em 0 0.9em; }
.closing-grid > div { border-top: 5px solid var(--lean-accent); background: #f8fafc; border-radius: 6px; padding: 0.6em; min-height: 7.1em; position: relative; }
.closing-num { position: absolute; right: 0.35em; top: 0.15em; font-size: 2.3em; font-weight: 700; color: #dbe7de; }
.closing-grid strong { font-size: 0.75em; }
.closing-grid p { font-size: 0.63em; line-height: 1.35; position: relative; }
.closing-links { font-size: 0.75em; }
.closing-links ul { font-size: 0.8em !important; line-height: 1.6 !important; }

/* Appendix */
.appendix { background: white; }
.appendix h2::after {
  content: 'APPENDIX';
  float: right;
  margin-top: 0.3em;
  font-size: 0.36em;
  letter-spacing: 0.12em;
  color: #94a3b8;
  font-weight: 700;
}
.appendix.dense { font-size: 0.95em; }
.appendix-break p { text-align: center; }
.import-graph { max-height: 78vh !important; }
.import-slide h2 { margin-bottom: 0.2em; }

.common-detail-grid { display: grid; grid-template-columns: 1fr 1fr; gap: 0.6em; margin: 0.6em 0; }
.common-detail { border: 1px solid #cbd5e1; border-radius: 9px; padding: 0.6em; background: #f8fafc; min-height: 7.5em; }
.common-detail > span { font-size: 0.55em; text-transform: uppercase; letter-spacing: 0.06em; font-weight: 700; color: var(--lean-accent); }
.common-detail strong { display: block; font-size: 0.72em; margin: 0.2em 0; }
.common-detail p { font-size: 0.62em; line-height: 1.35; }
.common-detail.result { background: #fdf6c8; border-color: #b59f2e; }
.compact-ladder .rung { font-size: 0.64em; padding: 0.4em 0.55em 0.4em 3em; }

.module-grid { display: grid; grid-template-columns: 1fr 1fr; gap: 0.65em; margin: 0.6em 0; }
.module-grid div { border-left: 5px solid var(--route-a); background: #f8fafc; padding: 0.6em; border-radius: 5px; font-size: 0.68em; line-height: 1.35; min-height: 7em; }
.module-grid strong { display: block; }
.module-grid span { color: #475569; }

.bridge-chain { display: grid; grid-template-columns: 1fr auto 1fr auto 1.05fr auto 1.05fr auto 0.9fr; gap: 0.25em; align-items: center; margin: 0.8em 0; }
.bridge-chain div { border: 1px solid #cbd5e1; border-radius: 7px; padding: 0.55em 0.35em; text-align: center; font-size: 0.58em; line-height: 1.25; background: #f8fafc; min-height: 7.5em; display: flex; flex-direction: column; justify-content: center; }
.bridge-chain span { display: block; color: #64748b; margin-top: 0.2em; }
.bridge-chain b { color: #64748b; }

.layer-list { display: grid; grid-template-columns: 1fr 1fr; gap: 0.35em 0.55em; margin-top: 0.5em; }
.layer-list > div { display: grid; grid-template-columns: 2.7em 1fr; column-gap: 0.45em; border: 1px solid #cbd5e1; border-left-width: 6px; border-radius: 6px; padding: 0.4em 0.55em; font-size: 0.6em; line-height: 1.3; }
.layer-list > div > span { grid-row: 1 / span 2; font-size: 1.25em; font-weight: 700; align-self: center; text-align: center; }
.layer-list small { grid-column: 2; color: #64748b; }
.layer-list .done { border-left-color: #22c55e; background: #f0fdf4; }
.layer-list .partial { border-left-color: #eab308; background: #fefce8; }
.layer-list .open { border-left-color: #ef4444; background: #fff7f7; }

.tau-table { font-size: 0.7em; }
.pr-cascade { display: flex; flex-direction: column; gap: 0.28em; margin-top: 0.45em; }
.pr-row { display: grid; grid-template-columns: 5.5em 1.2fr 1.6fr; gap: 0.5em; align-items: center; border-left: 6px solid #94a3b8; background: #f8fafc; border-radius: 5px; padding: 0.42em 0.55em; font-size: 0.62em; line-height: 1.25; }
.pr-row > span { font-weight: 700; color: var(--lean-accent); }
.pr-row small { color: #64748b; }
.pr-row.summit { border-left-color: #22c55e; background: #f0fdf4; }
.pr-row.facade { border-left-color: var(--itp-gold-dark); background: #fff8dc; }

.before-after { display: grid; grid-template-columns: 1fr auto 1fr; gap: 0.7em; align-items: center; margin-top: 0.5em; }
.ba-col { border: 1px solid #cbd5e1; border-radius: 10px; padding: 0.65em; min-height: 17em; }
.ba-col.before { background: #fff7ed; }
.ba-col.after { background: #f0fdf4; }
.ba-col h3 { text-align: center; }
.ba-box { border: 1px solid #cbd5e1; background: white; border-radius: 6px; padding: 0.5em; margin: 0.35em 0; font-size: 0.62em; line-height: 1.3; }
.ba-box.good { border-color: #86efac; }
.ba-box.gold { border-color: #d7a921; background: #fffdf2; }
.ba-arrow { font-size: 1.5em; color: #64748b; }

.metric-compare { display: grid; grid-template-columns: 1fr auto 1fr; gap: 0.75em; align-items: center; margin: 0.65em 0; }
.metric { border: 1.5px solid #cbd5e1; border-radius: 10px; padding: 0.65em; text-align: center; min-height: 10em; display: flex; flex-direction: column; justify-content: center; font-size: 0.65em; }
.metric.old { background: #fff7ed; border-color: #fb923c; }
.metric.new { background: #f0fdf4; border-color: #4caf65; }
.metric-num { font-size: 1.8em; color: var(--lean-accent); font-weight: 700; margin: 0.25em 0; }
.metric small { color: #64748b; }
.metric-arrow { font-size: 1.5em; color: #64748b; }
.mini-code pre code { font-size: 0.78em; line-height: 1.35; padding: 0.5em 0.7em; }
.tower-code { margin-top: 0.55em; }

.api-table { font-size: 0.66em; }
.hyp-grid { display: grid; grid-template-columns: 1fr 1fr; gap: 0.6em; margin: 0.65em 0; }
.hyp-grid > div { border: 1px solid #cbd5e1; border-radius: 8px; background: #f8fafc; padding: 0.65em; display: grid; grid-template-columns: 1fr auto 1fr; align-items: center; gap: 0.35em; text-align: center; font-size: 0.61em; line-height: 1.25; min-height: 7em; }
.hyp-grid small { grid-column: 1 / span 3; color: #64748b; margin-top: 0.25em; }
.hyp-grid > div > span { color: var(--lean-accent); font-weight: 700; }

.interface-table { display: flex; flex-direction: column; gap: 0.38em; margin-top: 0.5em; }
.interface-table > div { display: grid; grid-template-columns: 1.15fr 1.6fr 0.45fr; gap: 0.55em; align-items: center; border: 1px solid #cbd5e1; border-left: 5px solid var(--lean-accent); background: #f8fafc; border-radius: 6px; padding: 0.48em 0.6em; font-size: 0.62em; line-height: 1.25; }
.interface-table span { color: #475569; }
.interface-table em { text-align: right; color: var(--lean-accent); font-weight: 700; font-style: normal; }

.prune-grid { display: grid; grid-template-columns: repeat(3,1fr); gap: 0.55em; margin-top: 0.55em; }
.prune-grid > div { border: 1px solid #cbd5e1; border-radius: 8px; background: #f8fafc; padding: 0.55em; min-height: 8.8em; font-size: 0.59em; line-height: 1.3; display: flex; flex-direction: column; }
.prune-grid strong { color: var(--lean-accent); }
.prune-grid span { color: #475569; margin: 0.25em 0; }
.prune-grid small { margin-top: auto; font-weight: 700; color: #94a3b8; }

.rubric-cloud { display: flex; flex-wrap: wrap; justify-content: center; gap: 0.4em; margin: 0.55em 0; }
.rubric-cloud span { border: 1px solid #86a78f; background: #f0fdf4; color: #14532d; border-radius: 999px; padding: 0.3em 0.65em; font-size: 0.58em; font-weight: 600; }
.review-numbers { justify-content: center; gap: 1.5em; }
.review-numbers .num { min-width: 4.2em; }
.conflict-table { font-size: 0.55em; line-height: 1.2; }
.conflict-table td { padding: 0.34em 0.45em; }
.conflict-slide h2 { margin-bottom: 0.3em; }

.naming-examples { display: flex; flex-direction: column; gap: 0.45em; margin: 0.65em 0; }
.naming-examples > div { display: grid; grid-template-columns: 1.15fr 0.75fr auto 1.4fr 0.85fr; gap: 0.4em; align-items: center; border: 1px solid #cbd5e1; border-radius: 7px; padding: 0.55em; background: #f8fafc; font-size: 0.6em; line-height: 1.25; }
.naming-examples span { color: #64748b; }
.naming-examples b { color: var(--lean-accent); }

.decision-tree { margin: 0.8em 0; }
.dt-root { width: 46%; margin: 0 auto 0.7em; background: var(--lean-band); color: white; text-align: center; padding: 0.55em; border-radius: 8px; font-size: 0.68em; font-weight: 600; }
.dt-branches { display: grid; grid-template-columns: repeat(3,1fr); gap: 0.7em; }
.dt-branches > div { border: 1px solid #cbd5e1; border-top: 5px solid var(--lean-accent); background: #f8fafc; border-radius: 7px; padding: 0.6em; text-align: center; min-height: 9em; font-size: 0.62em; line-height: 1.3; }
.dt-branches span, .dt-branches small { display: block; color: #64748b; }
.dt-branches strong { display: block; margin: 0.35em 0; }

.case-grid { display: grid; grid-template-columns: 1fr 1fr; gap: 0.75em; margin-top: 0.55em; }
.case-card { border: 1px solid #cbd5e1; border-radius: 9px; background: #f8fafc; padding: 0.65em; min-height: 15em; }
.case-card h3 { color: var(--lean-accent); }
.case-card p { font-size: 0.7em; line-height: 1.4; }
.case-resolution { border-left: 5px solid #22c55e; background: #f0fdf4; padding: 0.55em; font-size: 0.63em; line-height: 1.35; }

.expose-flow { display: grid; grid-template-columns: 1fr auto 1fr auto 1.1fr auto 1fr; gap: 0.35em; align-items: stretch; margin: 0.75em 0; }
.expose-flow > div { border: 1px solid #cbd5e1; border-radius: 8px; background: #f8fafc; padding: 0.55em; min-height: 10em; font-size: 0.58em; line-height: 1.3; display: flex; flex-direction: column; justify-content: center; }
.expose-flow > b { display: flex; align-items: center; color: #64748b; }
.expose-flow span { color: #475569; margin-top: 0.3em; }
.expose-flow .failure { background: #fff7f7; border-color: #ef4444; }
.expose-flow .success { background: #f0fdf4; border-color: #22c55e; }
.playbook { font-size: 0.72em !important; line-height: 1.45 !important; }
.playbook li { background: #f8fafc; border-left: 5px solid var(--lean-accent); margin-bottom: 0.38em !important; padding: 0.42em 0.55em; border-radius: 0 6px 6px 0; }

.remaining-grid { display: grid; grid-template-columns: 1fr 1fr; gap: 0.8em; margin: 0.55em 0; }
.remaining-grid > div { border: 1.5px solid #cbd5e1; border-radius: 10px; padding: 0.65em; min-height: 16em; }
.remaining-grid .landed { background: #f0fdf4; border-color: #86efac; }
.remaining-grid .remaining { background: #fff8dc; border-color: #d7a921; }
.remaining-grid > div > strong { display: block; text-align: center; margin-bottom: 0.4em; }
.facade-code pre code { font-size: 0.68em; line-height: 1.4; }
.source-links ul { font-size: 0.8em !important; }

/* Better code-card filename sizing for long TauCeti paths. */
.code-card .fname { font-size: 0.58em; }

/* Print/viewport fallback */
@media (max-aspect-ratio: 4/3) {
  .reveal { font-size: 3.0vh; }
}


/* ── Offline-safe title and mathematics ── */
.reveal .slides section.title-slide .green-band {
  background-color: #14532d !important;
  background-image: none !important;
}

.math-display {
  font-family: Georgia, "Times New Roman", serif;
  font-size: 1.02em;
  line-height: 1.45;
  letter-spacing: 0.005em;
  text-align: center;
  color: #111827;
}
.math-display sub,
.math-display sup,
.math-inline sub,
.math-inline sup {
  font-size: 0.64em;
  line-height: 0;
}
.math-inline {
  font-family: Georgia, "Times New Roman", serif;
  white-space: nowrap;
}
.math-symbol { font-style: normal; }
.math-equals { display: inline-block; padding: 0 0.35em; }
.math-arrow { display: inline-block; padding: 0 0.28em; }
.math-ae {
  display: inline-block;
  margin-left: 0.55em;
  font-family: var(--font-main);
  font-size: 0.62em;
  font-style: normal;
  color: #475569;
  white-space: nowrap;
}
.frac {
  display: inline-flex;
  flex-direction: column;
  vertical-align: middle;
  line-height: 0.82;
  margin-right: 0.08em;
  transform: translateY(-0.04em);
}
.frac > span:first-child {
  border-bottom: 1px solid currentColor;
  padding: 0 0.12em 0.08em;
}
.frac > span:last-child { padding-top: 0.08em; }

/* Headerless Lean 2026 workshop draft. The attached deck's recurring Lean logo
   header is intentionally not reused. */
.reveal .slides section.workshop-slide {
  padding: 4.6vh 4.7vw 3.5vh !important;
  overflow: hidden;
}
.reveal .slides section.workshop-slide::before,
.reveal .slides section.appendix::before {
  content: '';
  position: absolute;
  top: 0;
  left: 0;
  right: 0;
  height: 0.75vh;
  background: var(--lean-accent);
}
.reveal .slides section.workshop-slide h2 { margin-top: 0; }
.lean26-title .top-area {
  min-height: 24vh;
  align-items: flex-end;
  justify-content: flex-end;
  padding: 3.5vh 5vw 2.6vh;
  background: #ffffff;
}
.lean26-title .green-band { border-top: none; padding: 6vh 6vw 4.5vh; }
.lean26-title h1 { font-size: 1.72em; line-height: 1.14; }
.lean26-title .title-author { margin-top: 1.35em !important; }
.event-chip {
  border: 1px solid #86a78f;
  background: #f0fdf4;
  color: #14532d;
  font-size: 0.67em;
  font-weight: 700;
  letter-spacing: 0.055em;
  text-transform: uppercase;
  border-radius: 999px;
  padding: 0.45em 0.9em;
}
.roomy { margin-top: 0.45em; }
.perspective-grid, .lore-grid, .metric-grid {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 0.65em;
  margin: 0.55em 0;
}
.perspective-card, .lore-grid > div, .metric-grid > div {
  border: 1px solid #cbd5e1;
  border-left: 5px solid var(--lean-accent);
  border-radius: 7px;
  background: #f8fafc;
  padding: 0.58em 0.7em;
  min-height: 6.1em;
  font-size: 0.7em;
  line-height: 1.32;
}
.perspective-card strong, .lore-grid strong, .metric-grid strong { display: block; }
.perspective-card p { font-size: 0.92em; line-height: 1.35; color: #475569; }
.pc-kicker, .metric-grid span {
  display: block;
  color: var(--lean-accent);
  font-size: 0.82em;
  text-transform: uppercase;
  letter-spacing: 0.05em;
  font-weight: 700;
  margin-bottom: 0.16em;
}
.lore-grid > div { min-height: 6.35em; }
/* Three phases read left to right as an arc; same card look as .lore-grid. */
.arc-grid { display: grid; grid-template-columns: repeat(3, 1fr); gap: 0.8em; margin: 1.8em 0 1.4em; }
.arc-grid > div {
  border: 1px solid #cbd5e1;
  border-left: 5px solid var(--lean-accent);
  border-radius: 7px;
  background: #f8fafc;
  padding: 1em 1.05em;
  font-size: 0.9em;
  line-height: 1.38;
}
.arc-grid strong { display: block; margin-bottom: 0.35em; }
.arc-grid span.body { display: block; color: #475569; }
.lore-grid span { display: block; color: #475569; margin-top: 0.25em; }
.layer-architecture {
  display: grid;
  grid-template-columns: 1fr auto 1fr auto 1fr;
  gap: 0.45em;
  align-items: stretch;
  margin: 0.8em 0 0.7em;
}
.layer-card {
  position: relative;
  border: 1.5px solid #cbd5e1;
  border-radius: 10px;
  padding: 1.2em 0.75em 0.75em;
  background: #f8fafc;
  min-height: 12.7em;
  font-size: 0.69em;
  line-height: 1.38;
}
.layer-card.l1 { background:#e6edfa; border-color:#3b6bc4; }
.layer-card.l2 { background:#e0f2e0; border-color:#3f8f3f; }
.layer-card.l3 { background:#fce6cf; border-color:#cf8530; }
.layer-card strong { display:block; font-size:1.12em; margin-bottom:0.4em; }
.layer-card p { font-size:0.92em; color:#475569; }
.layer-no {
  position:absolute; top:-0.55em; left:50%; transform:translateX(-50%);
  width:1.8em; height:1.8em; border-radius:50%; background:var(--lean-band); color:#fff;
  display:flex; align-items:center; justify-content:center; font-weight:700;
}
.layer-arrow { display:flex; align-items:center; color:#64748b; font-size:1.35em; }
.workflow-grid, .tool-grid {
  display:grid; grid-template-columns:repeat(3,1fr); gap:0.38em 0.5em; margin:0.48em 0;
}
.workflow-grid > div, .tool-grid > div {
  border:1px solid #cbd5e1; border-radius:6px; background:#f8fafc;
  padding:0.45em 0.55em; min-height:4.25em; font-size:0.63em; line-height:1.25;
}
.workflow-grid code, .tool-grid code { display:block; width:fit-content; margin-bottom:0.22em; color:#14532d; font-weight:700; }
.workflow-grid span, .tool-grid span { color:#475569; }
.session-strip {
  display:flex; align-items:center; justify-content:center; gap:0.45em; flex-wrap:wrap;
  background:#f0fdf4; border:1px solid #86efac; border-radius:8px; padding:0.42em;
  font-size:0.65em; margin-top:0.55em;
}
.session-strip b { color:var(--lean-accent); }
.cycle-row .flow-box { min-height:6.4em; }
.branch-grid { display:grid; grid-template-columns:1fr 1fr; gap:0.7em; margin:0.65em 0; }
.branch-card { border-radius:8px; padding:0.6em 0.75em; font-size:0.68em; }
.branch-card strong, .branch-card span { display:block; }
.branch-card span { color:#475569; margin-top:0.15em; }
.branch-card.continue { background:#f0fdf4; border:1px solid #86efac; }
.branch-card.stop { background:#fff7ed; border:1px solid #fdba74; }
.failure-panel { background:#fff7ed !important; border-color:#fdba74 !important; }
.mini-terminal { width:100% !important; background:#1a1b20 !important; border:none !important; }
.mini-terminal code { color:#d4d7dc; background:#1a1b20 !important; }
.fence-layout { display:grid; grid-template-columns:1.25fr 0.9fr; gap:0.85em; align-items:stretch; margin-top:0.6em; }
.fence-code { margin:0; }
.fence-routes { display:flex; flex-direction:column; justify-content:center; gap:0.65em; }
.fence-routes > div { border-radius:8px; padding:0.7em; font-size:0.7em; line-height:1.35; }
.fence-routes strong, .fence-routes span { display:block; }
.route-ok { background:#f0fdf4; border:1px solid #86efac; }
.route-review { background:#fff8dc; border:1px solid #d7a921; }
.search-demo { display:grid; grid-template-columns:1.18fr 0.82fr; gap:0.9em; align-items:stretch; margin-top:0.55em; }
.search-goal { margin:0; }
.search-steps { display:flex; flex-direction:column; gap:0.42em; justify-content:center; }
.search-steps > div { display:grid; grid-template-columns:2.1em 4.2em 1fr; gap:0.38em; align-items:center; border:1px solid #cbd5e1; border-radius:7px; padding:0.52em; background:#f8fafc; font-size:0.64em; }
.search-steps > div > span { width:1.8em; height:1.8em; border-radius:50%; display:flex; align-items:center; justify-content:center; background:var(--lean-band); color:white; font-weight:700; }
.search-steps small { color:#475569; }
.search-table { width:100%; border-collapse:collapse; font-size:0.64em; line-height:1.25; margin-top:0.45em; }
.search-table th { background:var(--lean-band); color:white; padding:0.45em 0.55em; text-align:left; }
.search-table td { padding:0.44em 0.55em; border-bottom:1px solid #dbe3eb; vertical-align:top; }
.search-table tr:nth-child(even) td { background:#f8fafc; }
.stress-grid { display:grid; grid-template-columns:1fr 1fr; gap:0.48em; margin:0.55em 0; }
.stress-grid > div { border:1px solid #cbd5e1; border-top:4px solid var(--lean-accent); border-radius:7px; background:#f8fafc; padding:0.55em 0.65em; min-height:5.8em; font-size:0.65em; line-height:1.32; }
.stress-grid strong, .stress-grid span { display:block; }
.stress-grid span { color:#475569; margin-top:0.2em; }
.maturity-flow { display:grid; grid-template-columns:repeat(5,1fr); gap:0.42em; margin:0.85em 0 0.7em; }
.maturity-flow > div { border:1px solid #cbd5e1; border-top:5px solid var(--lean-accent); border-radius:7px; background:#f8fafc; padding:0.6em 0.45em; min-height:11.5em; font-size:0.59em; line-height:1.28; text-align:center; }
.maturity-flow strong, .maturity-flow small { display:block; }
.maturity-flow small { color:#64748b; margin-top:0.25em; }
.mf-trigger { display:block; color:var(--lean-accent); text-transform:uppercase; letter-spacing:0.045em; font-weight:700; font-size:0.8em; margin-bottom:0.5em; }
.learn-layout { display:grid; grid-template-columns:1.25fr 0.75fr; gap:0.9em; margin-top:0.55em; }
.learn-transcript { background:#f8fafc; border:1px solid #cbd5e1; border-radius:8px; padding:0.55em 0.75em; }
.learn-transcript p { font-size:0.68em; line-height:1.42; }
.learn-principles { display:flex; flex-direction:column; gap:0.45em; }
.learn-principles > div { border-left:5px solid var(--lean-accent); background:#f0fdf4; border-radius:0 7px 7px 0; padding:0.55em; font-size:0.64em; line-height:1.32; }
.learn-principles strong, .learn-principles span { display:block; }
.learn-principles span { color:#475569; margin-top:0.2em; }
.metric-grid > div { min-height:6.2em; }
.closing-slide .top { padding-top:3.5vh; }
.closing-slide .closing-grid > div { min-height:8.2em; padding-right:2.6em; }
.closing-slide .closing-grid strong { display:block; max-width:84%; }
.closing-slide .closing-links { margin-top:0.25em; }
.compact-table { font-size:0.56em; line-height:1.18; }
.compact-cases { gap:0.6em; }
/* No min-height: the grid already equalizes each row, so a floor only bought
   dead space under the text. Bigger type, tighter box. */
.compact-cases .case-card { min-height:0; padding:0.85em 0.9em; display:flex; flex-direction:column; }
.compact-cases .case-card h3 { font-size:1.02em; margin:0 0 0.45em; }
.compact-cases .case-card p { font-size:0.94em; line-height:1.38; margin:0 0 0.7em; }
.compact-cases .case-resolution { font-size:0.86em; line-height:1.35; padding:0.65em 0.7em; margin-top:auto; }
.appendix-break { padding:0 !important; }
@media (max-aspect-ratio: 4/3) {
  .workflow-grid, .tool-grid { grid-template-columns:repeat(2,1fr); }
  .maturity-flow { grid-template-columns:repeat(3,1fr); }
}

/* ── Lean 2026 design pass ──────────────────────────────────────────
   Voice: the Source superfamily complete — Serif 4 display over Sans 3
   body and Code Pro captures/goals. Greens stay the anchor. Fonts are
   self-hosted in lib/fonts/ so the deck renders offline. */

.reveal h1,
.reveal .slides section h2 {
  font-family: 'Source Serif 4', Georgia, 'Times New Roman', serif;
  font-weight: 600;
  letter-spacing: 0;
}
.reveal .slides section.workshop-slide h2 { margin-bottom: 0.42em; }

/* Projector legibility: regular body weight, not light */
.reveal { font-weight: 400; }

/* Reveal chrome in the deck's green, not stock blue; count kept off-screen */
.reveal .progress { color: var(--lean-accent); }
.reveal .controls { color: var(--lean-accent); }
.reveal .slide-number {
  background-color: transparent;
  color: #94a3b8;
  font-size: 14px;
}

/* Merged architecture slide intro line */
.wi-intro { font-size: 0.82em; color: var(--text-muted); margin: 0.1em 0 0.55em; }

/* Closing: one large repository URL */
.closing-repo {
  margin-top: 0.55em;
  font-family: 'Source Code Pro', monospace;
  font-size: 1.06em;
  font-weight: 600;
}
.closing-repo a { color: var(--lean-accent); text-decoration: none; border-bottom: 3px solid #86efac; }

/* Lean-ification: concrete-example lines in the failure table, axiom note */
.fail-table .fx {
  display: block;
  font-family: 'Source Sans 3', -apple-system, sans-serif;
  font-size: 0.8em;
  color: #64748b;
  margin-top: 0.12em;
}
.fail-table .fx code { font-size: 0.92em; }
.axiom-note {
  font-size: 0.62em;
  color: var(--text-muted);
  margin-top: 0.4em;
}

/* ── Incident-driven rebuild: one dominant object per slide ──────────
   Color semantics: gray = source/context, red = rejected/error,
   green = checked/passing. Token highlights are neutral. */
.lead-line {
  font-size: 0.8em;
  color: var(--text-muted);
  margin: 0.45em 0 0.3em;
  line-height: 1.45;
}
.lead-line.quiet { font-size: 0.68em; }
.lead-line.solo { font-size: 0.95em; color: var(--text-dark); margin-top: 1.2em; }
.traj {
  font-size: 0.92em;
  font-weight: 600;
  margin: 0.9em 0;
  color: var(--text-dark);
}
.traj-sub { font-size: 0.64em; font-weight: 400; color: #64748b; }
.reveal pre.inc-code, .reveal pre.diag, .reveal pre.code-flow, .reveal pre.diff-block {
  width: 100% !important;
  max-width: 100% !important;
  margin: 0.45em 0 !important;
  display: block;
  box-shadow: none;
  border-radius: 7px;
  padding: 0.55em 0.9em;
  font-size: 0.62em;
  line-height: 1.5;
  box-sizing: border-box;
}
.reveal pre.inc-code { background: var(--bg-code) !important; border: 1px solid var(--border-code); }
.reveal pre.inc-code.fixed { border-left: 5px solid var(--lean-accent-light); background: #f0fdf4 !important; }
.reveal pre.diag { background: #fef2f2 !important; border: 1px solid #fecaca; border-left: 5px solid #b91c1c; color: #7f1d1d; }
.reveal pre.code-flow { background: var(--bg-code) !important; border: 1px solid var(--border-code); }
.reveal pre.code-flow.green { border-left: 5px solid var(--lean-accent-light); background: #f0fdf4 !important; }
.reveal pre.code-flow.big { font-size: 0.72em; }
.reveal pre.diff-block { background: var(--bg-code) !important; border: 1px solid var(--border-code); }
.diff-block .diff-add { color: #b91c1c; font-weight: 600; }
.reveal pre.inc-code code, .reveal pre.diag code, .reveal pre.code-flow code, .reveal pre.diff-block code {
  background: none !important;
  padding: 0;
  font-size: 1em;
  white-space: pre;
  display: block;
  overflow-x: auto;
}
.tok { background: #fef9c3; border-radius: 3px; padding: 0 0.15em; font-weight: 600; color: #1f2937; }
.reveal pre.term .tok { color: #1f2937; }
.tok-err { color: #b91c1c; font-weight: 700; }
.provenance {
  font-size: 0.58em;
  color: #64748b;
  margin-top: 0.5em;
}
.provenance code { font-size: 0.95em; }
.code-flow .muted, .inc-code .muted { color: #94a3b8; }
.code-flow .ok { color: var(--lean-accent-light); font-weight: 600; }
.code-flow .err { color: #b91c1c; font-weight: 600; }
.code-flow .kw, .inc-code .kw { color: #1d4ed8; font-weight: 600; }

.lean26-title .thesis-line {
  font-size: 0.62em;
  color: #bbf7d0;
  margin-top: 0.3em;
}

.link-list { list-style: none; margin: 0.9em 0 0; padding: 0; font-size: 0.76em; }
.reveal .link-list li { margin-bottom: 0.85em; line-height: 1.4; }
.link-list a {
  font-family: 'Source Code Pro', monospace;
  font-size: 0.94em;
  color: var(--lean-accent);
  text-decoration: none;
  border-bottom: 1.5px solid #86efac;
}

.reveal ul.link-list.link-group { margin-top: 1.6em; }

/* ── Sectioned deck: dividers, TOC ── */
/* The `extra` class still marks opt-in depth slides for the cut plan; it no
   longer prints a corner chip. */
.sec-divider { text-align: center; }
.sec-divider .sec-no {
  font-family: 'Source Serif 4', Georgia, serif;
  font-size: 2.6em;
  font-weight: 700;
  color: rgba(240, 253, 244, 0.28);
  margin: 22vh 0 0.05em;
  line-height: 1;
}
.reveal .slides section.sec-divider h2 {
  color: #ffffff;
  font-size: 1.65em;
  margin-top: 0;
}
.reveal ol.toc-list {
  list-style: none;
  counter-reset: toc;
  margin: 1.2em 0 0;
  padding: 0;
  font-size: 1.02em;
  font-family: 'Source Serif 4', Georgia, serif;
  font-weight: 600;
}
.reveal .toc-list li {
  counter-increment: toc;
  margin-bottom: 0.75em;
}
.toc-list li::before {
  content: counter(toc);
  display: inline-block;
  width: 1.6em;
  color: var(--lean-accent-light);
  font-size: 0.85em;
}

.reveal ul.plain-list {
  font-size: 0.8em;
  margin: 0.5em 0 0.3em 1.05em;
  line-height: 1.45;
}
.reveal ul.plain-list li { margin-bottom: 0.4em; }
.reveal ul.plain-list.cascade { list-style: none; margin-left: 0.2em; }
.reveal ul.plain-list.cascade li { margin-bottom: 0.25em; }
.reveal ul.plain-list.cascade li:not(:first-child) { margin-left: 1.1em; }
/* Push the link block down to sit just above the green band, instead of
   letting it ride up with the centered title. */
.closing-slide .top { justify-content: flex-start; padding-top: 9vh; }
.closing-slide .links-label {
  margin: auto 0 0.55em;
  font-size: 0.62em;
  font-weight: 700;
  color: #475569;
}
.reveal ul.link-list.final-links { font-size: 0.68em; margin-top: 0; list-style: none; }
.reveal ul.link-list.final-links li { margin-bottom: 0.5em; }
.thanks-band { position: relative; }
.thanks-band .band-link {
  position: absolute;
  right: 5vw;
  bottom: 45%;
  transform: translateY(50%);
  font-family: 'Source Code Pro', monospace;
  font-size: 0.6em;
  color: #bbf7d0;
  text-decoration: none;
}

/* Prove-cycle diagram: six steps across, then the evidence gate. */
.cycle-steps { margin: 1.4em 0 1.1em; gap: 0.35em; }
.cycle-steps .flow-box { font-size: 0.68em; padding: 0.7em 0.6em; }
.cycle-gate { gap: 0.6em; margin: 0 0 1.1em; }
.cycle-gate .flow-box { font-size: 0.72em; padding: 0.6em 0.9em; }
.cycle-gate .flow-col { gap: 0.35em; }
.cycle-gate .flow-box.dark { align-self: center; }

/* Title slide: deck URL, bottom right of the green band */
.title-slide .green-band { position: relative; }
.title-slide .title-slides-link {
  position: absolute;
  right: 4.5em;
  bottom: 2.4em;
  font-family: 'Source Code Pro', monospace;
  font-size: 0.62em;
  color: #bbf7d0;
  text-decoration: none;
  border-bottom: 1px solid rgba(187, 247, 208, 0.5);
}


/* === AITP 2026 additions === */
.proj-grid.three { grid-template-columns: 1fr 1fr 1fr; font-size: 0.72em; gap: 0.55em 1em; }
.proj-grid .proj .pd { display: block; }
.proj-grid .proj.faded { opacity: 0.72; border-left-color: #94a3b8; }

.stair { display: grid; grid-template-columns: repeat(4, 1fr); gap: 0.55em; margin: 0.8em 0 0.6em; align-items: end; }
.stair .step { border: 1px solid #cbd5e1; border-left: 5px solid var(--lean-accent); border-radius: 7px; background: #f8fafc; padding: 0.7em 0.8em; font-size: 0.66em; line-height: 1.36; }
.stair .step strong { display: block; margin-bottom: 0.3em; }
.stair .step .body { display: block; color: #475569; }
.stair .s1 { min-height: 9.5em; } .stair .s2 { min-height: 11em; } .stair .s3 { min-height: 12.5em; } .stair .s4 { min-height: 14em; background: #f0fdf4; }

.arc-grid.four { grid-template-columns: repeat(4, 1fr); gap: 0.6em; margin: 1.2em 0 1em; }
.arc-grid.four > div { font-size: 0.72em; padding: 0.85em 0.9em; }
.arc-grid.four > div.now { background: #f0fdf4; border: 2px solid var(--lean-accent); border-left-width: 6px; font-size: 0.8em; transform: translateY(-0.4em); }

.fence-contrast .panel p { font-size: 0.72em; line-height: 1.4; margin: 0; color: #334155; }
.fence-grid { display: grid; grid-template-columns: 1fr 1fr 1fr; gap: 0.55em; margin: 0.5em 0; }
.fence-grid > div { border: 1px solid #cbd5e1; border-top: 4px solid var(--lean-accent); border-radius: 6px; background: #f8fafc; padding: 0.5em 0.7em; font-size: 0.66em; line-height: 1.35; }
.fence-grid strong { display: block; margin-bottom: 0.15em; }
.fence-grid span { color: #475569; }

.loop-pair { display: grid; grid-template-columns: 1fr auto 1fr; gap: 0.6em; align-items: center; margin: 0.4em 0; }
.loop-pair .loop { border: 1.5px solid #cbd5e1; border-radius: 10px; padding: 0.5em 0.9em; font-size: 0.66em; }
.loop-pair .loop.explore { background: #fff8dc; border-color: #d7a921; }
.loop-pair .loop.certify { background: #f0fdf4; border-color: #4caf65; }
.loop-pair .loop h3 { font-size: 1em; margin: 0 0 0.25em; text-transform: uppercase; letter-spacing: 0.04em; color: var(--text-muted); }
.loop-pair .loop ol { margin: 0; padding-left: 1.4em; line-height: 1.35; }
.loop-link { text-align: center; font-size: 1.6em; color: var(--lean-accent); display: flex; flex-direction: column; align-items: center; }
.loop-link .ll-label { font-size: 0.38em; color: var(--text-muted); line-height: 1.2; }
.tp-list { font-size: 0.68em; margin: 0.3em 0 0; }
.tp-list li { margin-bottom: 0.2em; }

.role-ring { display: grid; grid-template-columns: 1fr 1fr 1fr; grid-template-rows: auto auto auto; gap: 0.5em; margin: 0.5em 0; }
.role-ring .role { border: 1px solid #cbd5e1; border-left: 4px solid var(--lean-accent); border-radius: 7px; background: #f8fafc; padding: 0.45em 0.7em; font-size: 0.64em; line-height: 1.3; }
.role-ring .role strong { display: block; }
.role-ring .role span { color: #475569; }
.role-ring .hub { grid-column: 2; grid-row: 2; border: 2px solid var(--lean-accent); border-radius: 10px; background: var(--lean-band); color: #fff; padding: 0.5em 0.7em; font-size: 0.64em; text-align: center; display: flex; flex-direction: column; justify-content: center; gap: 0.15em; }
.role-ring .hub strong { font-size: 1.1em; }
.role-ring .hub span { color: #86efac; }
.role-ring .hub .hub-human { color: #fde68a; margin-top: 0.3em; }
.role-ring .role:nth-child(1) { grid-column: 1; grid-row: 1; }
.role-ring .role:nth-child(2) { grid-column: 2; grid-row: 1; }
.role-ring .role:nth-child(3) { grid-column: 3; grid-row: 1; }
.role-ring .role:nth-child(5) { grid-column: 1; grid-row: 2; }
.role-ring .role:nth-child(6) { grid-column: 3; grid-row: 2; }
.role-ring .role:nth-child(7) { grid-column: 2; grid-row: 3; }

.learn-split { display: grid; grid-template-columns: 1.05fr 1fr; gap: 0.9em; margin: 0.3em 0; }
.learn-split h3 { font-size: 0.72em; margin: 0 0 0.3em; text-transform: uppercase; letter-spacing: 0.04em; color: var(--text-muted); }
.advisors { display: grid; grid-template-columns: 1fr 1fr 1fr; gap: 0.4em; margin-bottom: 0.4em; }
.advisors > div { border: 1px solid #cbd5e1; border-top: 3px solid var(--lean-accent); border-radius: 6px; background: #f8fafc; padding: 0.35em 0.5em; font-size: 0.58em; line-height: 1.3; }
.advisors strong { display: block; }
.advisors span { color: #475569; }
.plain-list.small, p.small { font-size: 0.62em; line-height: 1.4; margin: 0; }
.plain-list.small li { margin-bottom: 0.25em; }

.verdicts { display: grid; grid-template-columns: 1fr 1fr 1fr; gap: 0.5em; margin: 0.4em 0; }
.verdicts .v { border-radius: 6px; padding: 0.4em 0.7em; font-size: 0.6em; line-height: 1.3; border: 1px solid #cbd5e1; background: #f8fafc; }
.verdicts .v strong { display: block; font-family: 'Source Code Pro', monospace; }
.verdicts .v span { color: #475569; }
.verdicts .v.ok { background: #f0fdf4; border-color: #4caf65; }
.verdicts .v.warn { background: #fff7ed; border-color: #fb923c; }

.evidence-cards { display: grid; grid-template-columns: 1fr 1fr 1fr; gap: 0.6em; margin: 0.7em 0; }
.evidence-cards .ec { border: 1px solid #cbd5e1; border-left: 5px solid var(--lean-accent); border-radius: 7px; background: #f8fafc; padding: 0.7em 0.85em; font-size: 0.66em; line-height: 1.36; min-height: 14em; }
.evidence-cards .ec strong { display: block; margin-bottom: 0.15em; }
.evidence-cards .ec .who { display: block; color: var(--lean-accent); font-size: 0.88em; margin-bottom: 0.4em; }
.evidence-cards .ec .body { display: block; color: #475569; }
.stat-strip { display: flex; gap: 1.2em; align-items: baseline; font-size: 0.62em; color: var(--text-muted); margin-top: 0.8em; border-top: 1px solid #e2e8f0; padding-top: 0.5em; }
.stat-strip span { font-weight: 600; }
.stat-strip .sq { font-weight: 400; font-style: italic; margin-left: auto; }

.measure-grid { display: grid; grid-template-columns: 1fr 1fr; gap: 0.6em; margin: 0.8em 0; }
.measure-grid > div { border: 1px solid #cbd5e1; border-left: 5px solid var(--lean-accent); border-radius: 7px; background: #f8fafc; padding: 0.7em 0.9em; font-size: 0.74em; line-height: 1.38; }
.big-close { font-size: 1.05em; margin-top: 0.9em; }

.sec-divider .sec-sub { font-size: 0.55em; color: #cbd5e1; margin-top: 0.6em; }
.opt-chip { display: inline-block; font-family: 'Source Code Pro', monospace; font-size: 0.55em; font-weight: 700; color: #fff; background: #64748b; border-radius: 4px; padding: 0.1em 0.5em; vertical-align: middle; margin-right: 0.4em; }

.reveal .workshop-slide p.provenance { font-size: 0.55em; line-height: 1.35; margin-top: 0.45em; }
.reveal ul.plain-list.small { font-size: 0.6em; line-height: 1.35; margin: 0 0 0 1.1em; }
.reveal ul.plain-list.small li { margin-bottom: 0.2em; }
.reveal ul.plain-list.tp-list { font-size: 0.66em; }
.learn-split .ls-left pre.term { white-space: pre; overflow: hidden; }
.learn-split h3 .tag { font-size: 0.75em; padding: 0.02em 0.5em; }
.role-ring .hub strong { color: #fff; }
.role-ring .role { font-size: 0.6em; padding: 0.35em 0.6em; }
.role-ring { gap: 0.4em; }
.stat-strip span { white-space: nowrap; }
.stat-strip .sq { white-space: normal; }

.evidence-cards.next-cards .ec { min-height: 15.5em; }

.arc-grid.three-ways { grid-template-columns: repeat(3, 1fr); margin: 1em 0 0.8em; }
.arc-grid.three-ways > div { font-size: 0.74em; padding: 0.9em 1em; }
.arc-grid.three-ways > div.winning { border-left-color: #94a3b8; }
.arc-grid.three-ways > div.now { background: #f0fdf4; border: 2px solid var(--lean-accent); border-left-width: 6px; }


/* === draft 3 === */
.reveal .workshop-slide p.lead-line { font-size: 0.86em; }
.reveal .workshop-slide p.lead-line.quiet { font-size: 0.72em; }
.reveal .workshop-slide p.lead-line.solo { font-size: 1.0em; }
.biglist { display: grid; grid-template-columns: max-content 1fr; column-gap: 1.1em; row-gap: 0.55em; margin: 1em 0 0.6em; font-size: 0.86em; line-height: 1.4; align-items: baseline; }
.biglist dt { font-weight: 700; color: var(--text-dark); }
.biglist dd { margin: 0; color: #334155; }
.biglist.compact { font-size: 0.78em; row-gap: 0.4em; }
.biglist .cite { display: block; font-size: 0.78em; color: var(--text-muted); margin-top: 0.1em; }
.biglist.conv dt { color: #475569; }
.biglist.roles dt .when { display: block; font-size: 0.66em; text-transform: uppercase; letter-spacing: 0.05em; color: var(--lean-accent); font-weight: 700; }
.biglist.roles dt.now, .biglist.roles dd.now { background: #f0fdf4; padding: 0.4em 0.6em; border-radius: 6px; }
.biglist.roles dt.now { font-size: 1.1em; }
.ev-h { font-size: 0.7em; text-transform: uppercase; letter-spacing: 0.05em; color: var(--lean-accent); margin: 0.6em 0 0.1em; }
.exchange > div { font-size: 0.78em; }
.route-strip { font-size: 0.68em; }
.mode-strip > div { font-size: 0.64em; }
.loop-pair .loop { font-size: 0.74em; }
.anchor-row { display: grid; grid-template-columns: 1fr 1fr 1fr; gap: 0.7em; margin: 1em 0 0.7em; }
.anchor { border: 1px solid #cbd5e1; border-left: 5px solid var(--lean-accent); border-radius: 7px; background: #f8fafc; padding: 0.8em 0.9em; font-size: 0.8em; line-height: 1.35; min-height: 5.6em; }
.anchor strong { display: block; font-size: 1.1em; margin-bottom: 0.2em; }
.anchor span { color: #475569; }
.ribbon { font-size: 0.62em; color: var(--text-muted); border-top: 1px solid #e2e8f0; border-bottom: 1px solid #e2e8f0; padding: 0.45em 0; margin: 0.3em 0; line-height: 1.45; }

.mode-strip { display: grid; grid-template-columns: 1fr 1fr 1fr; gap: 0.45em; margin: 0.3em 0 0.6em; }
.mode-strip > div { font-size: 0.58em; line-height: 1.3; color: #475569; border-top: 3px solid #94a3b8; padding: 0.3em 0.5em 0.2em; }
.mode-strip > div .pc-kicker { font-size: 0.95em; margin-bottom: 0.05em; color: #64748b; }
.mode-strip > div.now { border-top-color: var(--lean-accent); background: #f0fdf4; color: #1e293b; }
.mode-strip > div.now .pc-kicker { color: var(--lean-accent); }
.loop-pair .loop ol { font-size: 1.05em; }

.advisors.big > div { font-size: 0.66em; padding: 0.45em 0.7em; }
.advisors.big { gap: 0.6em; margin: 0.6em 0; }
.exchange { display: flex; flex-direction: column; gap: 0.35em; margin: 0.5em 0; }
.exchange > div { font-size: 0.7em; line-height: 1.4; border-radius: 8px; padding: 0.45em 0.8em; max-width: 88%; }
.exchange .ag { background: #f1f5f9; border-left: 4px solid #64748b; align-self: flex-start; }
.exchange .us { background: #fff8dc; border-left: 4px solid #d7a921; align-self: flex-end; }
.exchange .who { display: inline-block; font-size: 0.72em; text-transform: uppercase; letter-spacing: 0.05em; color: var(--text-muted); margin-right: 0.6em; font-weight: 700; }
.exchange code { font-size: 0.95em; }

.route-strip { font-size: 0.6em; line-height: 1.4; margin: 0.45em 0 0; padding: 0.4em 0.7em; border: 1px dashed var(--lean-accent); border-radius: 6px; background: #f8fafc; color: #334155; }
.route-strip .rs-label { font-weight: 700; text-transform: uppercase; letter-spacing: 0.05em; color: var(--lean-accent); margin-right: 0.5em; }

.role-ring.five .role:nth-child(1) { grid-column: 1; grid-row: 1; }
.role-ring.five .role:nth-child(2) { grid-column: 2; grid-row: 1; }
.role-ring.five .role:nth-child(3) { grid-column: 3; grid-row: 1; }
.role-ring.five .role:nth-child(5) { grid-column: 1; grid-row: 2; }
.role-ring.five .role:nth-child(6) { grid-column: 3; grid-row: 2; }
.role-ring.five { grid-template-rows: auto auto; }
.role-ring.five .role { font-size: 0.66em; padding: 0.5em 0.7em; }

.ev-rows { display: flex; flex-direction: column; gap: 0.5em; margin: 0.5em 0; }
.ev-row .pc-kicker { margin-bottom: 0.3em; }
.evidence-cards.two { grid-template-columns: 1fr 1fr; margin: 0; }
.evidence-cards.two .ec { min-height: 0; font-size: 0.62em; padding: 0.55em 0.75em; }
.evidence-cards .ec.conv { border-left-color: #94a3b8; }
.evidence-cards .ec.conv .who { color: #64748b; }

.triad { display: grid; grid-template-columns: 1fr 1fr 1fr; gap: 0.6em; margin: 0.9em 0 0.6em; }
.triad > div { border: 1px solid #cbd5e1; border-top: 5px solid var(--lean-accent); border-radius: 7px; background: #f8fafc; padding: 0.7em 0.85em; font-size: 0.66em; line-height: 1.36; }
.triad .pc-kicker { font-size: 0.95em; }
.triad strong { display: block; margin-bottom: 0.3em; }
.triad .body { display: block; color: #475569; }

.closing-slide .closing-kicker { font-size: 0.78em; color: var(--text-muted); margin: 0.6em 0 0.5em; line-height: 1.45; }
.closing-slide h2.closing-big { font-size: 1.55em; line-height: 1.25; margin: 0.2em 0 0.8em; }
.reveal .workshop-slide dl.biglist { display: grid !important; grid-template-columns: max-content 1fr; font-size: 0.92em; row-gap: 0.6em; column-gap: 1.2em; }
.reveal .workshop-slide dl.biglist.compact { font-size: 0.84em; row-gap: 0.45em; }
.reveal .workshop-slide dl.biglist > dt, .reveal .workshop-slide dl.biglist > dd { display: block; margin: 0; }
.reveal .workshop-slide dl.biglist.roles dt.now, .reveal .workshop-slide dl.biglist.roles dd.now { padding: 0.5em 0.6em; }
.reveal .workshop-slide dl.biglist.roles > dt, .reveal .workshop-slide dl.biglist.roles > dd { padding-left: 0.6em; }

.bloop { border: 1px solid var(--border-highlight); border-left: 4px solid var(--lean-accent); border-radius: 6px; background: var(--bg-highlight); padding: 0.4em 0.5em 0.45em; }
.bloop .bl-title { font-size: 0.6em; font-weight: 600; text-align: center; margin-bottom: 0.25em; color: var(--text-dark); }
.bl-grid { display: grid; grid-template-columns: 1fr auto 1fr auto 1fr; gap: 0.12em 0.15em; align-items: center; justify-items: center; }
.bl-box { border: 1px solid #94a3b8; border-radius: 4px; background: #fff; padding: 0.18em 0.3em; font-size: 0.5em; font-weight: 600; text-align: center; line-height: 1.25; width: 100%; }
.bl-box span { display: block; font-weight: 400; color: var(--text-muted); font-size: 0.9em; }
.bl-box.q { background: #fff8dc; border-color: #d7a921; }
.bl-box.off { background: #f1f5f9; border-style: dashed; font-weight: 400; }
.bl-ar { font-size: 0.55em; color: var(--lean-accent); line-height: 1; }
.bl-ar em { font-style: normal; font-size: 0.8em; color: var(--text-muted); display: block; }

.bloop-img { text-align: center; padding: 0.1em 0; }
.bloop-img img { max-width: 78%; }
.bloop-img img { max-width: 100%; height: auto; display: block; margin: 0 auto; }

.reveal .workshop-slide dl.biglist.roles { font-size: 0.84em; row-gap: 0.5em; }

.biglist ul.mini { margin: 0; padding-left: 1.05em; line-height: 1.32; }
.biglist ul.mini li { margin: 0 0 0.12em; }
.biglist ul.mini.cols2 { columns: 2; column-gap: 1.3em; }
.biglist ul.mini.cols2 li { break-inside: avoid; }

.reveal .workshop-slide dl.biglist.roles { align-items: start; row-gap: 0.75em; font-size: 0.8em; }
.biglist ul.mini li em { font-style: italic; color: var(--lean-accent); }
.reveal .workshop-slide dl.biglist.tops { align-items: start; row-gap: 0.8em; }
.reveal .workshop-slide dl.biglist.roles { font-size: 0.84em; }
.reveal .workshop-slide dl.biglist.tops { font-size: 1.0em; }
.reveal .workshop-slide dl.biglist.roles { font-size: 0.9em; }
.reveal .workshop-slide dl.biglist.tops { font-size: 1.08em; }

.mini2 { display: grid; grid-template-columns: 1fr 1fr; column-gap: 1.3em; align-items: start; }
.biglist ul.mini li em { font-weight: 700; }
.reveal .workshop-slide dl.biglist.roles { row-gap: 0.55em; }

/* slide 2 sizing pass (v=d5) */
.reveal .workshop-slide dl.biglist.roles { font-size: 1.02em; row-gap: 0.5em; grid-template-columns: 8.2em 1fr; column-gap: 0.9em; }
.reveal .workshop-slide dl.biglist.roles dt { font-size: 0.92em; }
.biglist ul.mini { line-height: 1.3; }
.mini2 { column-gap: 1.0em; }
.reveal .workshop-slide dl.biglist.roles { font-size: 0.97em; row-gap: 0.45em; }
.biglist.roles dt.now, .biglist.roles dd.now { padding: 0.35em 0.5em; }
.reveal .workshop-slide dl.biglist.roles { row-gap: 0.4em; }
.reveal .workshop-slide dl.biglist.roles ul.mini { line-height: 1.25; }
.biglist ul.mini ul.sub { list-style-type: circle; margin: 0.1em 0 0.15em; padding-left: 1.15em; }
.biglist ul.mini ul.sub li { margin-bottom: 0; }
.biglist.roles dt.now, .biglist.roles dd.now { padding: 0.22em 0.5em; }
.biglist ul.mini ul.sub { margin: 0.05em 0 0.1em; }
.reveal .workshop-slide dl.biglist.roles { margin: 0.5em 0 0; }
.reveal .workshop-slide dl.biglist.roles { font-size: 0.95em; }

/* draft 3 second act (v=d7) */
.biglist dt.now, .biglist dd.now { background: #f0fdf4; padding: 0.3em 0.55em; border-radius: 6px; }
.inq-flow { display: flex; flex-wrap: wrap; align-items: center; gap: 0.25em 0.35em; margin: 0.8em 0 0.5em; }
.inq-flow span { border: 1px solid #94a3b8; border-radius: 6px; background: #f8fafc; padding: 0.22em 0.55em; font-size: 0.66em; font-weight: 600; color: var(--text-dark); }
.inq-flow span:nth-of-type(6), .inq-flow span:nth-of-type(7) { background: #f0fdf4; border-color: var(--lean-accent); }
.inq-flow i { color: var(--lean-accent); font-style: normal; font-size: 0.7em; }
.out-row { display: flex; flex-wrap: wrap; align-items: baseline; gap: 0.3em 0.4em; margin: 0.55em 0 0; }
.out-row .out-label { font-size: 0.62em; text-transform: uppercase; letter-spacing: 0.05em; font-weight: 700; color: var(--lean-accent); margin-right: 0.3em; }
.out-row .pill { border: 1px dashed #94a3b8; border-radius: 999px; padding: 0.14em 0.6em; font-size: 0.62em; color: #334155; background: #fff; }
.contrast-2 .panel ul.mini { font-size: 0.72em; line-height: 1.4; }

.concrete-grid { display: grid; grid-template-columns: 1.15fr 1fr; gap: 0.9em; align-items: start; margin: 0.7em 0 0.4em; }
.concrete-grid .cg-left img { width: 100%; border: 1px solid #cbd5e1; border-radius: 8px; display: block; }

.concrete-grid { grid-template-columns: 1.5fr 1fr; align-items: stretch; }
.concrete-grid .cg-left img { height: 100%; object-fit: cover; object-position: top; }
.reveal .workshop-slide dl.biglist.tops > dt, .reveal .workshop-slide dl.biglist.tops > dd { padding-left: 0.55em; }

/* v=d10 */
.concrete-grid.v2 { grid-template-columns: 0.92fr 1.08fr; align-items: stretch; gap: 1.0em; }
.concrete-grid.v2 .cg-left img { height: 100%; width: 100%; object-fit: cover; object-position: top; }
.cg-url { margin: 0.5em 0 0.15em; }
.cg-url a { font-family: 'Source Code Pro', monospace; font-weight: 700; font-size: 0.82em; }
.cg-meta { font-size: 0.6em; color: var(--text-muted); margin: 0 0 0.1em; }

/* v=d11 */
.concrete-grid.v2 { align-items: start; }
.concrete-grid.v2 .cg-left img { height: 24em; }
/* v=d12: natural-aspect repo screenshot */
.concrete-grid.v2 .cg-left img { height: auto; object-fit: unset; }
.concrete-grid.v2 { grid-template-columns: 1.25fr 1fr; }
.cg-url { margin-top: 0.35em; }
/* v=d14: bigger repo image */
.concrete-grid.v2 { grid-template-columns: 1.85fr 1fr; }

/* v=d15 */
.cg-term { padding: 1.0em 1.2em !important; }

/* v=d16 */
.concrete-grid.v2 { grid-template-columns: 1.72fr 1fr; }

/* v=d17: wider right column */
.concrete-grid.v2 { grid-template-columns: 1.08fr 1fr; }
/* v=d18: never stretch the repo screenshot */
.concrete-grid.v2 { align-items: start; }
.concrete-grid.v2 .cg-left img { width: 100%; height: auto !important; object-fit: contain; }
/* v=d19: explicit aspect ratio, keep both columns large */
.concrete-grid.v2 { grid-template-columns: 1.15fr 1fr; gap: 0.8em; }
.concrete-grid.v2 .cg-left img { aspect-ratio: 1658 / 1450; }
/* v=d20: terminal fills its column */
.reveal .workshop-slide pre.cg-term { width: 100% !important; margin: 0 !important; box-shadow: none; }
/* v=d21: cg-term padding area matches the dark code, no light halo */
.reveal .workshop-slide pre.cg-term { background: #1a1b20 !important; }

/* v=d22 */
.inq-back { font-size: 0.62em; color: var(--lean-accent); margin: 0.15em 0 0.3em 0.3em; font-weight: 600; }

/* v=d23 */
.reveal pre.term .cmd { color: #8fb0d4; font-weight: 700; }

/* v=d24: inquiry cycle */
.inq-loop { display: grid; grid-template-columns: 1fr auto 1.2fr auto 1.2fr auto 1fr; gap: 0.3em 0.35em; align-items: center; justify-items: center; margin: 1.0em 0 0.7em; }
.il-box { border: 1px solid #94a3b8; border-radius: 7px; background: #f8fafc; padding: 0.4em 0.5em; font-size: 0.7em; font-weight: 600; text-align: center; width: 100%; color: var(--text-dark); }
.il-box.now { background: #f0fdf4; border-color: var(--lean-accent); }
.inq-loop .il-ar { color: var(--lean-accent); font-size: 0.85em; }

/* v=d25 */
.out-cols { margin: 0.5em 0 0; }
.out-cols .ev-h { display: block; margin: 0 0 0.15em; }
.out-cols ul.mini { margin-left: 0.3em; }

/* v=d26: tighter roles slide to fit autonomy line */
.reveal .workshop-slide dl.biglist.roles { row-gap: 0.32em; margin-top: 0.35em; }
.biglist.roles dt.now, .biglist.roles dd.now { padding: 0.16em 0.5em; }

/* v=d27 */
.reveal .workshop-slide dl.biglist.roles { margin-top: 0.2em; }
/* v=d28 */
.reveal .workshop-slide dl.biglist.roles { font-size: 0.92em; }
.biglist ul.mini ul.sub { margin: 0; }
/* v=d29 */
.reveal .workshop-slide dl.biglist.roles { font-size: 0.9em; row-gap: 0.28em; }
.biglist.roles dt.now, .biglist.roles dd.now { padding: 0.12em 0.5em; }

/* v=d30 */
.reveal .workshop-slide dl.biglist.roles { margin-top: 0.55em; }
/* v=d31 */
.reveal .workshop-slide dl.biglist.roles { margin-top: 1.65em; }
/* v=d32 */
.mode-strip > div { font-size: 0.77em; }
/* v=d33 */
.mode-strip > div { font-size: 0.7em; }
/* v=d34 */
.mode-strip > div { font-size: 0.67em; }