/* ── MIT 6.S976/18.S996 Lean slides — dark green theme ── */

@import url('https://fonts.googleapis.com/css2?family=Source+Sans+3:wght@300;400;500;600;700&family=Source+Code+Pro:wght@400;500;600;700&display=swap');

: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; }