:root {
  color-scheme: dark;
  --bg: #0a0f12;
  --rail: #0d1419;
  --surface: #111a20;
  --surface-2: #151f26;
  --surface-3: #0f171c;
  --line: #2a3942;
  --line-soft: #1d2a31;
  --ink: #edf4f2;
  --muted: #95a5ab;
  --subtle: #7e8e95;
  --mint: #16d5a4;
  --mint-strong: #00b98c;
  --mint-soft: #103d37;
  --warn: #f3bf26;
  --warn-soft: #3d3110;
  --danger: #ff7777;
  --success: #35d9a0;
  --focus: #65d9c1;
  font-family: Inter, ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
  line-height: 1.45;
}
* { box-sizing: border-box; }
html { min-width: 0; background: var(--bg); scroll-behavior: smooth; }
body { min-width: 0; min-height: 100vh; margin: 0; color: var(--ink); background: var(--bg); font-size: .88rem; }
a { color: inherit; }
a:focus-visible, button:focus-visible { outline: 2px solid var(--focus); outline-offset: 3px; }
.skip-link { position: fixed; z-index: 20; top: .75rem; left: .75rem; padding: .65rem .9rem; color: #001811; background: var(--mint); border-radius: .35rem; transform: translateY(-180%); }
.skip-link:focus { transform: translateY(0); }
.app-shell { display: grid; grid-template-columns: 11.7rem minmax(0, 1fr); min-height: 100vh; }
.nav-rail { display: flex; position: sticky; top: 0; height: 100vh; flex-direction: column; padding: 1rem .65rem .8rem; background: var(--rail); border-right: 1px solid var(--line); }
.brand { display: inline-flex; align-items: center; gap: .6rem; min-height: 2.6rem; padding: .25rem .45rem; color: var(--ink); text-decoration: none; font-weight: 800; font-size: 1rem; }
.brand-mark { width: 1.45rem; height: 1.45rem; display: grid; grid-template-columns: repeat(2, .42rem); grid-template-rows: repeat(2, .42rem); gap: .17rem; }
.brand-mark i { display: block; background: var(--mint); border-radius: .1rem; }
.brand-mark i:nth-child(2), .brand-mark i:nth-child(3) { border-radius: 50%; }
.rail-toggle { align-self: end; width: 1.8rem; height: 1.8rem; margin: .35rem .2rem 1.1rem; color: var(--muted); background: transparent; border: 0; font-size: 1.45rem; cursor: pointer; }
.rail-nav { display: grid; gap: .3rem; }
.rail-link { display: flex; align-items: center; gap: .7rem; min-height: 2.35rem; padding: .55rem .65rem; color: #b4c0c4; border-radius: .4rem; text-decoration: none; }
.rail-link span { width: 1rem; color: var(--muted); text-align: center; font-size: 1rem; }
.rail-link:hover, .rail-link.is-active { color: var(--mint); background: #19252c; }
.rail-link.is-active span { color: var(--mint); }
.rail-footer { display: grid; grid-template-columns: 1.8rem 1fr auto; align-items: center; gap: .5rem; margin-top: auto; padding: .7rem .35rem; border-top: 1px solid var(--line-soft); color: var(--muted); }
.rail-footer strong, .rail-footer small { display: block; }
.rail-footer strong { color: var(--ink); font-size: .73rem; }
.rail-footer small { font-size: .68rem; }
.avatar, .user-chip { display: grid; place-items: center; color: #05241c; background: var(--mint); border-radius: .35rem; font-size: .7rem; font-weight: 800; }
.avatar { width: 1.8rem; height: 1.8rem; }
.app-main { min-width: 0; }
.command-bar { position: sticky; z-index: 5; top: 0; display: flex; align-items: center; justify-content: space-between; gap: 1rem; min-height: 3.35rem; padding: .55rem 1.6rem; background: rgb(10 15 18 / 94%); border-bottom: 1px solid var(--line); backdrop-filter: blur(10px); }
.crumbs, .command-meta { display: flex; align-items: center; gap: .65rem; min-width: 0; color: var(--muted); white-space: nowrap; }
.crumbs strong { color: var(--ink); overflow: hidden; text-overflow: ellipsis; }
.crumbs b { color: var(--subtle); }
.health-dot, .live-dot { width: .45rem; height: .45rem; display: inline-block; flex: 0 0 auto; border-radius: 50%; background: var(--mint); box-shadow: 0 0 0 .2rem rgb(22 213 164 / 12%); }
.command-meta { margin-left: auto; }
.workflow-state { color: var(--muted); font-size: .78rem; }
.command-icon { color: var(--muted); font-size: 1.05rem; }
.user-chip { width: 1.7rem; height: 1.7rem; border-radius: 50%; background: #2b3740; color: var(--ink); }
.provenance { display: flex; align-items: center; gap: .45rem; }
.pill, .tag, .count, .progress-label { display: inline-flex; align-items: center; min-height: 1.65rem; padding: .18rem .52rem; color: var(--muted); background: var(--surface-2); border: 1px solid var(--line); border-radius: 999px; font-size: .7rem; font-weight: 750; white-space: nowrap; }
.pill-mock { color: var(--mint); background: var(--mint-soft); border-color: #176c5b; }
.page { width: min(100% - 3rem, 92rem); margin-inline: auto; padding-block: 1.7rem 3rem; }
.workspace-heading { display: flex; align-items: end; justify-content: space-between; gap: 1rem; margin-bottom: 1.15rem; }
.eyebrow { margin: 0 0 .28rem; color: var(--muted); font-size: .66rem; font-weight: 800; letter-spacing: .13em; text-transform: uppercase; }
h1, h2, h3 { margin-top: 0; line-height: 1.15; letter-spacing: -.02em; }
h1 { margin-bottom: .35rem; font-size: clamp(1.6rem, 3vw, 2.15rem); }
h2 { margin-bottom: .55rem; font-size: 1.05rem; }
.lede { margin: 0; color: var(--muted); }
.hero-actions, .action-buttons { display: flex; flex-wrap: wrap; gap: .5rem; }
.button { min-height: 2.35rem; display: inline-flex; align-items: center; justify-content: center; gap: .35rem; padding: .48rem .78rem; color: var(--ink); background: var(--surface-2); border: 1px solid var(--line); border-radius: .35rem; font: inherit; font-size: .79rem; font-weight: 750; text-decoration: none; cursor: pointer; }
.button-primary { color: #031c16; background: var(--mint); border-color: var(--mint); }
.button-primary:hover { background: #4ae0bc; }
.button-secondary:hover, .button-quiet:hover { color: var(--mint); border-color: #217b6c; }
.button:disabled { cursor: not-allowed; opacity: .42; }
.notice { display: flex; align-items: center; gap: .55rem; min-height: 2.35rem; margin-bottom: 1rem; padding: .45rem .7rem; color: var(--muted); background: var(--surface-3); border: 1px solid var(--line); border-radius: .35rem; font-size: .78rem; }
.notice[data-tone="success"] { color: var(--success); border-color: #206d59; }
.notice[data-tone="error"] { color: var(--danger); border-color: #814142; }
.notice-dot { width: .42rem; height: .42rem; flex: 0 0 auto; border-radius: 50%; background: var(--mint); }
.panel { min-width: 0; padding: 1rem 1.05rem; background: var(--surface); border: 1px solid var(--line); border-radius: .42rem; box-shadow: 0 8px 24px rgb(0 0 0 / 14%); }
.section-heading { display: flex; align-items: start; justify-content: space-between; gap: .75rem; margin-bottom: .7rem; }
.section-heading h2 { margin-bottom: 0; }
.workflow-canvas { position: relative; overflow: hidden; margin-bottom: 1rem; padding: 1rem 1.05rem 0; background: radial-gradient(circle at 1px 1px, #23323a 1px, transparent 0) 0 0 / 16px 16px, var(--surface); }
.workflow-canvas::before { content: ""; position: absolute; inset: 0; pointer-events: none; background: linear-gradient(90deg, rgb(17 26 32 / 88%), transparent 15%, transparent 85%, rgb(17 26 32 / 88%)); }
.workflow-canvas > * { position: relative; }
.stepper { display: grid; grid-template-columns: repeat(10, minmax(7rem, 1fr)); gap: 1.2rem; min-width: 70rem; margin: 0; padding: .7rem 0 1.05rem; list-style: none; overflow-x: auto; }
.stepper li { position: relative; display: grid; gap: .16rem; min-width: 6.3rem; padding: .55rem .4rem .35rem; color: var(--subtle); border-top: 1px solid var(--line); }
.stepper li::after { content: "→"; position: absolute; top: .55rem; right: -1rem; color: var(--subtle); }
.stepper li:last-child::after { display: none; }
.stepper li span { width: 1.42rem; height: 1.42rem; display: grid; place-items: center; margin-bottom: .15rem; color: var(--muted); background: var(--surface-3); border: 1px solid #51606a; border-radius: 50%; font-size: .68rem; font-weight: 800; }
.stepper li strong { font-size: .75rem; }
.stepper li small { font-size: .65rem; line-height: 1.25; }
.stepper li.is-current { color: var(--ink); border-color: var(--mint); }
.stepper li.is-current span { color: #032219; background: var(--mint); border-color: var(--mint); }
.stepper li.is-complete { color: var(--success); border-color: #237b66; }
.stepper li.is-complete span { color: #041d17; background: var(--success); border-color: var(--success); }
.canvas-meta { display: flex; flex-wrap: wrap; gap: 1.2rem; align-items: center; padding: .7rem 0; color: var(--muted); border-top: 1px solid var(--line); font-size: .68rem; }
.canvas-meta b { color: var(--ink); font-weight: 650; }
.compiler-status { margin-left: auto; display: inline-flex; align-items: center; gap: .45rem; }
.action-strip { display: flex; align-items: center; justify-content: space-between; gap: 1rem; margin-bottom: 1rem; border-left: 2px solid var(--mint); }
.action-strip p { margin: 0; color: var(--muted); font-size: .76rem; }
.action-buttons { justify-content: end; }
.action-buttons .button { min-width: auto; }
.dashboard-grid { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: .85rem; }
.dashboard-grid > .panel { min-height: 13rem; }
.evidence-panel, .trace-panel { grid-column: span 2; }
.panel-note { margin-top: -.2rem; color: var(--muted); font-size: .75rem; }
.timeline, .workflow-list, .trace-list { display: grid; gap: .42rem; margin: 0; padding: 0; list-style: none; }
.timeline li, .trace-list li { position: relative; padding: .48rem .6rem .48rem .8rem; color: var(--muted); background: var(--surface-3); border-left: 2px solid #416259; }
.timeline li::before { content: ""; position: absolute; top: .7rem; left: -.31rem; width: .47rem; height: .47rem; background: var(--mint); border: 2px solid var(--surface); border-radius: 50%; }
.timeline strong, .trace-list strong { display: block; color: var(--ink); font-size: .75rem; }
.timeline small, .trace-list small { display: block; color: var(--muted); font-size: .68rem; overflow-wrap: anywhere; }
.workflow-list li { display: grid; grid-template-columns: 1.7rem minmax(0, 1fr) auto; align-items: center; gap: .5rem; padding: .42rem .5rem; border: 1px solid var(--line-soft); border-radius: .3rem; }
.node-number { width: 1.45rem; height: 1.45rem; display: grid; place-items: center; color: #062219; background: var(--mint); border-radius: 50%; font-size: .66rem; font-weight: 800; }
.node-kind { display: block; margin-top: .07rem; color: var(--muted); font-size: .65rem; font-weight: 700; text-transform: uppercase; }
.tag-warn { color: var(--warn); background: var(--warn-soft); border-color: #806514; }
.facts { display: grid; gap: 0; margin: 0; }
.facts div { display: grid; grid-template-columns: minmax(6rem, .55fr) minmax(0, 1fr); gap: .6rem; padding: .52rem 0; border-top: 1px solid var(--line-soft); }
.facts div:first-child { border-top: 0; }
.facts dt { color: var(--muted); font-size: .72rem; }
.facts dd { margin: 0; color: var(--ink); font-size: .75rem; font-weight: 650; overflow-wrap: anywhere; }
.diff { display: grid; gap: .5rem; }
.diff-row { display: grid; grid-template-columns: 4.4rem minmax(0, 1fr); gap: .6rem; padding: .5rem; background: var(--surface-3); border-radius: .3rem; }
.diff-row strong { color: var(--muted); font-size: .65rem; text-transform: uppercase; }
.diff-row p { margin: 0; font-size: .72rem; }
.diff-row del { color: var(--danger); }
.diff-row ins { color: var(--success); font-weight: 750; text-decoration: none; }
.diff-semantics, .empty { color: var(--muted); font-size: .74rem; }
.metrics { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: .5rem; }
.metric { padding: .65rem; background: var(--surface-3); border: 1px solid var(--line-soft); border-radius: .3rem; }
.metric span { display: block; color: var(--muted); font-size: .65rem; font-weight: 700; }
.metric strong { display: block; color: var(--ink); font-size: 1.05rem; }
.proof-footer { display: flex; align-items: center; justify-content: space-between; gap: 1rem; margin-top: .85rem; }
.proof-footer p { max-width: 50rem; margin: 0; color: var(--muted); font-size: .76rem; }
.disclaimer { margin: .85rem 0 0; color: var(--subtle); font-size: .68rem; }
@media (max-width: 74rem) { .dashboard-grid { grid-template-columns: repeat(2, minmax(0, 1fr)); } }
@media (max-width: 58rem) { .app-shell { grid-template-columns: 4.15rem minmax(0, 1fr); } .nav-rail { padding-inline: .4rem; } .brand-name, .rail-link:not(.is-active)::first-letter, .rail-link { font-size: 0; } .brand { justify-content: center; } .brand-name { display: none; } .rail-link { justify-content: center; } .rail-link span { font-size: 1rem; } .rail-footer { grid-template-columns: 1fr; justify-items: center; } .rail-footer > span:not(.avatar) { display: none; } .command-bar { padding-inline: 1rem; } .command-meta { display: none; } .workspace-heading, .action-strip, .proof-footer { align-items: stretch; flex-direction: column; } .action-buttons { justify-content: start; } }
@media (max-width: 42rem) { .page { width: min(100% - 1.25rem, 92rem); padding-top: 1.2rem; } .command-bar { justify-content: flex-end; } .command-bar .crumbs, .command-bar #workspace-pill { display: none; } .dashboard-grid { grid-template-columns: minmax(0, 1fr); } .dashboard-grid > .panel { grid-column: auto; } .hero-actions .button, .proof-footer .button { width: 100%; } .stepper { min-width: 58rem; } .canvas-meta { gap: .65rem; } .compiler-status { margin-left: 0; width: 100%; } }
@media (prefers-reduced-motion: reduce) { *, *::before, *::after { scroll-behavior: auto !important; transition-duration: .001ms !important; animation-duration: .001ms !important; animation-iteration-count: 1 !important; } }