/* Urizen demo viewer — restraint pass
   Matches the homepage system: calm cream canvas, single gold accent,
   Fraunces display serif, hairline panels, monospace data, and a dark
   "telemetry" receipt strip that echoes the homepage engine band.
   Every class the viewer JS toggles (pass/warn/pending/active/invalid/
   rejected) and builds (state-cell, step-row, field-row, root-row,
   status-pill, private-token, summary-row) is preserved. */

* {
  box-sizing: border-box;
}

:root {
  color-scheme: light;

  --font-display: "Fraunces", Georgia, "Times New Roman", serif;
  --font: "Inter", ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif;
  --mono: ui-monospace, "SF Mono", "SFMono-Regular", Menlo, Consolas, "Liberation Mono", monospace;

  --ink: #241d15;
  --ink-soft: #6b5d49;
  --ink-faint: #93856d;
  --cream: #faf6ec;
  --cream-2: #f5efe0;
  --raise: #fffdf7;
  --white: #fffdf7;
  --hairline: #e6dcc4;
  --hairline-strong: #d8cbab;

  --gold: #bd8b28;
  --gold-bright: #d8a53c;
  --teal: #3e8079;
  --teal-ink: #2f6a63;
  --rust: #b14a2c;
  --rust-ink: #8f3a20;

  --dark: #1c160f;
  --dark-2: #221b12;

  --line: var(--hairline);
  --line-strong: var(--hairline-strong);
  --shadow-sm: 0 1px 2px rgba(36, 29, 21, 0.04);
  --shadow-md: 0 12px 32px -18px rgba(36, 29, 21, 0.26);
  --radius: 12px;
  --radius-sm: 9px;

  /* remap shared urizen-theme.css tokens + the canvas colors the JS reads */
  --urizen-font-serif: var(--font);
  --urizen-font-sans: var(--font);
  --urizen-font-display: var(--font-display);
  --urizen-ink: var(--ink);
  --urizen-ink-soft: var(--ink-soft);
  --urizen-cream: var(--cream);
  --urizen-gold: var(--gold);
  --urizen-teal: var(--teal);
  --urizen-rust: var(--rust);
  --urizen-white: var(--raise);
}

html {
  min-height: 100%;
  scroll-behavior: smooth;
}

body {
  min-width: 320px;
  min-height: 100vh;
  margin: 0;
  color: var(--ink);
  font-family: var(--font);
  font-size: 15px;
  line-height: 1.55;
  font-feature-settings: "kern" 1;
  text-rendering: optimizeLegibility;
  -webkit-font-smoothing: antialiased;
  background:
    radial-gradient(120% 90% at 88% -6%, rgba(189, 139, 40, 0.06), transparent 46%),
    var(--cream);
}

button,
input {
  font: inherit;
}

button {
  color: inherit;
}

img,
svg {
  display: block;
}

img {
  max-width: 100%;
  height: auto;
}

a {
  color: inherit;
}

.demo-page h1,
.demo-page h2 {
  margin: 0;
  font-family: var(--font-display);
  font-weight: 500;
  font-optical-sizing: auto;
  color: var(--ink);
  line-height: 1.05;
  letter-spacing: -0.015em;
}

.demo-page h1 {
  max-width: 18ch;
  font-size: clamp(34px, 4vw, 50px);
}

.demo-page h2 {
  font-size: 22px;
}

.demo-page h3 {
  margin: 0 0 10px;
  color: var(--ink-faint);
  font-family: var(--font);
  font-size: 11px;
  font-weight: 600;
  letter-spacing: 0.1em;
  text-transform: uppercase;
}

p {
  margin: 0;
}

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

::selection {
  background: rgba(189, 139, 40, 0.22);
}

/* ---------- header ---------- */

.site-header {
  position: sticky;
  z-index: 30;
  top: 0;
  display: grid;
  grid-template-columns: auto 1fr auto;
  align-items: center;
  gap: 28px;
  min-height: 64px;
  padding: 10px clamp(18px, 4vw, 48px);
  border-bottom: 1px solid var(--hairline);
  background: rgba(250, 246, 236, 0.82);
  backdrop-filter: blur(14px) saturate(1.1);
}

.brand {
  display: inline-flex;
  align-items: center;
  gap: 10px;
  min-width: 0;
  color: var(--ink);
  text-decoration: none;
}

.brand-mark {
  width: 22px;
  height: 28px;
  flex: 0 0 auto;
}

