/* AgentPROV website (D-1000). Design note: docs/reports/site/design-note.md.
   Layout: one centred column (max 1180px) of chapters; the app tour sits on a deep indigo band, the app icon's tile.
   Every colour is a token; the dark palette redefines the tokens only. No font files: the platform's own faces. */

:root {
  /* colour: cool neutrals biased toward the brand indigo */
  --bg: #f6f7fb;
  --bg-raised: #ffffff;
  --bg-sunk: #eceef6;
  --ink: #12142b;
  --ink-2: #4b5070;
  --ink-3: #5f6480;
  --line: rgba(18, 20, 43, 0.1);
  --line-strong: rgba(18, 20, 43, 0.18);
  --accent: #3a4db8;
  --accent-hover: #2f40a0;
  --on-accent: #ffffff;
  --accent-soft: rgba(58, 77, 184, 0.09);
  --relation: #1f2a6e;
  --wordmark: #1d1d1f;
  --wordmark-accent: #3a4db8;
  /* the PROV node hues of the logo and the app's graph (brand.md) */
  --entity: #ffe680;
  --entity-edge: #d4a20a;
  --activity: #9fb0ff;
  --activity-edge: #5468d8;
  --agent: #ffb95c;
  --agent-edge: #d9821a;
  --inference: #7a4fc4;
  /* the indigo band (the app icon's tile) is dark in both themes */
  --band-top: #2c3a96;
  --band-bottom: #121848;
  --band-ink: #f2f3fb;
  --band-ink-2: #c3c9ee;
  --band-line: rgba(242, 243, 251, 0.16);
  --band-raised: rgba(255, 255, 255, 0.07);
  --band-accent: #ffd84d;
  --code-bg: #12142b;
  --code-ink: #e8eaf6;
  --shadow: 0 1px 2px rgba(18, 20, 43, 0.06), 0 12px 40px -12px rgba(18, 20, 43, 0.22);
  --shadow-lg: 0 2px 6px rgba(18, 20, 43, 0.06), 0 40px 90px -30px rgba(18, 20, 43, 0.45);
  --show-light: block;
  --show-dark: none;
  --outline-on: 1;

  /* type: the platform's own faces, so no font is downloaded and nothing needs a licence */
  --font-display: ui-sans-serif, -apple-system, BlinkMacSystemFont, "Segoe UI Variable Display", "Segoe UI", system-ui,
    "Noto Sans", Ubuntu, Cantarell, "Helvetica Neue", Arial, sans-serif;
  --font-body: ui-sans-serif, -apple-system, BlinkMacSystemFont, "Segoe UI Variable Text", "Segoe UI", system-ui,
    "Noto Sans", Ubuntu, Cantarell, "Helvetica Neue", Arial, sans-serif;
  --font-mono: ui-monospace, "SF Mono", "Cascadia Code", "JetBrains Mono", "Noto Sans Mono", Menlo, Consolas,
    "Liberation Mono", monospace;
  --step--1: 0.875rem;
  --step-0: 1.0625rem;
  --step-1: 1.25rem;
  --step-2: clamp(1.45rem, 1.1rem + 1.2vw, 1.85rem);
  --step-3: clamp(2rem, 1.3rem + 2.6vw, 3.1rem);
  --step-4: clamp(2.6rem, 1.4rem + 5vw, 5.2rem);

  /* space and shape */
  --wrap: 1180px;
  --gutter-l: max(20px, env(safe-area-inset-left, 0px));
  --gutter-r: max(20px, env(safe-area-inset-right, 0px));
  --chapter: clamp(5rem, 3rem + 7vw, 9.5rem);
  --radius: 14px;
  --radius-lg: 22px;
  --ease: cubic-bezier(0.2, 0.7, 0.1, 1);
  --nav-h: 56px;
}

@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) {
    --bg: #0a0c1c;
    --bg-raised: #12152b;
    --bg-sunk: #0e1124;
    --ink: #eef0fa;
    --ink-2: #b0b5d0;
    --ink-3: #9196b4;
    --line: rgba(238, 240, 250, 0.1);
    --line-strong: rgba(238, 240, 250, 0.2);
    --accent: #a9b8ff;
    --accent-hover: #c3ceff;
    --on-accent: #0a0c1c;
    --accent-soft: rgba(169, 184, 255, 0.1);
    --relation: #ffffff;
    --wordmark: #f5f5f7;
    --wordmark-accent: #a9b8ff;
    --inference: #b99bf0;
    --band-top: #1d2670;
    --band-bottom: #0b0f33;
    --code-bg: #05060f;
    --shadow: 0 1px 2px rgba(0, 0, 0, 0.4), 0 12px 40px -12px rgba(0, 0, 0, 0.7);
    --shadow-lg: 0 2px 6px rgba(0, 0, 0, 0.4), 0 40px 90px -30px rgba(0, 0, 0, 0.9);
    --show-light: none;
    --show-dark: block;
    --outline-on: 0;
    color-scheme: dark;
  }
}

:root[data-theme="dark"] {
  --bg: #0a0c1c;
  --bg-raised: #12152b;
  --bg-sunk: #0e1124;
  --ink: #eef0fa;
  --ink-2: #b0b5d0;
  --ink-3: #9196b4;
  --line: rgba(238, 240, 250, 0.1);
  --line-strong: rgba(238, 240, 250, 0.2);
  --accent: #a9b8ff;
  --accent-hover: #c3ceff;
  --on-accent: #0a0c1c;
  --accent-soft: rgba(169, 184, 255, 0.1);
  --relation: #ffffff;
  --wordmark: #f5f5f7;
  --wordmark-accent: #a9b8ff;
  --inference: #b99bf0;
  --band-top: #1d2670;
  --band-bottom: #0b0f33;
  --code-bg: #05060f;
  --shadow: 0 1px 2px rgba(0, 0, 0, 0.4), 0 12px 40px -12px rgba(0, 0, 0, 0.7);
  --shadow-lg: 0 2px 6px rgba(0, 0, 0, 0.4), 0 40px 90px -30px rgba(0, 0, 0, 0.9);
  --show-light: none;
  --show-dark: block;
  --outline-on: 0;
  color-scheme: dark;
}

