/* Tekton story: one sticky stage, chapter copy scrolling over it. Neuralectic palette throughout. */
.tk {
  --surface: #1e1a26; --raised: #262030; --hairline: #2e2a35; --line: #3a3349;
  --usage: #7b6f93; --definition: #a395b8; --lavender: #bfa1f5; --lilac: #f5f0ff;
  --warn: #e6b38e; --dim: #8f8799; --copy-w: min(420px, 31vw); --visual-left: calc(5vw + var(--copy-w) + 3vw);
  overflow-x: clip;
  background-image: none;
}
.tk p { text-align: left; hyphens: none; max-width: none; }
.tk h1, .tk h2 { margin: 0; font-family: var(--mono); font-weight: 500; letter-spacing: 0; line-height: 1.1; color: var(--ink-strong); }
.tk a { border-bottom: 0; }
.tk button { font: inherit; cursor: pointer; }
.tk :focus-visible { outline: 2px solid var(--lavender); outline-offset: 4px; }
.accent { color: var(--lavender); }

/* Header */
.tk-header { position: fixed; inset: 0 0 auto; z-index: 30; height: 88px; display: flex; align-items: center; justify-content: space-between; gap: 24px; padding: 0 5vw; background: linear-gradient(#16141af2, #16141a00); pointer-events: none; }
.tk-header > * { pointer-events: auto; }
.brand { color: var(--ink-strong); display: flex; align-items: center; }
.brand-symbol { display: block; width: 64px; height: 64px; flex: none; }
.brand-copy { display: flex; flex-direction: column; gap: 7px; transform: translateY(4px); }
.brand-name { font: 500 20px/1.2 var(--mono); letter-spacing: 0; white-space: nowrap; }
.brand-tagline { font: 12px/1.4 var(--sans); letter-spacing: .01em; color: var(--ink-muted); }
.tk-nav { display: flex; align-items: center; gap: 30px; }
.tk-nav-link { font: 12px var(--mono); color: var(--ink-muted); white-space: nowrap; }
.tk-nav-link:hover, .tk-nav-link[aria-current="page"] { color: var(--ink-strong); }
.contact-link { font: 12px var(--mono); color: var(--ink); display: flex; gap: 16px; align-items: center; white-space: nowrap; }
.contact-arrow { font-size: 17px; color: var(--lavender); }

/* Stage */
.story { position: relative; }
.stage { position: sticky; top: 0; height: 100svh; min-height: 560px; overflow: hidden; z-index: 0; isolation: isolate; }
.stage::before { content: ""; position: absolute; inset: 0; z-index: -1; background: radial-gradient(ellipse 60% 70% at 66% 50%, #241d3399, transparent 70%); pointer-events: none; }
.stage-gl, .stage-cfd, .stage-svg { position: absolute; inset: 0; width: 100%; height: 100%; display: block; }
.stage-cfd { opacity: 0; }
.stage-svg { overflow: hidden; pointer-events: none; font-family: var(--sans); }
.stage-scrim { position: absolute; inset: 0 auto 0 0; width: calc(var(--visual-left) + 4vw); background: linear-gradient(90deg, #16141af0 0%, #16141ad9 55%, #16141a00 100%); pointer-events: none; z-index: 2; opacity: var(--scrim, 1); }
.stage-loading { position: absolute; left: var(--visual-left); right: 4vw; top: 48%; text-align: center; font: 10px var(--mono); letter-spacing: 1px; color: var(--ink-muted); z-index: 4; }
.stage-loading[hidden] { display: none; }
.stage-loading span { display: block; width: 72px; height: 1px; margin: 14px auto 0; background: var(--lavender); opacity: .6; }

/* Chapters */
.chapters { position: relative; margin-top: -100svh; z-index: 3; pointer-events: none; }
.chapter { height: calc(var(--length) * 1svh); }
/* One screen after the last chapter keeps the stage pinned until the story has finished. */
.chapters-end { height: 100svh; }
.copy { position: sticky; top: max(26svh, 150px); width: var(--copy-w); margin-left: 5vw; pointer-events: auto; opacity: var(--o, 1); transform: translate3d(0, var(--y, 0px), 0); will-change: opacity, transform; }
.chapter-hero .copy { top: max(24svh, 130px); width: min(540px, 40vw); }
.eyebrow { display: flex; align-items: center; gap: 12px; margin: 0 0 24px; font: 10px var(--mono); letter-spacing: 1.6px; color: var(--ink-muted); }
.eyebrow i { width: 22px; height: 1px; background: #655776; }
.eyebrow .dot { width: 5px; height: 5px; border-radius: 50%; background: var(--lavender); }
.platform-intro { margin-bottom: 24px; }
.platform-intro .eyebrow { margin-bottom: 0; letter-spacing: .12em; text-transform: uppercase; }
.platform-credit { margin: 7px 0 0 17px; font: 11px/1.4 var(--mono); letter-spacing: 0; color: var(--ink-muted); }
.platform-credit span { color: var(--lavender); }
.tk h1 { font-size: clamp(34px, 3.7vw, 56px); text-wrap: balance; }
.tk h1 .accent { display: block; }
.chapter h2 { font-size: clamp(28px, 3vw, 50px); margin-bottom: 22px; text-wrap: balance; }
.chapter h2 .accent { display: inline-block; }
.copy > p:not(.eyebrow) { font-size: 17px; line-height: 1.65; color: var(--ink-muted); margin: 0; text-wrap: pretty; }
.chapter-hero .lede { margin-top: 22px !important; max-width: 430px; color: var(--ink) !important; }
.scroll-cue { display: inline-flex; align-items: center; gap: 18px; margin-top: 34px; font-size: 13px; color: var(--ink-strong); }
.cue-arrow { display: grid; place-content: center; width: 28px; height: 40px; border: 1px solid #bfa1f52e; border-radius: 20px; color: var(--lavender); }

/* HUD */
.stage-hud { position: absolute; inset: 0; z-index: 4; pointer-events: none; }
.param-chip { position: absolute; bottom: 52px; right: 4vw; display: flex; align-items: baseline; gap: 10px; padding: 9px 12px; border: 1px solid #bfa1f52e; border-radius: 6px; background: #1e1a26d9; font: 11px var(--mono); color: var(--ink-muted); opacity: var(--o, 0); transform: translateY(var(--y, 0px)); }
.param-owner { color: var(--ink); }
.param-value { font-weight: 400; color: var(--lavender); font-size: 13px; }
.param-rev { padding: 1px 6px; border: 1px solid var(--line); border-radius: 4px; font-size: 10px; }
.param-chip.revised .param-rev { border-color: var(--lavender); color: var(--lavender); }
/* The agent panel: what Tekton is doing now, what it just finished, and what has been verified.
   The ring turns and the text types only as the reader scrolls. */
/* At the finale the panel widens across the page: the agent's last word is the page's invitation. */
/* Fixed to the viewport, so the panel outlasts the stage and comes to rest under the closing headline. */
.agent { position: fixed; z-index: 5; pointer-events: none; left: 5vw; bottom: 16px; width: calc(min(var(--copy-w), 400px) + (90vw - min(var(--copy-w), 400px)) * var(--wide, 0)); box-sizing: border-box; margin: 0; padding: 12px 15px 11px; border: 1px solid #bfa1f538; border-radius: 10px; background: #1c1824e6; box-shadow: 0 0 0 4px #bfa1f50a, 0 18px 48px #0000005c, 0 0 32px #bfa1f512; -webkit-backdrop-filter: blur(8px); backdrop-filter: blur(8px); opacity: var(--o, 0); transform: translateY(calc((1 - var(--o, 0)) * 8px + var(--shift, 0px))); }
.agent-head { display: flex; align-items: center; gap: 9px; margin-bottom: 8px; }
.agent-orb { position: relative; width: 14px; height: 14px; flex: none; border-radius: 50%; background: conic-gradient(from var(--spin, 0deg), #bfa1f500 0deg, #bfa1f5 300deg, #bfa1f500 360deg); }
.agent-orb::after { content: ""; position: absolute; inset: 2px; border-radius: 50%; background: #1c1824; }
.agent-orb i { position: absolute; inset: 4.5px; border-radius: 50%; background: var(--lavender); box-shadow: 0 0 8px var(--lavender); z-index: 1; }
.agent-name { font: 500 9.5px var(--mono); letter-spacing: 1.1px; text-transform: uppercase; color: var(--lavender); }
.agent-status { margin-left: auto; padding: 2px 7px; border: 1px solid #bfa1f540; border-radius: 20px; font: 9px var(--mono); letter-spacing: .4px; color: var(--lavender); }
.agent[data-status="issue"] { border-color: #e6b38e66; box-shadow: 0 0 0 4px #e6b38e0d, 0 18px 48px #0000005c, 0 0 32px #e6b38e14; }
.agent[data-status="issue"] .agent-status { border-color: #e6b38e80; color: var(--warn); }
.agent[data-status="issue"] .agent-orb { background: conic-gradient(from var(--spin, 0deg), #e6b38e00 0deg, var(--warn) 300deg, #e6b38e00 360deg); }
.agent[data-status="issue"] .agent-orb i { background: var(--warn); box-shadow: 0 0 8px var(--warn); }
.agent[data-status="done"] .agent-status { color: var(--ink); border-color: #ffffff26; }
.agent-done { margin: 0 0 3px !important; min-height: 15px; font: 12px/1.3 var(--sans) !important; color: var(--dim) !important; white-space: nowrap; overflow: hidden; text-overflow: ellipsis; }
.agent-done:not(:empty)::before { content: "✓  "; color: var(--lavender); }
.agent-done[data-kind="issue"]:not(:empty)::before { content: "!  "; color: var(--warn); }
/* Room for two lines while the panel is narrow; one once it spans the page. */
.agent-now { min-height: calc(1.35em * (2 - var(--wide, 0))); margin: 0 !important; font: 500 calc(15px + 9px * var(--wide, 0))/1.35 var(--sans) !important; letter-spacing: -.15px; color: var(--ink-strong) !important; }
.agent-caret { display: inline-block; width: 7px; height: 15px; margin: 0 1px -2px 2px; background: var(--lavender); opacity: var(--caret, 0); }
.agent-rest { color: transparent; }
.agent-link { color: inherit; text-decoration: none; }
.agent-link[href] { pointer-events: auto; color: var(--lavender); }
.agent-link[href]::after { content: " ↗"; }
.agent-link[href]:hover { color: var(--lilac); }
.agent .checks { display: flex; gap: 16px; margin: 11px 0 0; padding: 9px 0 0; border-top: 1px solid #ffffff12; list-style: none; font: 9.5px var(--mono); color: var(--dim); }
.checks li { display: flex; align-items: center; gap: 7px; }
.checks i { width: 10px; height: 10px; border-radius: 50%; border: 1px solid #5d536a; position: relative; }
.checks [data-state="run"] { color: var(--lavender); }
.checks [data-state="run"] i { border-color: var(--lavender); background: conic-gradient(var(--lavender) calc(var(--p, 0) * 1turn), transparent 0); }
.checks [data-state="pass"] { color: var(--ink); }
.checks [data-state="pass"] i { border-color: var(--lavender); background: var(--lavender); box-shadow: inset 0 0 0 2px var(--paper); }
.checks [data-state="fail"], .checks [data-state="stale"] { color: var(--warn); }
.checks [data-state="fail"] i, .checks [data-state="stale"] i { border-color: var(--warn); }
.checks [data-state="stale"] i { border-style: dashed; }
.rail { position: absolute; right: 22px; top: 50%; transform: translateY(-50%); display: flex; flex-direction: column; gap: 9px; pointer-events: auto; }
.rail button { display: flex; align-items: center; justify-content: flex-end; gap: 10px; padding: 2px 0; border: 0; background: none; color: var(--dim); font: 9px var(--mono); letter-spacing: .5px; }
.rail button span { opacity: 0; transform: translateX(4px); transition: opacity .2s, transform .2s; white-space: nowrap; }
.rail button:hover span, .rail button:focus-visible span { opacity: 1; transform: none; }
.rail button i { width: 14px; height: 1px; background: #4c4458; transition: width .2s, background .2s; }
.rail button[aria-current="step"] { color: var(--lavender); }
.rail button[aria-current="step"] i { width: 22px; background: var(--lavender); }

/* Closing */
/* A full screen, so the stage and its agent panel have left the view when the page ends. */
.closing { position: relative; z-index: 3; box-sizing: border-box; min-height: 100svh; display: flex; flex-direction: column; justify-content: center; align-items: center; text-align: center; padding: 190px 24px 200px; background: var(--paper); }
.closing > * { opacity: var(--reveal, 1); transform: translateY(calc((1 - var(--reveal, 1)) * 24px)); }
.closing h2 { font-size: clamp(36px, 4.8vw, 72px); text-wrap: balance; }
.tk-footer { position: relative; z-index: 3; display: flex; gap: 20px; max-width: 1600px; margin: auto; padding: 24px 5vw 30px; border-top: 1px solid var(--rule); font: 9px var(--mono); color: var(--ink-muted); background: var(--paper); }
.tk-footer a { color: var(--ink-muted); }
.tk-footer a:last-child { margin-left: auto; color: var(--lavender); }
.skip-link { position: fixed; left: 15px; top: -60px; z-index: 40; padding: 10px 15px; background: var(--paper); border: 1px solid var(--lavender) !important; }
.skip-link:focus { top: 15px; }
.no-script { padding: 20px; text-align: center; font-size: 13px; }

/* Phones: the stage keeps the upper part of the screen, the copy sits below it. */
@media (max-width: 820px) {
  .tk { --copy-w: auto; --visual-left: 5vw; }
  .tk-header { height: 76px; padding: 0 6vw; gap: 12px; }
  .brand-symbol { width: 48px; height: 48px; }
  .brand-copy { gap: 5px; transform: translateY(2px); }
  .brand-name { font-size: 16px; }
  .brand-tagline { font-size: 11px; }
  .tk-nav { gap: 18px; } .tk-nav-link { font-size: 11px; }
  .contact-link { font-size: 11px; gap: 6px; }
  .stage-scrim { inset: auto 0 0 0; width: auto; height: 46svh; background: linear-gradient(0deg, #16141afa 0%, #16141ae6 62%, #16141a00 100%); }
  .copy, .chapter-hero .copy { top: auto; position: sticky; bottom: 0; width: auto; margin: 0 6vw; padding: 0 0 7svh; }
  .chapter { display: flex; flex-direction: column; justify-content: flex-end; }
  .chapter .copy { margin-top: auto; }
  .tk h1 { font-size: clamp(28px, 7.8vw, 48px); }
  .chapter h2 { font-size: clamp(27px, 7vw, 42px); margin-bottom: 14px; }
  .copy > p:not(.eyebrow) { font-size: 14.5px; line-height: 1.55; }
  .eyebrow { margin-bottom: 14px; font-size: 9px; }
  .platform-intro { margin-bottom: 18px; }
  .platform-credit { font-size: 10px; }
  .chapter-hero .lede { margin-top: 14px !important; }
  .scroll-cue { margin-top: 20px; }
  .param-chip { display: none; }
  .agent { left: 6vw; right: 6vw; width: auto; bottom: auto; top: calc(55svh - 54px); padding: 9px 12px 8px; }
  .agent-done { display: none; }
  .agent-head { margin-bottom: 5px; }
  .agent-now { font-size: calc(13px + 5px * var(--wide, 0)) !important; }
  .agent .checks { gap: 10px; margin-top: 7px; padding-top: 6px; font-size: 8px; }
  .rail { display: none; }
  .stage-loading { left: 5vw; right: 5vw; top: 26%; }
  .closing { padding: 190px 6vw 170px; }
  .closing h2 { font-size: clamp(25px, 6.5vw, 40px); }
}
@media (max-width: 520px) {
  .brand-symbol { width: 40px; height: 40px; }
  .brand-name { font-size: clamp(12px, 3.4vw, 16px); }
  .brand-tagline { font-size: 10px; }
  .contact-link { justify-content: center; min-width: 24px; min-height: 44px; }
  .contact-text { display: none; }
  /* Little room beside the brand: the link to the page already open gives way; About and the contact arrow stay. */
  .tk-nav { gap: 12px; } .tk-nav-link[aria-current="page"] { display: none; }
}
@media (prefers-reduced-motion: reduce) {
  .copy, .closing > * { opacity: 1 !important; transform: none !important; will-change: auto; }
  .rail button span, .rail button i { transition: none; }
}

/* Hero overview: harness, ontology and verifier in one loop */
.ov-frame { fill: #1a162299; stroke: #3f374b; stroke-width: 1; }
.ov-title { font: 500 17px var(--mono); fill: var(--ink-strong); letter-spacing: 0; }
.ov-sub { font: 11.5px var(--mono); fill: #8f8799; }
.ov-note { font: 11px var(--mono); letter-spacing: .08em; fill: var(--lavender); }
.ov-flow-base { fill: none; stroke: #4a4258; stroke-width: 1.2; }
.ov-flow-lit { fill: none; stroke: var(--lavender); stroke-width: 2; stroke-linecap: round; }
.ov-flow-head { fill: none; stroke: #6f6382; stroke-width: 1.2; stroke-linecap: round; stroke-linejoin: round; }
.ov-flow-label { font: 11px var(--mono); letter-spacing: .12em; fill: #8f8799; paint-order: stroke; stroke: #17151c; stroke-width: 4px; stroke-linejoin: round; }
.ov-flow-label.is-on { fill: var(--lavender); }
.ov-pulse { fill: var(--lavender); }
.ov-flow.is-fail .ov-flow-lit { stroke: var(--warn); }
.ov-flow.is-fail .ov-pulse { fill: var(--warn); }
.ov-flow.is-fail .ov-flow-label.is-on { fill: var(--warn); }
.ov-halo { fill: none; stroke: #bfa1f51f; stroke-width: 1; }
.ov-core { fill: #1c1824; stroke: #bfa1f566; stroke-width: 1.2; }
.ov-ring { fill: none; stroke: var(--lavender); stroke-width: 2; stroke-linecap: round; }
.ov-ring-faint { stroke: #bfa1f566; }
.ov-orb { fill: var(--lavender); }
.ov-harness.is-issue .ov-ring, .ov-harness.is-issue .ov-orb { stroke: var(--warn); fill: var(--warn); }
.ov-harness.is-issue .ov-ring { fill: none; }
.ov-harness.is-adapting .ov-halo, .ov-harness.is-verified .ov-halo { stroke: #bfa1f566; stroke-width: 1.5; }
.ov-harness.is-issue .ov-note { fill: var(--warn); }
.ov-edge { fill: none; stroke: #6f6382; stroke-width: 1.2; }
.ov-edge.is-lit { stroke: var(--lavender); stroke-width: 1.8; }
.ov-dot { fill: #3a3347; }
.ov-node-body { fill: #1e1a26; stroke: #4c4359; stroke-width: 1; }
.ov-node.is-changed .ov-node-body { stroke: var(--lavender); stroke-width: 1.6; }
.ov-node.is-gap .ov-node-body { stroke: var(--warn); stroke-width: 1.4; }
.ov-note.is-issue { fill: var(--warn); }
.ov-node-dot { fill: #8d74b8; }
.ov-node-bar { fill: #5f5672; }
.ov-node-bar-faint { fill: #3f374b; }
.ov-badge circle { fill: #2a2236; stroke: var(--lavender); stroke-width: 1.2; }
.ov-badge text { font: 11px var(--mono); fill: var(--lavender); }
.ov-row-body { fill: #1e1a26; stroke: #3f374b; stroke-width: 1; }
.ov-glyph { font: 17px var(--mono); fill: #8d80a3; }
.ov-row-label { font: 13px var(--sans); fill: var(--ink); }
.ov-status circle { fill: none; stroke: #5d536a; stroke-width: 1.2; }
.ov-mark { fill: none; stroke: var(--lavender); stroke-width: 1.8; stroke-linecap: round; stroke-linejoin: round; }
.ov-row[data-state="run"] .ov-row-body { stroke: #8d74b8; }
.ov-row[data-state="pass"] .ov-status circle { stroke: var(--lavender); }
.ov-row[data-state="pass"] .ov-glyph { fill: var(--lavender); }
.ov-row[data-state="fail"] .ov-row-body, .ov-row[data-state="fail"] .ov-status circle, .ov-row[data-state="fail"] .ov-mark { stroke: var(--warn); }
.ov-row[data-state="fail"] .ov-glyph, .ov-row[data-state="fail"] .ov-row-label { fill: var(--warn); }
@media (max-width: 820px) {
  .ov-title { font-size: 26px; } .ov-sub { display: none; } .ov-row-label { font-size: 20px; } .ov-glyph { font-size: 22px; }
  .ov-flow-label, .ov-note { font-size: 18px; }
}

/* Drawing sheet */
.dwg path { fill: none; stroke-linecap: round; stroke-linejoin: round; }
.dwg-frame { stroke: #8d80a3; stroke-width: 1.2; }
.dwg-thin { stroke: #5c536b; stroke-width: .8; }
.dwg-line { stroke: #d9cfe9; stroke-width: 1.15; }
.dwg-center { stroke: #74658c; stroke-width: .75; stroke-dasharray: 14 3 2 3; }
.dwg-dim, .dwg-ext { stroke: #8f84a3; stroke-width: .7; }
.dwg-cut { stroke: #b49ad9; stroke-width: 1.6; }
.dwg text { fill: #a79eb4; font-family: var(--mono); font-size: 11px; letter-spacing: .02em; }
.dwg .dwg-zone { font-size: 8px; fill: #6d6479; }
.dwg .dwg-title-brand { font-size: 15px; fill: var(--ink-strong); letter-spacing: .18em; }
.dwg .dwg-title { font-size: 12px; fill: var(--ink); }
.dwg .dwg-small { font-size: 8.5px; fill: #8a8196; }
.dwg .dwg-rev { font-size: 17px; fill: var(--lavender); }
.dwg .dwg-label { font-size: 13px; fill: #c9b6ef; }
.dwg .dwg-dimtext { font-size: 10.5px; fill: #c3bad0; paint-order: stroke; stroke: #1a1722; stroke-width: 3px; stroke-linejoin: round; }
.dwg .dwg-caption { font-size: 10px; fill: #a79eb4; letter-spacing: .14em; }
.dwg .dwg-id { font-size: 10px; fill: #c9b6ef; }
.dwg .dwg-note { font-size: 10.5px; fill: #b8afc6; font-style: italic; }
.dwg .dwg-heading { font-size: 9px; fill: #8a8196; letter-spacing: .16em; }
.dwg .dwg-table { font-family: var(--sans); font-size: 11.5px; fill: #c3bad0; letter-spacing: 0; }
.dwg-key { stroke: var(--lavender); }
.dwg text.dwg-key, .dwg .dwg-key-text { fill: var(--lavender); }
.dwg.is-key .dwg-key { stroke-width: 1.6; filter: drop-shadow(0 0 4px #bfa1f599); }
.dwg.is-key text.dwg-key { font-size: 12px; font-weight: 500; stroke-width: 3px; }
.dwg-revtri { fill: #16141a; stroke: var(--lavender); stroke-width: 1.1; }
.dwg .dwg-revtext { font-size: 9px; fill: var(--lavender); }

/* System model (Tekton card language, Neuralectic palette) */
.onto-dot { fill: #bfa1f5; opacity: .17; }
.onto-edge { fill: none; stroke: #5f5672; stroke-width: 1.1; stroke-linejoin: round; stroke-linecap: round; }
.onto-edge.is-lit { stroke: #bfa1f5; }
.onto-edge.is-error { stroke: var(--warn); stroke-width: 1.7; }
.onto-edge.is-ok { stroke: #d9c8ff; stroke-width: 1.7; }
.onto-internal { stroke: #9c88bf; stroke-width: 1.3; }
.onto-body { fill: #1e1a26; stroke: #4c4359; stroke-width: 1; }
.onto-header { fill: #262031; }
.onto-stack { fill: #1a1621; stroke: #5a4f6a; stroke-width: 1; }
.onto-icon { fill: none; stroke: var(--lavender); stroke-width: 1.2; stroke-linejoin: round; stroke-linecap: round; }
.onto-title { font: 500 14px var(--mono); fill: var(--ink-strong); letter-spacing: 0; }
.onto-title-small { font-size: 12.5px; }
.onto-type { font: 10.5px var(--mono); fill: #a29ca9; }
.onto-foot { font: 10px var(--sans); fill: #8f8799; }
.onto-port { fill: #1e1a26; stroke: var(--lavender); stroke-width: 1; }
.onto-port.is-lit { fill: var(--lavender); }
.onto-port.is-error { stroke: var(--warn); fill: #3b2b25; }
.onto-port.is-missing { stroke: var(--warn); stroke-dasharray: 2 1.6; fill: none; }
.onto-card.is-error .onto-body { stroke: var(--warn); }
.onto-card.is-lit .onto-body, .onto-card.is-folded .onto-body { stroke: #a58ad6; }
.onto-card.is-quiet .onto-body { stroke: #342e3f; fill: #1a1720; }
.onto-card.is-quiet .onto-header { fill: #1f1b27; }
.onto-card.is-quiet .onto-title { fill: #8f8799; }
.onto-card.is-quiet .onto-icon { stroke: #5f5672; }
.onto-badge circle { fill: #2b2125; stroke: var(--warn); stroke-width: 1; }
.onto-badge path { fill: none; stroke: var(--warn); stroke-width: 1.4; stroke-linecap: round; }
.onto-frame-body { fill: #1a1622; stroke: #3f374b; stroke-width: 1; }
.onto-frame-chip { fill: #262031; stroke: #5a4f6a; stroke-width: 1; }
.onto-counter { font: 12px var(--mono); fill: #a29ca9; letter-spacing: .02em; }
.onto-toast-body { fill: #1e1a26f2; stroke: #4c4359; stroke-width: 1; }
.onto-toast.is-error .onto-toast-body { stroke: var(--warn); }
.onto-toast.is-ok .onto-toast-body, .onto-toast.is-agent .onto-toast-body { stroke: #8d74b8; }
.onto-toast-ring { fill: none; stroke: var(--lavender); stroke-width: 1.1; }
.onto-toast-glyph { fill: none; stroke: var(--lavender); stroke-width: 1.5; stroke-linecap: round; stroke-linejoin: round; }
.onto-toast.is-error .onto-toast-ring, .onto-toast.is-error .onto-toast-glyph { stroke: var(--warn); }
.onto-toast-title { font: 500 13px var(--mono); fill: var(--ink-strong); }
.onto-toast-text { font: 11px var(--mono); fill: #b8afc6; }
.onto-diff-body { fill: #19161ff2; stroke: #4c4359; stroke-width: 1; }
.onto-diff-head { font: 10px var(--mono); fill: #8f8799; }
.onto-diff-line { font: 11.5px var(--mono); }
.onto-diff-line.del { fill: #d9a58f; }
.onto-diff-line.add { fill: var(--lavender); }
.onto-diff-line.struck { text-decoration: line-through; }
.onto-tag rect, .onto-bundle rect { fill: #262031; stroke: var(--lavender); stroke-width: 1; }
.onto-tag text, .onto-bundle text { font: 10px var(--mono); fill: var(--lavender); }
.onto-port-label { font: 9.5px var(--mono); fill: #8f8799; }
.onto-port-label.is-error { fill: var(--warn); }
.onto-port-label.is-lit { fill: var(--lavender); }

/* State machine */
.sm-transition path { fill: none; stroke: #5f5672; stroke-width: 1.15; stroke-linejoin: round; }
.sm-transition .sm-head { stroke-linecap: round; }
.sm-transition.is-reject path { stroke-dasharray: 4 4; stroke: #4a4258; }
.sm-transition.is-lit path, .sm-transition.is-taken path { stroke: var(--lavender); stroke-width: 1.8; }
.sm-transition.is-reject.is-lit path { stroke: #c9a7e9; stroke-dasharray: 4 3; }
.sm-event { font: 9px var(--mono); fill: #a29ca9; }
.sm-guard { font: 9px var(--mono); fill: #8d80a3; }
.sm-transition.is-lit .sm-guard { fill: var(--lavender); }
.sm-body { fill: #1e1a26; stroke: #514758; stroke-width: 1; }
.sm-inner { fill: none; stroke: #514758; stroke-width: .8; }
.sm-name { font: 500 11px var(--mono); fill: var(--ink-strong); }
.sm-entry { font: 8.5px var(--mono); fill: #a29ca9; }
.sm-state.is-visited .sm-body { fill: #2a2236; stroke: #8d74b8; }
.sm-state.is-current .sm-body { fill: #2f2540; stroke: var(--lavender); stroke-width: 2; }
.sm-state.is-focus .sm-body { stroke: var(--lavender); stroke-width: 1.8; }
.sm-initial circle { fill: #958b9f; }
.sm-initial path { stroke: #5f5672; stroke-width: 1.15; fill: none; }
.sm-card { fill: #1e1a26f0; stroke: #4c4359; stroke-width: 1; }
.sm-kicker { font: 10px var(--mono); letter-spacing: .14em; fill: #8f8799; }
.sm-formula { font: 14px var(--mono); fill: var(--lavender); }
.sm-plain { font: 13px var(--sans); fill: var(--ink); }
.sm-verdict { font: 12px var(--mono); fill: #a29ca9; }
.sm-verdict.is-proven { fill: var(--lavender); }
.sm-check-dot { fill: none; stroke: #5d536a; stroke-width: 1; }
.sm-check-tick { fill: none; stroke: transparent; stroke-width: 1.4; stroke-linecap: round; stroke-linejoin: round; }
.sm-checks .is-pass .sm-check-dot { stroke: var(--lavender); }
.sm-checks .is-pass .sm-check-tick { stroke: var(--lavender); }
.sm-check-text { font: 11.5px var(--sans); fill: #a29ca9; }
.sm-checks .is-pass .sm-check-text { fill: var(--ink); }
.sm-checks .is-key .sm-check-text { fill: var(--lavender); }

/* Charts */
.chart-kicker { font: 10px var(--mono); letter-spacing: .14em; fill: #8f8799; }
.chart-readout { font: 11px var(--mono); fill: var(--ink); }
.chart-axis { fill: none; stroke: #4a4258; stroke-width: 1; }
.chart-tick { font: 9.5px var(--mono); fill: #8f8799; }
.chart-tick-warm { fill: var(--warn); }
.chart-limit { fill: none; stroke: #8f84a3; stroke-width: 1; stroke-dasharray: 5 4; }
.chart-limit-label { font: 9.5px var(--mono); fill: #a29ca9; }
.chart-area { fill: #bfa1f514; stroke: none; }
.chart-line { fill: none; stroke: var(--lavender); stroke-width: 1.6; stroke-linejoin: round; }
.chart-line-dim { stroke: #6f6382; stroke-width: 1.2; }
.chart-line-warm { stroke: var(--warn); stroke-width: 1.3; }
.chart-event { stroke: #5a4f6a; stroke-width: 1; stroke-dasharray: 2 3; }
.chart-event-label { font: 9px var(--mono); fill: #8f8799; }
.chart-marker circle { fill: var(--lavender); }
.chart-marker .chart-marker-halo { fill: none; stroke: #bfa1f566; }
.chart-marker.is-focus .chart-marker-halo { stroke: var(--lavender); stroke-width: 1.5; }
.chart-marker-label { font: 500 12px var(--mono); fill: var(--ink-strong); }
.chart-marker-sub { font: 10px var(--mono); fill: #a29ca9; }
.chart-big { font: 500 15px var(--mono); fill: var(--lavender); }
.chart-panel-title { font: 9.5px var(--mono); letter-spacing: .12em; fill: #8f8799; }
.chart-over { fill: #e6b38e38; stroke: none; }
.chart-line-ghost { stroke: #8f84a3; stroke-width: 1.1; stroke-dasharray: 4 3; }
.chart-marker.is-fail circle { fill: var(--warn); }
.chart-marker.is-fail .chart-marker-halo { fill: none; stroke: #e6b38e88; }
.chart-marker-label.is-fail, .chart-limit-label.is-fail { fill: var(--warn); }
.chart-limit-warm { stroke: #e6b38e99; }
/* Values stay legible where they cross lines: a halo in the stage colour. */
.chart .chart-marker-label, .chart .chart-marker-sub, .chart .chart-limit-label { paint-order: stroke; stroke: #17151c; stroke-width: 3px; stroke-linejoin: round; }
.chart-infeasible { fill: #e6b38e10; stroke: #e6b38e33; }
.chart-point { fill: var(--lavender); }
.chart-point-warm { fill: var(--warn); }
.chart-point.is-open { fill: #17151c; stroke: var(--lavender); stroke-width: 1.3; }
.chart-point-warm.is-open { stroke: var(--warn); }
.chart-pick circle { fill: none; stroke: var(--lavender); stroke-width: 1.6; }

/* Revision panels */
.rv-body { fill: #1e1a26f2; stroke: #a395b8; stroke-width: 1.2; }
.rv-header { fill: #262031; }
.rv-section { font: 9.5px var(--mono); letter-spacing: .14em; fill: #8f8799; }
.rv-label { font: 12px var(--mono); fill: var(--ink); }
.rv-value { font: 12px var(--mono); fill: var(--ink-strong); }
.rv-old { font: 11px var(--mono); fill: #7f758c; text-decoration: line-through; }
.rv-row.is-changed .rv-value { fill: var(--lavender); }
.rv-dot { fill: none; stroke: #5d536a; stroke-width: 1; }
.rv-tick { fill: none; stroke: transparent; stroke-width: 1.4; stroke-linecap: round; stroke-linejoin: round; }
.rv-row.is-pass .rv-dot, .rv-row.is-pass .rv-tick { stroke: var(--lavender); }
.rv-row.is-pass .rv-value { fill: var(--lavender); }
.rv-row.is-run .rv-dot { stroke: var(--lavender); stroke-dasharray: 2 2; }
.rv-row.is-stale .rv-dot { stroke: var(--warn); stroke-dasharray: 2 2; }
.rv-row.is-stale .rv-value { fill: var(--warn); }

/* Exploded-part labels */
.label-leader { fill: none; stroke: #8d80a3; stroke-width: 1; }
.label-dot { fill: var(--lavender); }
.label-name { font: 500 12px var(--mono); fill: var(--ink-strong); }
.label-type { font: 10px var(--mono); fill: #a29ca9; }