.brand-wordmark {
  width: 116px;
  height: auto;
  flex: 0 0 auto;
}

.site-nav {
  display: flex;
  align-items: center;
  justify-content: flex-end;
  gap: 4px;
  font-size: 13px;
  font-weight: 500;
}

.site-nav a {
  padding: 8px 12px;
  border-radius: 8px;
  color: var(--ink-soft);
  text-decoration: none;
  transition: color 150ms ease, background 150ms ease;
}

.site-nav a:hover,
.site-nav a:focus-visible {
  background: rgba(36, 29, 21, 0.05);
  color: var(--ink);
}

.request-link {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  min-height: 38px;
  padding: 0 18px;
  border: 1px solid var(--hairline-strong);
  border-radius: 10px;
  background: var(--raise);
  color: var(--ink);
  font-size: 13px;
  font-weight: 550;
  text-decoration: none;
  box-shadow: var(--shadow-sm);
  transition: border-color 150ms ease, transform 150ms ease;
}

.request-link:hover,
.request-link:focus-visible {
  border-color: var(--ink);
  transform: translateY(-1px);
}

/* ---------- shell ---------- */

.demo-shell {
  width: min(100%, 1640px);
  margin-inline: auto;
  padding: clamp(18px, 3vw, 30px) clamp(14px, 3vw, 40px) 44px;
}

.urizen-kicker,
.eyebrow,
.viewer-title span,
.hash-block span {
  color: var(--gold);
  font-family: var(--font);
  font-size: 11px;
  font-weight: 600;
  letter-spacing: 0.12em;
  line-height: 1;
  text-transform: uppercase;
}

/* ---------- hero intro ---------- */

.demo-intro {
  position: relative;
  display: grid;
  align-items: center;
  gap: 22px;
  padding: clamp(30px, 4vw, 52px) clamp(24px, 4vw, 48px);
  border: 1px solid var(--hairline);
  border-radius: 16px;
  background:
    radial-gradient(90% 130% at 92% 0%, rgba(189, 139, 40, 0.08), transparent 52%),
    var(--raise);
  box-shadow: var(--shadow-md);
  overflow: hidden;
  isolation: isolate;
}