/* ------------------------------------------------------------------ base */
*, *::before, *::after { box-sizing: border-box; }
html { -webkit-text-size-adjust: 100%; scroll-behavior: smooth; scroll-padding-top: calc(var(--nav-h) + 16px); }
body {
  margin: 0;
  background: var(--bg);
  color: var(--ink);
  font: 400 var(--step-0) / 1.6 var(--font-body);
  -webkit-font-smoothing: antialiased;
  text-rendering: optimizeLegibility;
  overflow-x: clip;
}
body::before {
  content: "";
  position: fixed;
  inset: 0 0 auto;
  height: env(safe-area-inset-top, 0px);
  z-index: 60;
  background: var(--bg);
}
img { max-width: 100%; height: auto; display: block; }
a { color: var(--accent); text-underline-offset: 0.18em; text-decoration-thickness: 1px; }
a:hover { color: var(--accent-hover); }
:focus-visible { outline: 2px solid var(--accent); outline-offset: 3px; border-radius: 6px; }
code, kbd, pre { font-family: var(--font-mono); font-size: 0.9em; }
h1, h2, h3 { font-family: var(--font-display); text-wrap: balance; margin: 0; }
p { margin: 0; text-wrap: pretty; }
ul, ol { margin: 0; padding: 0; }
.wrap { width: 100%; max-width: calc(var(--wrap) + 40px); margin-inline: auto; padding-left: var(--gutter-l); padding-right: var(--gutter-r); }
.skip { position: absolute; left: -999px; top: 8px; z-index: 100; background: var(--bg-raised); padding: 10px 14px; border-radius: 10px; }
.skip:focus { left: var(--gutter-l); }
.sr-only { position: absolute; width: 1px; height: 1px; overflow: hidden; clip: rect(0 0 0 0); white-space: nowrap; }
.l { display: var(--show-light); }
.d { display: var(--show-dark); }

/* ------------------------------------------------------------------ nav */
.nav {
  position: sticky;
  top: env(safe-area-inset-top, 0px);
  z-index: 50;
  background: color-mix(in srgb, var(--bg) 78%, transparent);
  backdrop-filter: saturate(1.6) blur(18px);
  -webkit-backdrop-filter: saturate(1.6) blur(18px);
  border-bottom: 1px solid var(--line);
}
.nav-inner { display: flex; align-items: center; gap: 24px; height: var(--nav-h); }
.brand { display: inline-flex; align-items: center; color: var(--wordmark); text-decoration: none; flex: none; }
.brand svg { height: 30px; width: auto; }
.nav-links { display: flex; gap: 22px; margin-left: auto; list-style: none; }
.nav-links a { color: var(--ink-2); text-decoration: none; font-size: var(--step--1); font-weight: 500; }
.nav-links a:hover { color: var(--ink); }
.nav-actions { display: flex; align-items: center; gap: 10px; }
.icon-btn {
  display: inline-grid; place-items: center; width: 34px; height: 34px; border-radius: 50%;
  border: 1px solid var(--line); background: transparent; color: var(--ink-2); cursor: pointer;
}
.icon-btn:hover { color: var(--ink); border-color: var(--line-strong); }
.icon-btn svg { width: 17px; height: 17px; }
@media (max-width: 900px) { .nav-links { display: none; } .nav-actions { margin-left: auto; } }

/* ------------------------------------------------------------------ buttons */
.btn {
  --b-bg: var(--accent); --b-ink: var(--on-accent); --b-line: transparent;
  display: inline-flex; align-items: center; justify-content: center; gap: 10px;
  min-height: 46px; padding: 0 22px; border-radius: 999px;
  background: var(--b-bg); color: var(--b-ink); border: 1px solid var(--b-line);
  font: 600 var(--step-0) / 1 var(--font-body); text-decoration: none; white-space: nowrap;
  transition: transform 0.25s var(--ease), background-color 0.2s, box-shadow 0.25s var(--ease);
}
.btn:hover { --b-bg: var(--accent-hover); color: var(--b-ink); transform: translateY(-1px); box-shadow: var(--shadow); }
.btn:active { transform: translateY(0); }
.btn svg { width: 18px; height: 18px; flex: none; }
.btn.ghost { --b-bg: transparent; --b-ink: var(--accent); --b-line: var(--line-strong); }
.btn.ghost:hover { --b-bg: var(--accent-soft); }
.btn.small { min-height: 34px; padding: 0 14px; font-size: var(--step--1); }

/* ------------------------------------------------------------------ chapters */
.chapter { padding-block: var(--chapter); }
.chapter + .chapter { padding-top: 0; }
.eyebrow {
  display: inline-flex; align-items: center; gap: 10px;
  font: 600 0.78rem / 1 var(--font-mono); letter-spacing: 0.08em; text-transform: uppercase; color: var(--accent);
}
.eyebrow::before { content: ""; width: 18px; height: 1.5px; background: currentColor; }
.chapter-head { display: grid; gap: 18px; max-width: 760px; margin-bottom: clamp(2.5rem, 2rem + 2vw, 4rem); }
.chapter-head h2 { font-size: var(--step-3); line-height: 1.06; letter-spacing: -0.028em; font-weight: 700; }
.chapter-head p { font-size: var(--step-1); line-height: 1.5; color: var(--ink-2); max-width: 64ch; }