.proof-field-canvas {
  position: absolute;
  z-index: 0;
  inset: 0;
  width: 100%;
  height: 100%;
  opacity: 0.5;
  mix-blend-mode: multiply;
  -webkit-mask-image: linear-gradient(90deg, transparent, rgba(0, 0, 0, 0.4) 52%, #000 84%);
  mask-image: linear-gradient(90deg, transparent, rgba(0, 0, 0, 0.4) 52%, #000 84%);
  pointer-events: none;
}

.demo-copy {
  position: relative;
  z-index: 2;
  display: grid;
  gap: 16px;
  max-width: 720px;
  min-width: 0;
}

.neo-body-mark {
  width: 116px;
  height: auto;
  opacity: 0.5;
}

.demo-copy > p:not(.urizen-kicker) {
  max-width: 60ch;
  color: var(--ink-soft);
  font-size: 17px;
  line-height: 1.55;
}

/* pipeline stage chips (echoes the homepage lifecycle) */
.demo-lifecycle {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 8px;
  margin: 20px 0 0;
  padding: 0;
  list-style: none;
}

.demo-lifecycle li {
  display: inline-flex;
  align-items: center;
  gap: 8px;
  padding: 6px 13px;
  border: 1px solid var(--hairline);
  border-radius: 999px;
  background: var(--cream);
  color: var(--ink-soft);
  font-size: 12px;
  font-weight: 550;
  letter-spacing: 0.01em;
}

.demo-lifecycle li::before {
  content: "";
  width: 6px;
  height: 6px;
  background: var(--gold);
  transform: rotate(45deg);
}

/* Lean 4 / reproducible trust badge */
.verify-badge {
  display: inline-flex;
  align-items: center;
  gap: 12px;
  margin-top: 18px;
  padding: 7px 16px 7px 7px;
  border: 1px solid var(--hairline-strong);
  border-radius: 999px;
  background: var(--raise);
  box-shadow: var(--shadow-sm);
  color: var(--ink-soft);
  font-size: 13px;
  line-height: 1.3;
}

.verify-mark {
  display: inline-flex;
  align-items: center;
  flex: 0 0 auto;
  padding: 5px 11px;
  border-radius: 999px;
  background: var(--ink);
  color: var(--cream);
  font-family: var(--mono);
  font-size: 11px;
  font-weight: 600;
  letter-spacing: 0.02em;
}

/* the ornamental sigil is retired for the restraint pass */
.demo-sigil {
  display: none;
}

/* ---------- receipt band → dark telemetry strip ---------- */

.receipt-band {
  position: relative;
  margin-top: 14px;
  border: 1px solid rgba(250, 246, 236, 0.12);
  border-radius: var(--radius);
  background:
    radial-gradient(80% 160% at 88% 0%, rgba(216, 165, 60, 0.14), transparent 55%),
    var(--dark);
  color: rgba(250, 246, 236, 0.86);
  overflow: hidden;
}

.receipt-band-inner {
  display: grid;
  grid-template-columns: minmax(220px, 1fr) repeat(3, minmax(150px, 0.85fr));
}

.receipt-state,
.receipt-meta {
  position: relative;
  display: grid;
  align-content: center;
  gap: 8px;
  min-width: 0;
  min-height: 76px;
  padding: 16px 20px;
}

.receipt-state + .receipt-meta,
.receipt-meta + .receipt-meta {
  border-left: 1px solid rgba(250, 246, 236, 0.1);
}

.receipt-state {
  grid-template-columns: 10px auto 1fr;
  align-items: center;
  gap: 4px 11px;
}

.receipt-state i {
  grid-row: span 2;
  width: 8px;
  height: 8px;
  border-radius: 50%;
  background: var(--teal);
  box-shadow: 0 0 0 0 rgba(62, 128, 121, 0.5);
  animation: pulseDot 2.6s ease-out infinite;
}

.receipt-state span,
.receipt-meta span {
  color: rgba(250, 246, 236, 0.5);
  font-size: 10px;
  font-weight: 600;
  letter-spacing: 0.1em;
  text-transform: uppercase;
}

.receipt-state span {
  grid-column: 2 / -1;
}

.receipt-state strong,
.receipt-meta strong {
  min-width: 0;
  overflow: hidden;
  color: var(--cream);
  font-family: var(--mono);
  font-size: 14px;
  font-weight: 500;
  letter-spacing: 0.01em;
  text-overflow: ellipsis;
  white-space: nowrap;
}

.receipt-state strong {
  grid-column: 2 / -1;
  color: #6fc0b7;
}

.receipt-state.rejected i {
  background: var(--rust);
  animation: none;
}

.receipt-state.rejected strong {
  color: #d98a6d;
}

.receipt-state.pending i {
  background: var(--gold-bright);
}

.receipt-state.pending strong {
  color: var(--gold-bright);
}

.receipt-meta.pass strong {
  color: #6fc0b7;
}

.receipt-meta.warn strong {
  color: #d98a6d;
}

.receipt-meta.pending strong {
  color: var(--gold-bright);
}

/* ---------- app shell ---------- */

.app-shell {
  display: grid;
  gap: 16px;
  margin-top: 16px;
}

.topbar {
  display: grid;
  grid-template-columns: minmax(220px, 1fr) auto auto;
  align-items: center;
  gap: 14px;
  padding: 14px 16px;
  border: 1px solid var(--hairline);
  border-radius: var(--radius);
  background: var(--raise);
  box-shadow: var(--shadow-sm);
}

.viewer-title {
  display: grid;
  gap: 7px;
  min-width: 0;
}

.viewer-title strong {
  max-width: 34ch;
  overflow: hidden;
  color: var(--ink);
  font-family: var(--mono);
  font-size: 15px;
  font-weight: 500;
  text-overflow: ellipsis;
  white-space: nowrap;
}

.run-strip,
.top-actions,
.playback,
.tabbar {
  display: flex;
  align-items: center;
  gap: 8px;
}

.run-strip,
.top-actions {
  flex-wrap: wrap;
  justify-content: flex-end;
}

.status-pill {
  display: inline-flex;
  align-items: center;
  min-height: 30px;
  padding: 5px 11px;
  border: 1px solid var(--hairline-strong);
  border-radius: 999px;
  background: var(--raise);
  color: var(--ink-soft);
  font-size: 12px;
  font-weight: 550;
  white-space: nowrap;
}

.status-pill::before {
  content: "";
  width: 7px;
  height: 7px;
  margin-right: 8px;
  background: var(--gold);
  transform: rotate(45deg);
}

.status-pill.pass {
  border-color: rgba(62, 128, 121, 0.32);
  background: rgba(62, 128, 121, 0.1);
  color: var(--teal-ink);
}

.status-pill.pass::before {
  background: var(--teal);
}

.status-pill.warn {
  border-color: rgba(177, 74, 44, 0.32);
  background: rgba(177, 74, 44, 0.1);
  color: var(--rust-ink);
}

.status-pill.warn::before {
  background: var(--rust);
}

/* ---------- buttons ---------- */

.button,
.icon-button,
.tab,
.copy-button {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  border: 1px solid var(--hairline-strong);
  border-radius: 10px;
  background: var(--raise);
  color: var(--ink);
  cursor: pointer;
  transition: transform 150ms ease, background 150ms ease, color 150ms ease, border-color 150ms ease;
}

.button {
  min-height: 38px;
  padding: 0 15px;
  font-size: 13px;
  font-weight: 550;
}

.button:hover,
.icon-button:hover,
.tab:hover,
.copy-button:hover,
.request-link:hover,
.button:focus-visible,
.icon-button:focus-visible,
.tab:focus-visible,
.copy-button:focus-visible {
  transform: translateY(-1px);
  border-color: var(--ink);
}

.button.primary {
  border-color: var(--ink);
  background: var(--ink);
  color: var(--cream);
}

.button.primary:hover,
.button.primary:focus-visible {
  background: #37291a;
}

.button.warn {
  border-color: rgba(177, 74, 44, 0.4);
  background: rgba(177, 74, 44, 0.08);
  color: var(--rust-ink);
}

.button.warn:hover,
.button.warn:focus-visible {
  border-color: var(--rust);
}

#jsonFile {
  position: absolute;
  inline-size: 1px;
  block-size: 1px;
  opacity: 0;
  pointer-events: none;
}

/* ---------- explainer ---------- */

.explainer-panel {
  display: grid;
  grid-template-columns: minmax(0, 0.82fr) minmax(0, 1.18fr);
  align-items: stretch;
  gap: 18px;
  padding: 20px;
  border: 1px solid var(--hairline);
  border-radius: var(--radius);
  background: var(--raise);
  box-shadow: var(--shadow-sm);
}

.explainer-copy {
  min-width: 0;
}

.eyebrow {
  margin: 0 0 10px;
}

.explainer-copy h2 {
  margin-bottom: 10px;
}

.explainer-copy p:last-child {
  max-width: 72ch;
  color: var(--ink-soft);
  font-size: 15px;
  line-height: 1.5;
}

.explainer-flow {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  gap: 10px;
}

.flow-item {
  position: relative;
  display: grid;
  grid-template-columns: 30px 1fr;
  gap: 4px 12px;
  min-width: 0;
  padding: 14px;
  border: 1px solid var(--hairline);
  border-radius: var(--radius-sm);
  background: var(--cream);
}

.flow-item span {
  grid-row: span 2;
  display: grid;
  place-items: center;
  width: 28px;
  height: 28px;
  border-radius: 50%;
  background: var(--ink);
  color: var(--cream);
  font-family: var(--mono);
  font-size: 13px;
  font-weight: 500;
}

.flow-item strong {
  align-self: end;
  font-size: 14px;
}

.flow-item p {
  margin: 0;
  color: var(--ink-soft);
  font-size: 12.5px;
  line-height: 1.4;
}

.mpc-flow {
  border-color: rgba(62, 128, 121, 0.32);
  background: rgba(62, 128, 121, 0.07);
}

.mpc-flow span {
  background: var(--teal);
}

/* ---------- workspace ---------- */

.workspace {
  display: grid;
  grid-template-columns: minmax(0, 1.22fr) minmax(300px, 0.78fr) minmax(310px, 0.78fr);
  align-items: start;
  gap: 16px;
}

.panel {
  position: relative;
  min-width: 0;
  padding: 20px;
  border: 1px solid var(--hairline);
  border-radius: var(--radius);
  background: var(--raise);
  box-shadow: var(--shadow-sm);
  overflow: hidden;
}

.panel-heading {
  display: flex;
  align-items: flex-start;
  justify-content: space-between;
  gap: 14px;
  min-width: 0;
  margin-bottom: 18px;
}

.panel-heading > * {
  min-width: 0;
}

.panel-heading.compact {
  align-items: center;
}

.run-metrics {
  display: grid;
  grid-template-columns: repeat(3, minmax(62px, 1fr));
  gap: 8px;
}

.run-metrics span {
  display: grid;
  gap: 3px;
  min-width: 0;
  padding: 9px 11px;
  border: 1px solid var(--hairline);
  border-radius: var(--radius-sm);
  background: var(--cream);
  color: var(--ink-faint);
  font-size: 10px;
  font-weight: 600;
  letter-spacing: 0.06em;
  text-transform: uppercase;
}

.run-metrics b {
  color: var(--ink);
  font-family: var(--mono);
  font-size: 19px;
  font-weight: 500;
  line-height: 1.05;
}

/* machine stage */
.machine-stage {
  position: relative;
  display: grid;
  grid-template-columns: minmax(150px, 184px) minmax(0, 1fr);
  gap: 16px;
  min-height: 240px;
  padding: 18px;
  border: 1px solid var(--hairline);
  border-radius: var(--radius);
  background: var(--cream);
  overflow: hidden;
}

/* ambient depth planes + decorative square retired */
.machine-depth-field,
.machine-stage::after {
  display: none;
}

.machine-core {
  position: relative;
  z-index: 1;
  display: grid;
  place-items: center;
  min-height: 212px;
  border: 1px solid var(--hairline-strong);
  border-radius: var(--radius);
  background: var(--raise);
  overflow: hidden;
}

.machine-core.invalid {
  border-color: rgba(177, 74, 44, 0.5);
  background: rgba(177, 74, 44, 0.06);
}

.core-ring {
  position: absolute;
  width: 116px;
  height: 116px;
  border: 6px solid rgba(62, 128, 121, 0.22);
  border-top-color: var(--gold);
  border-right-color: var(--teal);
  border-radius: 50%;
  animation: spin 7s linear infinite;
}

.machine-core.invalid .core-ring {
  border-color: rgba(177, 74, 44, 0.24);
  border-top-color: var(--rust);
  border-right-color: var(--rust);
}

.core-label {
  position: relative;
  display: grid;
  place-items: center;
  width: 88px;
  height: 88px;
  border: 1px solid var(--hairline-strong);
  border-radius: 50%;
  background: var(--raise);
  text-align: center;
}

.core-label span {
  color: var(--ink-faint);
  font-family: var(--mono);
  font-size: 10px;
  text-transform: uppercase;
}

.core-label strong {
  color: var(--ink);
  font-family: var(--font-display);
  font-size: 17px;
  font-weight: 500;
}

.state-grid {
  position: relative;
  z-index: 1;
  display: grid;
  grid-template-columns: repeat(16, minmax(8px, 1fr));
  gap: 6px;
  align-content: center;
}

.state-cell {
  aspect-ratio: 1;
  min-width: 0;
  border: 1px solid rgba(36, 29, 21, 0.16);
  border-radius: 4px;
  background: var(--gold);
}

/* playback */
.playback {
  margin: 16px 0;
}

.icon-button {
  height: 36px;
  padding: 0 16px;
  font-size: 12.5px;
  font-weight: 550;
}

.icon-button.wide {
  min-width: 74px;
  border-color: var(--ink);
  background: var(--ink);
  color: var(--cream);
}

.icon-button.wide:hover,
.icon-button.wide:focus-visible {
  background: #37291a;
}

#stepRange {
  flex: 1;
  min-width: 120px;
  accent-color: var(--gold);
}

/* timeline */
.timeline {
  display: grid;
  gap: 8px;
  max-height: 430px;
  overflow: auto;
  padding-right: 4px;
}

.step-row {
  display: grid;
  grid-template-columns: 48px minmax(0, 1fr) auto;
  align-items: center;
  gap: 12px;
  width: 100%;
  min-height: 52px;
  padding: 9px 12px;
  border: 1px solid var(--hairline);
  border-radius: var(--radius-sm);
  background: var(--cream);
  text-align: left;
  cursor: pointer;
  transition: border-color 150ms ease, background 150ms ease;
}

.step-row:hover {
  border-color: var(--hairline-strong);
}

.step-row.active {
  border-color: rgba(62, 128, 121, 0.6);
  background: rgba(62, 128, 121, 0.08);
}

.step-row.invalid {
  border-color: rgba(177, 74, 44, 0.4);
  background: rgba(177, 74, 44, 0.07);
}

.step-row.invalid.active {
  border-color: var(--rust);
}

.step-number {
  display: grid;
  place-items: center;
  width: 34px;
  height: 30px;
  border-radius: 7px;
  background: var(--ink);
  color: var(--cream);
  font-family: var(--mono);
  font-size: 13px;
  font-weight: 500;
}

.step-hash {
  min-width: 0;
  overflow: hidden;
  color: var(--ink-soft);
  font-family: var(--mono);
  font-size: 12px;
  text-overflow: ellipsis;
  white-space: nowrap;
}