/* ------------------------------------------------------------------ hero */
.hero { position: relative; padding-top: clamp(3.5rem, 2rem + 6vw, 7.5rem); overflow: clip; }
.hero-grid { display: grid; grid-template-columns: minmax(0, 1.15fr) minmax(0, 0.85fr); align-items: center; gap: clamp(2rem, 4vw, 4rem); }
.hero-copy { display: grid; gap: 26px; min-width: 0; }
.hero h1 { font-size: var(--step-4); line-height: 0.98; letter-spacing: -0.042em; font-weight: 750; }
.hero h1 .ev { display: inline-block; padding-bottom: 0.06em; background-repeat: no-repeat; }
.hero h1 .ev span { display: inline-block; }
/* the three evidence classes, underlined the way the app draws them: solid, dashed, dotted */
.ev-o { text-decoration: underline solid var(--agent) 0.075em; text-underline-offset: 0.14em; }
.ev-d { text-decoration: underline dashed var(--activity-edge) 0.075em; text-underline-offset: 0.14em; }
.ev-i { text-decoration: underline dotted var(--inference) 0.09em; text-underline-offset: 0.14em; }
.lede { font-size: var(--step-1); line-height: 1.55; color: var(--ink-2); max-width: 36em; }
.lede strong { color: var(--ink); font-weight: 600; }
.cta { display: flex; flex-wrap: wrap; gap: 12px; }
.hero-meta { display: flex; flex-wrap: wrap; gap: 8px 20px; font-size: var(--step--1); color: var(--ink-3); }
.hero-meta span { display: inline-flex; align-items: center; gap: 8px; }
.hero-meta span::before { content: ""; width: 5px; height: 5px; border-radius: 50%; background: var(--line-strong); }
.hero-meta span:first-child::before { display: none; }

.hero-mark { position: relative; display: grid; place-items: center; aspect-ratio: 1; max-width: 460px; width: 100%; justify-self: center; }
.hero-mark::before {
  content: ""; position: absolute; inset: 6%; border-radius: 50%;
  background: radial-gradient(closest-side, color-mix(in srgb, var(--activity) 45%, transparent), transparent 72%),
    radial-gradient(closest-side at 30% 75%, color-mix(in srgb, var(--entity) 35%, transparent), transparent 70%),
    radial-gradient(closest-side at 50% 25%, color-mix(in srgb, var(--agent) 30%, transparent), transparent 70%);
  filter: blur(26px); opacity: 0.75;
}
.hero-mark svg { position: relative; width: 100%; height: auto; overflow: visible; }
.mark-rel { stroke: var(--relation); }
.mark-outline-agent { stroke: var(--agent-edge); }
.mark-outline-entity { stroke: var(--entity-edge); }
.mark-outline-activity { stroke: var(--activity-edge); }
.mark-label { font: 600 22px / 1 var(--font-mono); fill: var(--ink-3); letter-spacing: 0.04em; }
.mark-label-line { stroke: var(--line-strong); stroke-width: 2; stroke-dasharray: 3 6; }

@media (max-width: 860px) {
  .hero-grid { grid-template-columns: minmax(0, 1fr); }
  .hero-mark { max-width: 300px; }
}
@media (max-width: 420px) {
  .eyebrow { letter-spacing: 0.05em; }
  .cta .btn { flex: 1 1 100%; }
}

/* the product shot under the hero: tilted back, it settles flat as it scrolls into view */
.hero-shot { margin-top: clamp(3.5rem, 2rem + 5vw, 6.5rem); perspective: 1800px; }
.window {
  position: relative; border-radius: 12px; overflow: hidden;
  box-shadow: var(--shadow-lg), 0 0 0 1px var(--line);
  background: var(--bg-raised);
}
.window img { width: 100%; }
.hero-shot .window { transform-origin: 50% 0; }
.caption { margin-top: 16px; font-size: var(--step--1); color: var(--ink-3); text-align: center; }

/* ------------------------------------------------------------------ pipeline */
.pipeline { position: relative; isolation: isolate; display: grid; grid-template-columns: repeat(5, minmax(0, 1fr)); gap: 26px; list-style: none; counter-reset: stage; }
.pipeline::before {
  content: ""; position: absolute; left: 6%; right: 6%; top: 47px; height: 2px; z-index: -1;
  background: linear-gradient(90deg, var(--line-strong) 0 60%, transparent 0) 0 0 / 12px 2px repeat-x;
}
.flow { position: absolute; z-index: -1; left: 6%; right: 6%; top: 42px; height: 12px; overflow: hidden; pointer-events: none; }
.flow i {
  position: absolute; top: 0; left: 0; width: 12px; height: 12px; border-radius: 3px;
  background: var(--accent); box-shadow: 0 0 0 4px var(--accent-soft);
  animation: flow 6s linear infinite;
}
.flow i:nth-child(2) { animation-delay: -2s; background: var(--agent); }
.flow i:nth-child(3) { animation-delay: -4s; background: var(--entity-edge); }
@keyframes flow { from { transform: translateX(-20px); } to { transform: translateX(calc(min(1180px, 100vw) * 0.9)); } }
.stage { position: relative; z-index: 1; display: grid; gap: 12px; align-content: start; padding: 20px 18px 22px; border-radius: var(--radius); background: var(--bg-raised); border: 1px solid var(--line); min-width: 0; }
.stage-icon { width: 56px; height: 56px; border-radius: 14px; display: grid; place-items: center; background: var(--bg-sunk); border: 1px solid var(--line); }
.stage-icon svg { width: 32px; height: 32px; }
.stage h3 { font-size: var(--step-1); letter-spacing: -0.01em; }
.stage .ver { font: 500 0.78rem / 1.3 var(--font-mono); color: var(--accent); overflow-wrap: anywhere; }
.stage p { font-size: 0.95rem; line-height: 1.5; color: var(--ink-2); }
.stage-n { position: absolute; top: 18px; right: 18px; font: 600 0.75rem / 1 var(--font-mono); color: var(--ink-3); }
@media (max-width: 980px) {
  .pipeline { grid-template-columns: minmax(0, 1fr); gap: 10px; }
  .pipeline::before { left: 46px; right: auto; top: 40px; bottom: 40px; width: 2px; height: auto; background: linear-gradient(180deg, var(--line-strong) 0 60%, transparent 0) 0 0 / 2px 12px repeat-y; }
  .flow { display: none; }
  .stage { grid-template-columns: 56px minmax(0, 1fr); column-gap: 18px; padding: 16px; }
  .stage-icon { grid-row: span 3; }
}

.rules { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 1px; margin-top: clamp(3rem, 2rem + 3vw, 5rem); background: var(--line); border: 1px solid var(--line); border-radius: var(--radius-lg); overflow: hidden; }
.rule { display: grid; gap: 8px; padding: clamp(22px, 3vw, 34px); background: var(--bg); align-content: start; }
.rule h3 { font-size: var(--step-1); letter-spacing: -0.012em; }
.rule p { color: var(--ink-2); font-size: 0.98rem; }
@media (max-width: 720px) { .rules { grid-template-columns: minmax(0, 1fr); } }

/* the evidence explorer */
.explorer { display: grid; grid-template-columns: minmax(0, 0.8fr) minmax(0, 1.2fr); gap: clamp(2rem, 4vw, 4rem); align-items: center; margin-top: clamp(4rem, 3rem + 4vw, 7rem); }
.explorer-copy { display: grid; gap: 18px; min-width: 0; }
.explorer-copy h3 { font-size: var(--step-2); line-height: 1.15; letter-spacing: -0.02em; }
.explorer-copy p { color: var(--ink-2); }
.seg { display: inline-flex; flex-wrap: wrap; gap: 4px; padding: 4px; border-radius: 999px; background: var(--bg-sunk); border: 1px solid var(--line); width: fit-content; max-width: 100%; }
.seg button {
  border: 0; background: transparent; color: var(--ink-2); font: 600 var(--step--1) / 1 var(--font-body);
  padding: 9px 14px; border-radius: 999px; cursor: pointer; display: inline-flex; align-items: center; gap: 8px;
}
.seg button[aria-pressed="true"] { background: var(--bg-raised); color: var(--ink); box-shadow: var(--shadow); }
.seg .swatch { width: 18px; height: 0; border-top: 2px solid currentColor; }
.seg .sw-o { border-top-style: solid; color: var(--agent-edge); }
.seg .sw-d { border-top-style: dashed; color: var(--activity-edge); }
.seg .sw-i { border-top-style: dotted; border-top-width: 3px; color: var(--inference); }
.legend { display: grid; gap: 10px; font-size: 0.95rem; color: var(--ink-2); list-style: none; }
.legend li { display: grid; grid-template-columns: 34px minmax(0, 1fr); gap: 12px; align-items: baseline; }
.legend b { color: var(--ink); font-weight: 600; }
.legend .k { font: 700 0.85rem / 1.5 var(--font-mono); color: var(--ink); text-align: center; border: 1.5px solid var(--line-strong); border-radius: 6px; }
.legend .k-o { border-style: solid; }
.legend .k-d { border-style: dashed; }
.legend .k-i { border-style: dotted; }
.graph-card { border-radius: var(--radius-lg); background: var(--bg-raised); border: 1px solid var(--line); padding: clamp(10px, 2vw, 22px); box-shadow: var(--shadow); min-width: 0; }
.graph-card svg { width: 100%; height: auto; display: block; }
.g-el { transition: opacity 0.35s var(--ease); }
.graph-card[data-filter="O"] .g-el:not([data-ev="O"]),
.graph-card[data-filter="D"] .g-el:not([data-ev="D"]),
.graph-card[data-filter="I"] .g-el:not([data-ev="I"]) { opacity: 0.12; }
.g-entity { fill: var(--entity); stroke: var(--entity-edge); }
.g-activity { fill: var(--activity); stroke: var(--activity-edge); }
.g-agent { fill: var(--agent); stroke: var(--agent-edge); }
.g-node { stroke-width: 2.5; }
.g-o { stroke-dasharray: none; }
.g-d { stroke-dasharray: 9 6; }
.g-i { stroke-dasharray: 2 6; stroke-linecap: round; }
.g-id { font: 700 14px / 1 var(--font-mono); fill: #12142b; }
.g-type { font: 500 12px / 1 var(--font-mono); fill: #3d4160; }
.g-edge { fill: none; stroke: var(--ink-3); stroke-width: 2; }
.g-edge.g-i { stroke: var(--inference); stroke-width: 2.5; }
.g-rel { font: 500 12.5px / 1 var(--font-mono); fill: var(--ink-2); }
.g-rel.inf { fill: var(--inference); }
.g-arrow { fill: var(--ink-3); }
.g-arrow-i { fill: var(--inference); }
.graph-note { margin-top: 12px; font-size: var(--step--1); color: var(--ink-3); }
@media (max-width: 900px) { .explorer { grid-template-columns: minmax(0, 1fr); } }

/* ------------------------------------------------------------------ the app tour (indigo band) */
.band {
  position: relative; color: var(--band-ink);
  background: radial-gradient(120% 70% at 85% 0%, rgba(123, 144, 255, 0.28), transparent 60%),
    radial-gradient(90% 60% at 0% 100%, rgba(255, 166, 61, 0.12), transparent 60%),
    linear-gradient(180deg, var(--band-top), var(--band-bottom));
  padding-block: var(--chapter);
  overflow: clip;
}
.band .eyebrow { color: var(--band-accent); }
.band .chapter-head p { color: var(--band-ink-2); }
.band a { color: var(--band-accent); }
.tabs {
  display: flex; gap: 4px; padding: 5px; border-radius: 999px; background: var(--band-raised); border: 1px solid var(--band-line);
  overflow-x: auto; scrollbar-width: none; max-width: 100%; width: fit-content; margin-bottom: 26px; scroll-snap-type: x proximity;
}
.tabs::-webkit-scrollbar { display: none; }
.tab {
  flex: none; border: 0; background: transparent; color: var(--band-ink-2); cursor: pointer; scroll-snap-align: center;
  font: 600 var(--step--1) / 1 var(--font-body); padding: 10px 16px; border-radius: 999px; transition: background-color 0.2s, color 0.2s;
}
.tab:hover { color: var(--band-ink); }
.tab[aria-selected="true"] { background: var(--band-ink); color: var(--band-bottom); }
.tab:focus-visible { outline-color: var(--band-accent); }
.tour { display: grid; }
.panel { display: grid; grid-template-columns: minmax(0, 1fr) minmax(0, 340px); gap: clamp(1.5rem, 3vw, 3rem); align-items: start; }
.js .panel[hidden] { display: none; }
.panel + .panel { margin-top: 4rem; }
.js .panel + .panel { margin-top: 0; }
.stagebox { position: relative; border-radius: 12px; overflow: hidden; background: #1a1f45; box-shadow: 0 40px 100px -30px rgba(0, 0, 0, 0.7), 0 0 0 1px var(--band-line); aspect-ratio: 1560 / 1032; }
.shot { position: absolute; inset: 0; transform-origin: 0 0; transition: transform 0.7s var(--ease); will-change: transform; }
.shot.zoomed { transform: translate(var(--tx, 0%), var(--ty, 0%)) scale(var(--zoom, 1.7)); }
.shot > img { width: 100%; height: 100%; object-fit: cover; object-position: top left; }
.shot.dialog-step > img { filter: brightness(0.55) saturate(0.6); }
.dlg { position: absolute; top: 50%; left: 50%; height: 92%; transform: translate(-50%, -50%); aspect-ratio: var(--ar); border-radius: 10px; overflow: hidden; box-shadow: 0 30px 80px -10px rgba(0, 0, 0, 0.7), 0 0 0 1px rgba(255, 255, 255, 0.12); }
.dlg img { width: 100%; height: 100%; }
.spots { position: absolute; inset: 0; }
.spot {
  position: absolute; left: var(--x); top: var(--y); transform: translate(-50%, -50%) scale(var(--inv, 1));
  width: 28px; height: 28px; border-radius: 50%; border: 2px solid #ffffff; cursor: pointer; padding: 0;
  background: var(--accent-dot, #3a4db8); color: #ffffff; font: 700 13px / 1 var(--font-mono);
  box-shadow: 0 2px 10px rgba(10, 12, 40, 0.5); display: grid; place-items: center;
  transition: transform 0.7s var(--ease), background-color 0.2s;
}
.spot::after { content: ""; position: absolute; inset: -7px; border-radius: 50%; border: 2px solid rgba(255, 216, 77, 0.9); opacity: 0; }
.spot:hover, .spot[aria-pressed="true"] { --accent-dot: #b4530a; }
.spot[aria-pressed="true"]::after { opacity: 1; }
.panel:not(.touched) .spot::after { animation: ping 2.4s var(--ease) infinite; }
.panel:not(.touched) .spot:nth-child(2)::after { animation-delay: 0.3s; }
.panel:not(.touched) .spot:nth-child(3)::after { animation-delay: 0.6s; }
.panel:not(.touched) .spot:nth-child(4)::after { animation-delay: 0.9s; }
.panel:not(.touched) .spot:nth-child(5)::after { animation-delay: 1.2s; }
.panel:not(.touched) .spot:nth-child(6)::after { animation-delay: 1.5s; }
@keyframes ping { 0% { transform: scale(0.7); opacity: 0.9; } 80%, 100% { transform: scale(1.5); opacity: 0; } }
.shot.zoomed .spot { --inv: calc(1 / var(--zoom, 1.7)); }
.unzoom {
  position: absolute; right: 12px; bottom: 12px; z-index: 2; border: 0; cursor: pointer;
  background: rgba(10, 12, 40, 0.78); color: #ffffff; font: 600 0.82rem / 1 var(--font-body);
  padding: 9px 14px; border-radius: 999px; backdrop-filter: blur(8px); -webkit-backdrop-filter: blur(8px);
}
.notes { display: grid; gap: 18px; min-width: 0; }
.notes h3 { font-size: var(--step-2); letter-spacing: -0.02em; line-height: 1.15; }
.notes > p { color: var(--band-ink-2); font-size: 0.98rem; }
.points { display: grid; gap: 6px; list-style: none; counter-reset: pt; }
.point {
  display: grid; grid-template-columns: 26px minmax(0, 1fr); gap: 12px; width: 100%; text-align: left;
  padding: 10px 12px; border-radius: 12px; border: 1px solid transparent; background: transparent;
  color: var(--band-ink-2); font: 400 0.93rem / 1.45 var(--font-body); cursor: pointer;
}
.point b { color: var(--band-ink); font-weight: 600; }
.point .n { width: 24px; height: 24px; border-radius: 50%; display: grid; place-items: center; font: 700 12px / 1 var(--font-mono); background: rgba(255, 255, 255, 0.12); color: var(--band-ink); }
.point:hover { background: var(--band-raised); }
.point[aria-pressed="true"] { background: var(--band-raised); border-color: var(--band-line); }
.point[aria-pressed="true"] .n { background: #b4530a; }
.cli { display: grid; gap: 6px; font-size: 0.85rem; color: var(--band-ink-2); }
.cli code { display: block; padding: 10px 12px; border-radius: 10px; background: rgba(5, 6, 20, 0.45); color: var(--band-ink); border: 1px solid var(--band-line); overflow-x: auto; white-space: nowrap; font-size: 0.82rem; }
.tour-foot { display: flex; flex-wrap: wrap; align-items: center; justify-content: space-between; gap: 16px; margin-top: 26px; }
.stepper { display: flex; align-items: center; gap: 10px; color: var(--band-ink-2); font: 500 var(--step--1) / 1 var(--font-mono); }
.stepper button {
  width: 40px; height: 40px; border-radius: 50%; border: 1px solid var(--band-line); background: var(--band-raised);
  color: var(--band-ink); cursor: pointer; display: grid; place-items: center;
}
.stepper button:hover { background: rgba(255, 255, 255, 0.14); }
.stepper svg { width: 18px; height: 18px; }
.tour-note { font-size: 0.82rem; color: var(--band-ink-2); max-width: 60ch; }
@media (max-width: 980px) {
  .panel { grid-template-columns: minmax(0, 1fr); }
  .spot { width: 22px; height: 22px; font-size: 11px; }
}
/* phones: the tabs wrap instead of running off the edge, the markers cover less of the small screenshot, and the
   screenshot stays in view under the header while the points below it are read, so a tapped point zooms in sight */
@media (max-width: 720px) {
  .tabs { width: 100%; flex-wrap: wrap; justify-content: center; border-radius: 18px; overflow: visible; margin-bottom: 20px; }
  .tab { padding: 9px 12px; }
  .stagebox { box-shadow: 0 18px 40px -16px rgba(0, 0, 0, 0.7), 0 0 0 1px var(--band-line); }
  .spot { width: 18px; height: 18px; font-size: 9px; border-width: 1.5px; }
  .spot::after { inset: -5px; }
  .unzoom { right: 8px; bottom: 8px; padding: 7px 11px; font-size: 0.75rem; }
}
@media (max-width: 720px) and (min-height: 560px) {
  .js .stagebox { position: sticky; top: calc(var(--nav-h) + env(safe-area-inset-top, 0px) + 8px); z-index: 3; }
}

/* ------------------------------------------------------------------ live and released */
.duo { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 18px; }
.card { display: grid; gap: 18px; align-content: start; padding: clamp(24px, 3.4vw, 40px); border-radius: var(--radius-lg); background: var(--bg-raised); border: 1px solid var(--line); min-width: 0; }
.card h3 { font-size: var(--step-2); letter-spacing: -0.02em; line-height: 1.15; }
.card p { color: var(--ink-2); }
.tagline { font: 600 0.78rem / 1 var(--font-mono); letter-spacing: 0.06em; text-transform: uppercase; color: var(--ink-3); display: flex; align-items: center; gap: 10px; }
.tagline i { width: 14px; height: 14px; border-radius: 4px; display: inline-block; }
.chips { display: flex; flex-wrap: wrap; gap: 8px; list-style: none; }
.chips li { padding: 6px 12px; border-radius: 999px; border: 1px solid var(--line); background: var(--bg); font-size: 0.88rem; color: var(--ink-2); }
.coverage { padding: 14px 16px; border-radius: 12px; background: var(--bg-sunk); font: 500 0.86rem / 1.5 var(--font-mono); color: var(--ink-2); }
.coverage b { display: block; font: 600 0.72rem / 1.4 var(--font-mono); letter-spacing: 0.08em; text-transform: uppercase; color: var(--ink-3); margin-bottom: 4px; }
.checks { display: grid; gap: 10px; list-style: none; }
.checks li { display: grid; grid-template-columns: 20px minmax(0, 1fr); gap: 12px; color: var(--ink-2); font-size: 0.97rem; }
.checks svg { width: 20px; height: 20px; color: var(--accent); margin-top: 3px; }
.status { padding: 14px 16px; border-radius: 12px; border: 1px dashed var(--line-strong); font-size: 0.95rem; color: var(--ink-2); }
.status strong { color: var(--ink); }
@media (max-width: 860px) { .duo { grid-template-columns: minmax(0, 1fr); } }

/* ------------------------------------------------------------------ corpora */
.chain { display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); gap: 0; list-style: none; margin-bottom: 28px; border-radius: var(--radius-lg); border: 1px solid var(--line); overflow: hidden; background: var(--bg-raised); }
.chain li { position: relative; display: grid; gap: 6px; padding: 22px 22px 22px 26px; border-left: 1px solid var(--line); min-width: 0; }
.chain li:first-child { border-left: 0; }
.chain li::after { content: ""; position: absolute; right: -7px; top: 50%; width: 12px; height: 12px; transform: translateY(-50%) rotate(45deg); background: var(--bg-raised); border-top: 1px solid var(--line); border-right: 1px solid var(--line); z-index: 1; }
.chain li:last-child::after { display: none; }
.chain b { font-size: 1.05rem; }
.chain code { font-size: 0.78rem; color: var(--ink-3); overflow-wrap: anywhere; }
@media (max-width: 760px) {
  .chain { grid-template-columns: minmax(0, 1fr); }
  .chain li { border-left: 0; border-top: 1px solid var(--line); }
  .chain li:first-child { border-top: 0; }
  .chain li::after { right: auto; left: 28px; top: auto; bottom: -7px; transform: rotate(135deg); }
}
.corpora-grid { display: grid; grid-template-columns: minmax(0, 1fr) minmax(0, 1fr); gap: 18px; }
.terminal { border-radius: var(--radius-lg); background: var(--code-bg); color: var(--code-ink); overflow: hidden; box-shadow: var(--shadow); min-width: 0; }
.terminal-bar { display: flex; align-items: center; gap: 8px; padding: 12px 16px; border-bottom: 1px solid rgba(255, 255, 255, 0.08); font: 500 0.78rem / 1 var(--font-mono); color: #9aa0c4; }
.terminal-bar i { width: 10px; height: 10px; border-radius: 50%; background: rgba(255, 255, 255, 0.16); }
.terminal-bar span { margin-left: 8px; }
.terminal-bar .copy { margin-left: auto; }
.terminal pre { margin: 0; padding: 18px 20px 22px; overflow-x: auto; font-size: 0.86rem; line-height: 1.75; }
.terminal .c { color: #8c93bd; }
.terminal .p { color: #ffd84d; user-select: none; }
.copy {
  border: 1px solid rgba(255, 255, 255, 0.16); background: transparent; color: #d7dbf3; cursor: pointer;
  font: 600 0.75rem / 1 var(--font-body); padding: 7px 12px; border-radius: 999px;
}
.copy:hover { background: rgba(255, 255, 255, 0.08); }
.pending { display: inline-flex; align-items: center; gap: 8px; padding: 5px 11px; border-radius: 999px; border: 1px dashed var(--line-strong); font: 600 0.78rem / 1 var(--font-mono); color: var(--ink-3); }
@media (max-width: 860px) { .corpora-grid { grid-template-columns: minmax(0, 1fr); } }

/* ------------------------------------------------------------------ downloads */
.dl-hero { display: grid; grid-template-columns: minmax(0, 1fr) auto; gap: 24px 40px; align-items: center; padding: clamp(24px, 4vw, 44px); border-radius: var(--radius-lg); background: var(--bg-raised); border: 1px solid var(--line); box-shadow: var(--shadow); margin-bottom: 18px; }
.dl-hero .app-icon { width: 96px; height: 96px; }
.dl-hero-main { display: flex; align-items: center; gap: 24px; min-width: 0; }
.dl-hero h3 { font-size: var(--step-2); letter-spacing: -0.02em; }
.dl-hero p { color: var(--ink-2); }
.dl-hero .actions { display: flex; flex-wrap: wrap; gap: 10px; justify-content: flex-end; }
@media (max-width: 760px) {
  .dl-hero { grid-template-columns: minmax(0, 1fr); }
  .dl-hero .actions { justify-content: flex-start; }
  .dl-hero .app-icon { width: 64px; height: 64px; }
}
.platforms { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 18px; }
.platform { display: grid; gap: 14px; align-content: start; padding: 24px; border-radius: var(--radius-lg); background: var(--bg-raised); border: 1px solid var(--line); min-width: 0; transition: border-color 0.3s, box-shadow 0.3s; }
.platform.match { border-color: color-mix(in srgb, var(--accent) 55%, transparent); box-shadow: 0 0 0 3px var(--accent-soft); }
.platform-head { display: flex; align-items: center; gap: 12px; }
.platform-head svg { width: 26px; height: 26px; color: var(--ink); flex: none; }
.platform h3 { font-size: var(--step-1); }
.platform .yours { margin-left: auto; font: 600 0.7rem / 1 var(--font-mono); letter-spacing: 0.06em; text-transform: uppercase; color: var(--accent); }
.files { display: grid; gap: 8px; list-style: none; }
.file {
  display: grid; grid-template-columns: minmax(0, 1fr) auto; gap: 4px 12px; align-items: center;
  padding: 12px 14px; border-radius: 12px; border: 1px solid var(--line); text-decoration: none; color: var(--ink);
  transition: background-color 0.2s, border-color 0.2s;
}
.file:hover { background: var(--accent-soft); border-color: color-mix(in srgb, var(--accent) 40%, transparent); color: var(--ink); }
.file b { font-size: 0.97rem; font-weight: 600; }
.file code { grid-column: 1; font-size: 0.74rem; color: var(--ink-3); overflow-wrap: anywhere; }
.file small { grid-column: 1; color: var(--ink-3); font-size: 0.82rem; }
.file svg { grid-row: 1 / span 3; grid-column: 2; width: 20px; height: 20px; color: var(--accent); }
.platform .note { font-size: 0.88rem; color: var(--ink-2); padding-top: 4px; border-top: 1px solid var(--line); padding-top: 14px; }
.platform .note b { color: var(--ink); }
@media (max-width: 980px) { .platforms { grid-template-columns: minmax(0, 1fr); } }
.install { display: grid; grid-template-columns: minmax(0, 0.8fr) minmax(0, 1.2fr); gap: 18px clamp(2rem, 4vw, 4rem); align-items: center; margin-top: 18px; padding: 24px; border-radius: var(--radius-lg); background: var(--bg-raised); border: 1px solid var(--line); }
.install-copy { display: grid; gap: 12px; min-width: 0; }
.install-copy h3 { font-size: var(--step-1); }
.install-copy p { font-size: 0.95rem; color: var(--ink-2); }
.install-grid { display: grid; gap: 24px; min-width: 0; }
.install .terminal pre { padding-block: 14px 16px; }
@media (max-width: 860px) { .install { grid-template-columns: minmax(0, 1fr); } }
.dl-foot { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 18px; margin-top: 18px; }
.dl-foot .card { gap: 12px; padding: 24px; }
.dl-foot h3 { font-size: var(--step-1); }
.dl-foot p { font-size: 0.95rem; }
.linkrow { display: flex; flex-wrap: wrap; gap: 8px 18px; font-size: 0.95rem; }
@media (max-width: 760px) { .dl-foot { grid-template-columns: minmax(0, 1fr); } }

/* ------------------------------------------------------------------ cite */
.cite { display: grid; grid-template-columns: minmax(0, 0.8fr) minmax(0, 1.2fr); gap: clamp(2rem, 4vw, 4rem); align-items: start; }
.cite-copy { display: grid; gap: 16px; min-width: 0; }
.cite-copy p { color: var(--ink-2); }
.paper { display: grid; gap: 6px; padding: 18px 20px; border-radius: var(--radius); border: 1px solid var(--line); background: var(--bg-raised); }
.paper i { font-style: normal; font-weight: 600; color: var(--ink); line-height: 1.4; }
.paper span { font-size: 0.9rem; color: var(--ink-3); }
@media (max-width: 860px) { .cite { grid-template-columns: minmax(0, 1fr); } }

/* ------------------------------------------------------------------ footer */
.footer { border-top: 1px solid var(--line); padding-block: 56px 40px; padding-bottom: calc(40px + env(safe-area-inset-bottom, 0px)); color: var(--ink-3); font-size: 0.92rem; }
.footer-grid { display: grid; grid-template-columns: minmax(0, 1.4fr) repeat(3, minmax(0, 1fr)); gap: 32px; }
.footer .brand svg { height: 28px; }
.footer h4 { margin: 0 0 12px; font: 600 0.75rem / 1 var(--font-mono); letter-spacing: 0.08em; text-transform: uppercase; color: var(--ink-2); }
.footer ul { list-style: none; display: grid; gap: 8px; }
.footer a { color: var(--ink-2); text-decoration: none; }
.footer a:hover { color: var(--ink); text-decoration: underline; }
.footer-about { display: grid; gap: 14px; align-content: start; }
.footer-base { display: flex; flex-wrap: wrap; justify-content: space-between; gap: 12px; margin-top: 44px; padding-top: 22px; border-top: 1px solid var(--line); font-size: 0.85rem; }
@media (max-width: 860px) { .footer-grid { grid-template-columns: repeat(2, minmax(0, 1fr)); } .footer-about { grid-column: 1 / -1; } }

/* ------------------------------------------------------------------ motion
   One orchestrated moment (the mark assembling on load) and quiet scroll-linked settling. Everything is at rest and
   readable without animation; the scroll effects use the CSS scroll timeline where the browser has it. */
@keyframes draw { from { stroke-dashoffset: var(--len); } to { stroke-dashoffset: 0; } }
@keyframes pop { 0% { transform: scale(0.6); opacity: 0; } 60% { transform: scale(1.06); opacity: 1; } 100% { transform: scale(1); } }
@keyframes rise { from { transform: translateY(14px); opacity: 0.45; } to { transform: none; opacity: 1; } }
@keyframes settle { from { transform: rotateX(16deg) scale(0.94); } to { transform: none; } }
@keyframes lift { from { transform: translateY(40px); opacity: 0.35; } to { transform: none; opacity: 1; } }
@keyframes float { 0%, 100% { transform: translateY(0); } 50% { transform: translateY(-8px); } }

@media (prefers-reduced-motion: no-preference) {
  .mark-anim .rel { stroke-dasharray: var(--len); animation: draw 0.9s var(--ease) both; }
  .mark-anim .rel-1 { animation-delay: 0.55s; }
  .mark-anim .rel-2 { animation-delay: 0.7s; }
  .mark-anim .rel-3 { animation-delay: 0.95s; }
  .mark-anim .node { transform-box: fill-box; transform-origin: center; animation: pop 0.75s var(--ease) both; }
  .mark-anim .node-agent { animation-delay: 0.1s; }
  .mark-anim .node-entity { animation-delay: 0.25s; }
  .mark-anim .node-activity { animation-delay: 0.4s; }
  .mark-anim .labels { animation: rise 0.8s var(--ease) 1.3s both; }
  .mark-anim .float { animation: float 7s ease-in-out 2s infinite; transform-box: fill-box; }
  .hero-copy > * { animation: rise 0.8s var(--ease) both; }
  .hero-copy > :nth-child(2) { animation-delay: 0.08s; }
  .hero-copy > :nth-child(3) { animation-delay: 0.16s; }
  .hero-copy > :nth-child(4) { animation-delay: 0.24s; }
  .hero-copy > :nth-child(5) { animation-delay: 0.32s; }

  @supports (animation-timeline: view()) {
    .hero-shot .window { animation: settle linear both; animation-timeline: view(); animation-range: entry 0% cover 45%; }
    .reveal { animation: lift linear both; animation-timeline: view(); animation-range: entry 0% entry 70%; }
  }
}
@media (prefers-reduced-motion: reduce) {
  html { scroll-behavior: auto; }
  .flow { display: none; }
  .shot, .spot, .btn, .g-el { transition: none; }
}

/* the wordmark's "PROV" and the light-background outlines of the mark (brand.md: the dark variants have none) */
.wm-accent { stroke: var(--wordmark-accent); }
.mark-outline-agent, .mark-outline-entity, .mark-outline-activity { stroke-opacity: var(--outline-on); }

/* without the script every tour step is shown in turn, and the controls that need it are left out */
html:not(.js) .panel[hidden] { display: grid; }
html:not(.js) .tabs, html:not(.js) .tour-foot .stepper { display: none; }