/* step detail */
.state-pair {
  display: grid;
  gap: 10px;
}

.hash-block {
  display: grid;
  gap: 8px;
  padding: 13px;
  border: 1px solid var(--hairline);
  border-radius: var(--radius-sm);
  background: var(--cream);
}

.hash-block code {
  min-width: 0;
  overflow-wrap: anywhere;
  color: var(--ink);
  font-size: 12px;
}

.detail-group {
  margin-top: 18px;
}

.field-grid,
.summary-grid {
  display: grid;
  gap: 8px;
}

.field-row,
.summary-row,
.root-row {
  display: grid;
  gap: 6px;
  padding: 11px 13px;
  border: 1px solid var(--hairline);
  border-radius: var(--radius-sm);
  background: var(--cream);
}

.field-row {
  grid-template-columns: minmax(110px, 0.45fr) minmax(0, 1fr);
  align-items: center;
}

.field-name,
.summary-key,
.root-key {
  color: var(--ink-faint);
  font-size: 10.5px;
  font-weight: 600;
  letter-spacing: 0.06em;
  text-transform: uppercase;
}

.field-value,
.summary-value,
.root-value {
  min-width: 0;
  overflow-wrap: anywhere;
  color: var(--ink);
  font-family: var(--mono);
  font-size: 12px;
}

.private-token {
  display: inline-flex;
  align-items: center;
  width: max-content;
  min-height: 26px;
  padding: 4px 9px;
  border: 1px solid rgba(177, 74, 44, 0.3);
  border-radius: 999px;
  background: rgba(177, 74, 44, 0.08);
  color: var(--rust-ink);
  font-family: var(--font);
  font-size: 11px;
  font-weight: 600;
  letter-spacing: 0.04em;
  text-transform: uppercase;
}

/* receipt tabs */
.tabbar {
  padding: 4px;
  border: 1px solid var(--hairline);
  border-radius: 999px;
  background: var(--cream);
}

.tab {
  flex: 1;
  height: 32px;
  border-color: transparent;
  border-radius: 999px;
  background: transparent;
  color: var(--ink-soft);
  font-size: 12.5px;
  font-weight: 550;
}

.tab.active {
  background: var(--ink);
  color: var(--cream);
}

.tab-panel {
  display: none;
  margin-top: 16px;
}

.tab-panel.active {
  display: block;
}

.root-list {
  display: grid;
  gap: 8px;
}

.root-row {
  grid-template-columns: minmax(0, 1fr) auto;
  align-items: center;
}

.root-value {
  margin-top: 4px;
}

.copy-button {
  height: 30px;
  padding: 0 12px;
  border-radius: 999px;
  font-size: 11px;
  font-weight: 550;
}

#rawJson {
  max-height: 560px;
  margin: 0;
  padding: 16px;
  border: 1px solid rgba(250, 246, 236, 0.1);
  border-radius: var(--radius);
  background: var(--dark);
  color: #ece3d2;
  overflow: auto;
  font-size: 12px;
  line-height: 1.5;
}

.drop-active .app-shell {
  outline: 2px solid var(--gold);
  outline-offset: 6px;
  border-radius: var(--radius);
}

/* ---------- motion ---------- */

@keyframes spin {
  to { transform: rotate(360deg); }
}

@keyframes pulseDot {
  0% { box-shadow: 0 0 0 0 rgba(62, 128, 121, 0.45); }
  70% { box-shadow: 0 0 0 8px rgba(62, 128, 121, 0); }
  100% { box-shadow: 0 0 0 0 rgba(62, 128, 121, 0); }
}

@media (prefers-reduced-motion: reduce) {
  *,
  *::before,
  *::after {
    animation-duration: 0.001ms !important;
    animation-iteration-count: 1 !important;
    transition-duration: 0.001ms !important;
    scroll-behavior: auto !important;
  }
}

/* ---------- responsive ---------- */

@media (max-width: 1320px) {
  .workspace {
    grid-template-columns: minmax(0, 1fr) minmax(300px, 0.8fr);
  }

  .proof-panel {
    grid-column: 1 / -1;
  }
}

@media (max-width: 1080px) {
  .site-header,
  .topbar,
  .explainer-panel {
    grid-template-columns: 1fr;
  }

  .site-nav,
  .run-strip,
  .top-actions {
    justify-content: flex-start;
  }

  .request-link {
    justify-self: start;
  }

  .receipt-band-inner {
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }

  .receipt-band-inner > * {
    border-left: 0 !important;
    border-top: 1px solid rgba(250, 246, 236, 0.1);
  }

  .receipt-band-inner > *:nth-child(-n + 2) {
    border-top: 0;
  }

  .receipt-band-inner > *:nth-child(odd) {
    border-right: 1px solid rgba(250, 246, 236, 0.1);
  }

  .explainer-flow {
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }
}

@media (max-width: 900px) {
  .site-header {
    position: relative;
  }

  .site-nav {
    flex-wrap: wrap;
    gap: 4px 8px;
  }

  .workspace {
    grid-template-columns: 1fr;
  }
}

@media (max-width: 640px) {
  .demo-shell {
    padding: 14px 12px 28px;
  }

  .receipt-band-inner {
    grid-template-columns: 1fr;
  }

  .receipt-band-inner > * {
    border-right: 0 !important;
    border-top: 1px solid rgba(250, 246, 236, 0.1);
  }

  .receipt-band-inner > *:first-child {
    border-top: 0;
  }

  .explainer-flow {
    grid-template-columns: 1fr;
  }

  .panel-heading,
  .machine-stage,
  .state-pair {
    grid-template-columns: 1fr;
  }

  .machine-stage {
    min-height: 0;
  }

  .state-grid {
    grid-template-columns: repeat(8, minmax(14px, 1fr));
  }

  .playback {
    display: grid;
    grid-template-columns: repeat(3, 1fr);
  }

  .icon-button,
  .icon-button.wide {
    width: 100%;
  }

  #stepRange {
    grid-column: 1 / -1;
  }

  .field-row,
  .root-row,
  .step-row {
    grid-template-columns: 1fr;
  }

  .private-token {
    width: 100%;
    justify-content: center;
  }
}

/* ---------- dark lab chrome (matches homepage header) ---------- */

.site-header {
  border-bottom: 1px solid rgba(250, 246, 236, 0.08);
  background: rgba(28, 22, 15, 0.85);
}

.brand {
  color: var(--cream);
}

.site-header .brand-mark {
  filter: brightness(0) invert(0.96) sepia(0.12);
  opacity: 0.92;
}

.site-nav a {
  color: rgba(250, 246, 236, 0.66);
}

.site-nav a:hover,
.site-nav a:focus-visible {
  color: var(--cream);
  background: rgba(250, 246, 236, 0.07);
}

.site-header .request-link {
  border-color: rgba(250, 246, 236, 0.28);
  background: transparent;
  color: var(--cream);
  box-shadow: none;
}

.site-header .request-link:hover,
.site-header .request-link:focus-visible {
  border-color: var(--cream);
}

/* ---------- tasteful motion: intro entrance ---------- */

@keyframes riseIn {
  from { opacity: 0; transform: translateY(14px); }
  to { opacity: 1; transform: none; }
}

.demo-copy > * {
  opacity: 0;
  animation: riseIn 620ms cubic-bezier(0.22, 0.61, 0.36, 1) forwards;
}

.demo-copy > *:nth-child(1) { animation-delay: 60ms; }
.demo-copy > *:nth-child(2) { animation-delay: 140ms; }
.demo-copy > *:nth-child(3) { animation-delay: 220ms; }
.demo-copy > *:nth-child(4) { animation-delay: 320ms; }
.demo-copy > *:nth-child(5) { animation-delay: 420ms; }
.demo-copy > *:nth-child(6) { animation-delay: 500ms; }

/* header lockup: URIZEN wordmark + Research Labs tag */
.brand-tag {
  margin-left: 12px;
  padding-left: 12px;
  border-left: 1px solid rgba(250, 246, 236, 0.24);
  color: rgba(250, 246, 236, 0.6);
  font-family: var(--font);
  font-size: 10.5px;
  font-weight: 600;
  letter-spacing: 0.14em;
  text-transform: uppercase;
  white-space: nowrap;
}

@media (max-width: 520px) {
  .brand-tag {
    display: none;
  }
}