.appearance[data-astro-cid-islyho4g]{display:none;font-size:13px;color:var(--ink)}html[data-appearance] .appearance-menu[data-astro-cid-islyho4g]{display:block}.appearance-header[data-astro-cid-islyho4g]{position:relative;margin-right:16px}@media (min-width: 720px){html[data-appearance] .appearance-header[data-astro-cid-islyho4g]{display:block}}.moon[data-astro-cid-islyho4g]{display:none}html[data-theme=dark] .moon[data-astro-cid-islyho4g]{display:block}html[data-theme=dark] .sun[data-astro-cid-islyho4g]{display:none}summary[data-astro-cid-islyho4g]{list-style:none;display:grid;place-items:center;width:44px;height:44px;cursor:pointer}summary[data-astro-cid-islyho4g]::-webkit-details-marker{display:none}summary[data-astro-cid-islyho4g]:is(:hover,:focus-visible){color:var(--accent-text)}summary[data-astro-cid-islyho4g]:focus-visible,button[data-astro-cid-islyho4g]:focus-visible{outline:2px solid var(--focus);outline-offset:3px}.appearance-options[data-astro-cid-islyho4g]{display:flex;flex-wrap:wrap;align-items:center;gap:8px}.appearance-header[data-astro-cid-islyho4g] .appearance-options[data-astro-cid-islyho4g]{position:absolute;right:0;top:calc(100% + 18px);width:250px;padding:16px;border:1px solid var(--hair-strong);background:var(--paper)}.appearance-header[data-astro-cid-islyho4g] .appearance-label[data-astro-cid-islyho4g]{flex-basis:100%}.appearance-label[data-astro-cid-islyho4g]{font-family:var(--font-mono);color:var(--muted);margin-right:8px}button[data-astro-cid-islyho4g]{min-height:44px;min-width:60px;padding:8px;border-bottom:2px solid transparent;color:var(--muted)}button[data-astro-cid-islyho4g][aria-pressed=true]{color:var(--ink);border-bottom-color:var(--sedi-signal);font-weight:600}button[data-astro-cid-islyho4g]:is(:hover,:focus-visible){color:var(--accent-text)}.appearance-current[data-astro-cid-islyho4g]{flex-basis:100%;color:var(--faint);font-family:var(--font-mono);font-size:12px}.appearance-status[data-astro-cid-islyho4g]{position:absolute;width:1px;height:1px;overflow:hidden;clip-path:inset(50%);white-space:nowrap}.intervene-logo[data-astro-cid-tvrurpns]{display:inline-flex;align-items:center;color:var(--ink-soft);line-height:1}.intervene-logo[data-astro-cid-tvrurpns].inverted{color:var(--inverse-ink)}.intervene-wordmark[data-astro-cid-tvrurpns]{display:block;height:var(--logo-h);width:auto;aspect-ratio:9196 / 1027.7}@media (max-width: 767px){.intervene-logo[data-astro-cid-tvrurpns].size-md .intervene-wordmark[data-astro-cid-tvrurpns]{height:18px}}.menu-icon[data-astro-cid-h6qwgsp2]{position:relative;display:inline-block;width:22px;height:14px;flex-shrink:0}.line[data-astro-cid-h6qwgsp2]{position:absolute;left:0;right:0;height:1.5px;background:currentColor;transform-origin:center;transition:transform var(--dur-menu) var(--ease-out),opacity var(--dur-fast) var(--ease)}.line-1[data-astro-cid-h6qwgsp2]{top:0}.line-2[data-astro-cid-h6qwgsp2]{top:50%;transform:translateY(-50%)}.line-3[data-astro-cid-h6qwgsp2]{bottom:0}[aria-expanded=true] .line-1[data-astro-cid-h6qwgsp2]{transform:translateY(6.25px) rotate(45deg)}[aria-expanded=true] .line-2[data-astro-cid-h6qwgsp2]{opacity:0;transform:translateY(-50%) scaleX(0)}[aria-expanded=true] .line-3[data-astro-cid-h6qwgsp2]{transform:translateY(-6.25px) rotate(-45deg)}@media (prefers-reduced-motion: reduce){.line[data-astro-cid-h6qwgsp2]{transition-duration:80ms}}.no-script-menu[data-astro-cid-3ef6ksr2]{display:inline-flex;min-height:44px;align-items:center;margin-left:auto}.site-header[data-astro-cid-3ef6ksr2]{position:sticky;top:0;z-index:1100;background:var(--paper);border-bottom:1px solid var(--hair);transition:background var(--dur-fast) var(--ease),border-color var(--dur-fast) var(--ease)}.site-header[data-astro-cid-3ef6ksr2][data-takeover-open]{border-bottom-color:var(--hair)}.header-inner[data-astro-cid-3ef6ksr2]{display:flex;align-items:center;justify-content:space-between;min-height:var(--header-h);padding-top:18px;padding-bottom:18px}.quick-nav[data-astro-cid-3ef6ksr2]{display:none;align-items:center;gap:var(--space-5);margin-left:auto;margin-right:24px}.quick-nav[data-astro-cid-3ef6ksr2] a[data-astro-cid-3ef6ksr2]{font-family:var(--font-sans);font-size:var(--type-action);font-weight:600;letter-spacing:0;text-transform:none;color:var(--muted);display:inline-flex;align-items:center;min-height:44px;padding:6px 0;border-bottom:1px solid transparent;transition:color var(--dur-hover) var(--ease),border-color var(--dur-hover) var(--ease)}.quick-nav[data-astro-cid-3ef6ksr2] a[data-astro-cid-3ef6ksr2][aria-current=page]{color:var(--ink);border-bottom-color:var(--accent)}.quick-nav[data-astro-cid-3ef6ksr2] a[data-astro-cid-3ef6ksr2]:is(:hover,:focus-visible){color:var(--accent-text);border-bottom-color:var(--accent)}.quick-nav[data-astro-cid-3ef6ksr2] a[data-astro-cid-3ef6ksr2]:active{color:var(--accent-text-hover)}.quick-nav[data-astro-cid-3ef6ksr2] a[data-astro-cid-3ef6ksr2]:focus-visible{outline:2px solid var(--focus);outline-offset:4px}.quick-nav[data-astro-cid-3ef6ksr2] .quick-cta[data-astro-cid-3ef6ksr2]{color:var(--ink);border:1px solid var(--control-border);padding-inline:var(--space-3)}.quick-nav[data-astro-cid-3ef6ksr2] .quick-cta[data-astro-cid-3ef6ksr2]:is(:hover,:focus-visible),.quick-nav[data-astro-cid-3ef6ksr2] .quick-cta[data-astro-cid-3ef6ksr2][aria-current=page]{color:var(--accent-text);border-color:var(--control-active)}@media (min-width: 720px){.quick-nav[data-astro-cid-3ef6ksr2]{display:flex}.quick-nav[data-astro-cid-3ef6ksr2] a[data-astro-cid-3ef6ksr2]:not(.quick-cta){display:none}}@media (min-width: 1100px){.quick-nav[data-astro-cid-3ef6ksr2] a[data-astro-cid-3ef6ksr2]:not(.quick-cta){display:inline-flex}}html[data-appearance] .menu-trigger[data-astro-cid-3ef6ksr2]{display:inline-flex}.menu-trigger[data-astro-cid-3ef6ksr2]{display:none;align-items:center;justify-content:center;width:44px;height:44px;margin-right:-10px;color:var(--ink);transition:color var(--dur-hover) var(--ease)}.menu-trigger[data-astro-cid-3ef6ksr2]:is(:hover,:focus-visible){color:var(--accent-text)}.menu-trigger[data-astro-cid-3ef6ksr2]:active{color:var(--accent-text-hover)}.menu-trigger[data-astro-cid-3ef6ksr2]:focus-visible{outline:2px solid var(--focus);outline-offset:2px}.takeover-appearance[data-astro-cid-6rvr3qgw]{width:100%;padding-bottom:var(--space-5)}.sr-only[data-astro-cid-6rvr3qgw]{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap;border:0}.takeover[data-astro-cid-6rvr3qgw]{position:fixed;inset:0;z-index:1300;background:var(--paper);color:var(--ink);opacity:0;transition:opacity var(--dur-menu) var(--ease);pointer-events:none;overflow-y:auto;display:flex;flex-direction:column}.takeover[data-astro-cid-6rvr3qgw].open{opacity:1;pointer-events:auto}.takeover[data-astro-cid-6rvr3qgw][hidden]{display:none}.takeover-header[data-astro-cid-6rvr3qgw]{flex:none;position:sticky;top:0;z-index:1;background:var(--paper);border-bottom:1px solid var(--hair)}.takeover-top[data-astro-cid-6rvr3qgw]{width:100%;flex:none;display:flex;align-items:center;justify-content:space-between;min-height:var(--header-h);padding-top:18px;padding-bottom:18px}.takeover-close[data-astro-cid-6rvr3qgw]{display:inline-flex;align-items:center;justify-content:center;width:44px;height:44px;margin-right:-10px;color:var(--ink)}.takeover-close[data-astro-cid-6rvr3qgw]:is(:hover,:focus-visible){color:var(--accent-text)}.takeover-close[data-astro-cid-6rvr3qgw]:active{color:var(--accent-text-hover)}.takeover-close[data-astro-cid-6rvr3qgw]:focus-visible{outline:2px solid var(--focus);outline-offset:2px}.takeover-body[data-astro-cid-6rvr3qgw]{width:100%;flex:1;display:flex;align-items:safe center;padding-top:var(--space-6);padding-bottom:var(--space-6)}.takeover-body[data-astro-cid-6rvr3qgw] ul[data-astro-cid-6rvr3qgw]{list-style:none;margin:0;padding:0;display:grid;gap:8px}.takeover-body[data-astro-cid-6rvr3qgw] a[data-astro-cid-6rvr3qgw]{position:relative;font-family:var(--font-sans);font-weight:600;font-size:clamp(28px,4vw,56px);letter-spacing:var(--tracking-heading);text-transform:none;line-height:1.15;color:var(--ink);display:block;white-space:normal;padding:8px 0;min-height:48px;transition:color var(--dur-fast) var(--ease)}.takeover-body[data-astro-cid-6rvr3qgw] a[data-astro-cid-6rvr3qgw]:hover,.takeover-body[data-astro-cid-6rvr3qgw] a[data-astro-cid-6rvr3qgw]:focus-visible{color:var(--accent-text)}.takeover-body[data-astro-cid-6rvr3qgw] a[data-astro-cid-6rvr3qgw]:active{color:var(--accent-text-hover)}.takeover-body[data-astro-cid-6rvr3qgw] a[data-astro-cid-6rvr3qgw]:focus-visible{outline:none;text-decoration:underline;text-decoration-color:var(--focus);text-decoration-thickness:2px;text-underline-offset:.15em}.takeover-body[data-astro-cid-6rvr3qgw] a[data-astro-cid-6rvr3qgw][aria-current=page]:before{content:"";position:absolute;left:-32px;top:50%;width:16px;height:2px;background:var(--accent)}@media (max-width: 720px){.takeover-body[data-astro-cid-6rvr3qgw]{padding-top:var(--space-4);padding-bottom:var(--space-5)}.takeover-body[data-astro-cid-6rvr3qgw] a[data-astro-cid-6rvr3qgw]{font-size:clamp(23px,5.7vw,30px)}.takeover-body[data-astro-cid-6rvr3qgw] a[data-astro-cid-6rvr3qgw][aria-current=page]:before{left:-16px;width:8px}}@media (max-height: 760px) and (min-width: 721px){.takeover-body[data-astro-cid-6rvr3qgw]{padding-top:var(--space-4);padding-bottom:var(--space-4)}.takeover-body[data-astro-cid-6rvr3qgw] a[data-astro-cid-6rvr3qgw]{font-size:clamp(28px,3vw,40px)}}@media (max-height: 620px) and (min-width: 721px){.takeover-body[data-astro-cid-6rvr3qgw]{padding-top:var(--space-3);padding-bottom:var(--space-3)}.takeover-body[data-astro-cid-6rvr3qgw] a[data-astro-cid-6rvr3qgw]{font-size:32px}}.agda-logo[data-astro-cid-igwhkc6g]{display:block;height:auto;flex:none}.logo[data-astro-cid-igwhkc6g]{width:224px}.lockup[data-astro-cid-igwhkc6g]{width:280px}.small[data-astro-cid-igwhkc6g]{width:80px}@media (max-width: 360px){.lockup[data-astro-cid-igwhkc6g]{width:224px}}.hallmark[data-astro-cid-ijaaios2]{display:inline-flex;align-items:stretch;border:1px solid var(--hair-strong);background:var(--paper)}.hm-cell[data-astro-cid-ijaaios2]{display:inline-flex;align-items:center;justify-content:center;padding:7px 11px;border-right:1px solid var(--hair-strong)}.hm-cell[data-astro-cid-ijaaios2]:last-child{border-right:0}.hm-word[data-astro-cid-ijaaios2]{min-width:102px}.hm-serial[data-astro-cid-ijaaios2]{font-size:var(--type-caption);letter-spacing:0;color:var(--muted)}.seal[data-astro-cid-ijaaios2]{width:12px;height:12px;border:1px solid var(--accent);position:relative}.seal[data-astro-cid-ijaaios2]:after{content:"";position:absolute;inset:3px;background:var(--accent)}.linkedin-button[data-astro-cid-23oei3my]{padding:0;color:var(--accent-text)}.linkedin-button[data-astro-cid-23oei3my].sm{width:44px;height:44px}.linkedin-button[data-astro-cid-23oei3my].md{width:48px;height:48px}.linkedin-button[data-astro-cid-23oei3my] svg[data-astro-cid-23oei3my]{width:17px;height:17px;fill:currentColor}.x-button[data-astro-cid-ez6fgges]{padding:0;color:var(--accent-text)}.x-button[data-astro-cid-ez6fgges].sm{width:44px;height:44px}.x-button[data-astro-cid-ez6fgges].md{width:48px;height:48px}.x-button[data-astro-cid-ez6fgges] svg[data-astro-cid-ez6fgges]{width:17px;height:17px;fill:currentColor}.site-footer[data-astro-cid-sz7xmlte]{border-top:1px solid var(--hair);padding:var(--section-tight) 0 var(--space-6);background:var(--paper-deep)}.foot-inner[data-astro-cid-sz7xmlte]{display:grid;grid-template-columns:1.1fr 1fr;align-items:start;gap:var(--space-7)}.brand-col[data-astro-cid-sz7xmlte]{display:grid;gap:12px;align-content:start}.brand-social[data-astro-cid-sz7xmlte]{display:flex;align-items:center;gap:8px}.brand-line[data-astro-cid-sz7xmlte]{font-family:var(--font-sans);font-size:16px;color:var(--muted);line-height:1.5}.brand-email[data-astro-cid-sz7xmlte]{justify-self:start;font-family:var(--font-sans);font-size:16px;color:var(--muted);line-height:1.5;min-height:44px;display:inline-flex;align-items:center;border-bottom:1px solid transparent;transition:border-color var(--dur-hover) var(--ease),color var(--dur-hover) var(--ease)}.brand-email[data-astro-cid-sz7xmlte]:is(:hover,:focus-visible){border-color:var(--accent);color:var(--accent-text)}.brand-email[data-astro-cid-sz7xmlte]:active{color:var(--accent-text-hover)}.brand-hallmark[data-astro-cid-sz7xmlte]{margin-top:8px}.primary-nav[data-astro-cid-sz7xmlte] ul[data-astro-cid-sz7xmlte]{list-style:none;margin:0;padding:0;display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:12px 32px}.primary-nav[data-astro-cid-sz7xmlte] a[data-astro-cid-sz7xmlte]{font-family:var(--font-sans);font-size:16px;font-weight:500;letter-spacing:0;text-transform:none;color:var(--ink);display:inline-flex;align-items:center;min-height:44px;line-height:1.5;padding:8px 0;border-bottom:1px solid transparent;transition:border-color var(--dur-hover) var(--ease),color var(--dur-hover) var(--ease)}.primary-nav[data-astro-cid-sz7xmlte] a[data-astro-cid-sz7xmlte]:is(:hover,:focus-visible){border-color:var(--accent);color:var(--accent-text)}.primary-nav[data-astro-cid-sz7xmlte] a[data-astro-cid-sz7xmlte]:active{color:var(--accent-text-hover)}.meta[data-astro-cid-sz7xmlte]{margin:20px 0 0;font-family:var(--font-sans);font-size:var(--type-caption);color:var(--faint);display:flex;flex-wrap:wrap;align-items:baseline;gap:0 10px;line-height:1.7}.meta-name[data-astro-cid-sz7xmlte]{color:var(--ink);font-weight:600}.meta-sep[data-astro-cid-sz7xmlte]{color:var(--faint)}.foot-sub[data-astro-cid-sz7xmlte]{margin-top:var(--gap-sub);padding-top:var(--space-4);border-top:1px solid var(--hair)}.supporting-nav[data-astro-cid-sz7xmlte] ul[data-astro-cid-sz7xmlte]{list-style:none;margin:0;padding:0;display:flex;flex-wrap:wrap;gap:4px 24px}.supporting-nav[data-astro-cid-sz7xmlte] a[data-astro-cid-sz7xmlte],.supporting-nav[data-astro-cid-sz7xmlte] button[data-astro-cid-sz7xmlte]{font-family:var(--font-mono);font-size:var(--type-caption);letter-spacing:0;text-transform:none;color:var(--muted);display:inline-flex;align-items:center;min-height:44px;line-height:1.5;border-bottom:1px solid transparent;transition:color var(--dur-hover) var(--ease)}.supporting-nav[data-astro-cid-sz7xmlte] button[data-astro-cid-sz7xmlte]{background:none;border:0;border-bottom:1px solid transparent;padding:0;cursor:pointer}.supporting-nav[data-astro-cid-sz7xmlte] [data-astro-cid-sz7xmlte]:is(a,button):is(:hover,:focus-visible){color:var(--accent-text)}.supporting-nav[data-astro-cid-sz7xmlte] [data-astro-cid-sz7xmlte]:is(a,button):active{color:var(--accent-text-hover)}.trade-mark-notice[data-astro-cid-sz7xmlte]{margin:12px 0 0;color:var(--faint);font-size:var(--type-caption);line-height:1.7}@media (max-width: 1000px){.primary-nav[data-astro-cid-sz7xmlte] ul[data-astro-cid-sz7xmlte]{grid-template-columns:1fr;gap:0}}@media (max-width: 720px){.foot-inner[data-astro-cid-sz7xmlte]{grid-template-columns:1fr;gap:32px;text-align:left}.primary-nav[data-astro-cid-sz7xmlte] ul[data-astro-cid-sz7xmlte]{grid-template-columns:repeat(2,minmax(0,1fr));gap:8px 24px}.meta[data-astro-cid-sz7xmlte]{display:grid;gap:8px}.meta-sep[data-astro-cid-sz7xmlte]{display:none}.supporting-nav[data-astro-cid-sz7xmlte] ul[data-astro-cid-sz7xmlte]{gap:4px 20px}.foot-sub[data-astro-cid-sz7xmlte]{margin-top:var(--space-5);padding-top:var(--space-4)}}.consent[data-astro-cid-2effgw6e]{position:fixed;left:0;right:0;bottom:0;z-index:1200;background:var(--paper-raise);border-top:1px solid var(--hair-strong);transform:translateY(100%);transition:transform .32s cubic-bezier(.4,0,.2,1)}.consent[data-astro-cid-2effgw6e].open{transform:translateY(0)}.consent-inner[data-astro-cid-2effgw6e]{display:flex;align-items:center;justify-content:space-between;gap:32px;padding:16px var(--gutter);padding-bottom:calc(16px + env(safe-area-inset-bottom))}.consent-copy[data-astro-cid-2effgw6e]{font-family:var(--font-sans);font-size:13px;line-height:1.5;color:var(--muted);margin:0}.consent-actions[data-astro-cid-2effgw6e]{display:flex;gap:12px;flex-shrink:0}.consent-btn[data-astro-cid-2effgw6e]{font-size:var(--type-caption);padding:12px 22px}@media (max-width: 720px){.consent-inner[data-astro-cid-2effgw6e]{flex-direction:column;align-items:flex-start;gap:14px;padding:16px var(--gutter-tight);padding-bottom:calc(16px + env(safe-area-inset-bottom))}.consent-actions[data-astro-cid-2effgw6e]{width:100%}.consent-btn[data-astro-cid-2effgw6e]{flex:1;text-align:center}}@media (max-width: 360px){.consent-inner[data-astro-cid-2effgw6e]{padding:12px var(--gutter-tight);padding-bottom:calc(12px + env(safe-area-inset-bottom));gap:10px}.consent-copy[data-astro-cid-2effgw6e]{font-size:12px}}@media (prefers-reduced-motion: reduce){.consent[data-astro-cid-2effgw6e]{transition:none}}@font-face{font-family:Montserrat;font-style:normal;font-weight:400;font-display:swap;src:url(/assets/fonts/montserrat-regular.woff2) format("woff2")}@font-face{font-family:Montserrat;font-style:normal;font-weight:500;font-display:swap;src:url(/assets/fonts/montserrat-medium.woff2) format("woff2")}@font-face{font-family:Montserrat;font-style:normal;font-weight:600;font-display:swap;src:url(/assets/fonts/montserrat-semibold.woff2) format("woff2")}@font-face{font-family:Montserrat;font-style:normal;font-weight:700;font-display:swap;src:url(/assets/fonts/montserrat-bold.woff2) format("woff2")}@font-face{font-family:IBM Plex Mono;font-style:normal;font-weight:400;font-display:swap;src:url(/assets/fonts/ibm-plex-mono-regular.woff2) format("woff2")}@font-face{font-family:IBM Plex Mono;font-style:normal;font-weight:500;font-display:swap;src:url(/assets/fonts/ibm-plex-mono-medium.woff2) format("woff2")}@font-face{font-family:IBM Plex Mono;font-style:normal;font-weight:600;font-display:swap;src:url(/assets/fonts/ibm-plex-mono-semibold.woff2) format("woff2")}@font-face{font-family:Montserrat Fallback;src:local("Arial"),local("Helvetica Neue"),local("Helvetica");size-adjust:112.79%;ascent-override:85.79%;descent-override:22.25%;line-gap-override:0%;font-weight:400}@font-face{font-family:Montserrat Fallback;src:local("Arial Italic"),local("Arial-ItalicMT"),local("Helvetica Neue Italic"),local("Helvetica Oblique");size-adjust:114.32%;ascent-override:85.79%;descent-override:22.25%;line-gap-override:0%;font-weight:400;font-style:italic}@font-face{font-family:Montserrat Fallback;src:local("Arial"),local("Helvetica Neue"),local("Helvetica");size-adjust:114.67%;ascent-override:85.79%;descent-override:22.25%;line-gap-override:0%;font-weight:500}@font-face{font-family:Montserrat Fallback;src:local("Arial Bold"),local("Arial-BoldMT"),local("Helvetica Neue Bold"),local("Helvetica Bold");size-adjust:108.17%;ascent-override:85.79%;descent-override:22.25%;line-gap-override:0%;font-weight:600}@font-face{font-family:Montserrat Fallback;src:local("Arial Bold"),local("Arial-BoldMT"),local("Helvetica Neue Bold"),local("Helvetica Bold");size-adjust:110.06%;ascent-override:85.79%;descent-override:22.25%;line-gap-override:0%;font-weight:700}:root{--font-sans: "Montserrat", "Montserrat Fallback", system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;--font-mono: "IBM Plex Mono", ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;--type-display: clamp(36px, 8vw, 112px);--type-h1: clamp(32px, 5vw, 72px);--type-h2: clamp(30px, 3.3vw, 48px);--type-h3: clamp(22px, 2.2vw, 30px);--type-card: clamp(22px, 1.9vw, 26px);--type-body: 17px;--type-small: 16px;--type-support: clamp(18px, 1.5vw, 22px);--type-caption: 13px;--type-action: 14px;--type-finding: clamp(28px, 3.1vw, 44px);--measure-body: 100%;--measure-lede: 100%;--tracking-heading: -.025em;color-scheme:light;--black: #000000;--paper: #ffffff;--paper-deep: #f4f4f2;--paper-soft: #f4f4f2;--paper-mid: #f4f4f2;--paper-raise: #f4f4f2;--ink: #1a1a1a;--ink-soft: #0a0a0a;--inverse-ink: #ffffff;--muted: #4a4a4a;--muted-soft: #6b6b6b;--faint: #6b6b6b;--hair: #e0e0e0;--hair-soft: #e0e0e0;--hair-strong: #8c8c8c;--hair-fine: #e0e0e0;--control-border: #6b6b6b;--control-active: #0a0a0a;--accent: #c9b694;--accent-hover: #d9c9ab;--accent-text: #7a6c55;--accent-text-hover: #7a6c55;--accent-soft: rgba(201, 182, 148, .4);--accent-faint: rgba(201, 182, 148, .08);--bronze: var(--accent);--focus: #0a0a0a;--button-bg: #0a0a0a;--button-fg: #ffffff;--button-hover: #4a4a4a;--selected-bg: #8c7e66;--selected-fg: #0a0a0a;--field-bg: var(--paper);--field-text: var(--ink);--warn: #a33a2e;--hold: #8a6a12;--pass: #2f6b4a;--sedi-signal: #8c7e66;--evidence-text: var(--accent-text);--verdict-error: var(--warn);--verdict-pass: var(--pass);--page-bg: var(--paper);--surface-primary: var(--paper);--surface-secondary: var(--paper-soft);--text-primary: var(--ink);--text-secondary: var(--muted);--text-muted: var(--faint);--border: var(--hair);--divider: var(--hair-strong);--dur-appearance: .22s;--space-1: 8px;--space-2: 12px;--space-3: 16px;--space-4: 24px;--space-5: 32px;--space-6: 48px;--space-7: 64px;--space-8: 96px;--section: clamp(64px, 8vw, 112px);--section-tight: clamp(48px, 7vh, 80px);--hero-top: clamp(48px, 7vh, 80px);--hero-bottom: clamp(40px, 6vh, 64px);--gap-h1: var(--space-4);--gap-head: var(--space-3);--gap-intro: var(--space-6);--gap-sub: calc(var(--space-5) + var(--space-4));--gap-group: var(--space-4);--gap-item: var(--space-2);--gutter: clamp(24px, 4vw, 64px);--gutter-tight: 24px;--max: 1360px;--max-report: 980px;--max-diagram: 1120px;--header-h: 80px;--card-pad: clamp(24px, 3vw, 36px);--anchor-offset: calc(var(--header-h) + 40px);--ease: cubic-bezier(.4, 0, .2, 1);--ease-out: cubic-bezier(.2, 0, 0, 1);--ease-state: var(--ease);--dur-fast: .16s;--dur-hover: var(--dur-fast);--dur-expand: .22s;--dur-menu: .32s;--ease-enter: cubic-bezier(.16, 1, .3, 1);--ease-reveal: cubic-bezier(.22, .65, .25, 1);--dur-enter: .64s;--dur-reveal: .56s;--dur-trace: 1.3s;--dur-signal: .36s;--stagger: 80ms;--motion-distance: 20px;--feedback-distance: 2px}:root[data-theme=dark]{color-scheme:dark;--paper: #0a0a0a;--paper-deep: #070707;--paper-soft: #141414;--paper-mid: #1c1c1c;--paper-raise: #181818;--ink: #f0f0f0;--ink-soft: #ffffff;--inverse-ink: #0a0a0a;--muted: #c8c6c4;--muted-soft: #a8a5a2;--faint: #8e8b87;--hair: rgba(201, 182, 148, .14);--hair-soft: rgba(201, 182, 148, .08);--hair-strong: rgba(201, 182, 148, .3);--hair-fine: rgba(240, 240, 240, .07);--control-border: rgba(201, 182, 148, .55);--control-active: var(--accent);--selected-bg: var(--accent);--accent-text: var(--accent);--accent-text-hover: var(--accent-hover);--focus: var(--accent);--button-bg: var(--accent);--button-fg: var(--black);--button-hover: var(--accent-hover);--warn: #d66a5f;--hold: #c9b694;--pass: #8aaa91;--sedi-signal: var(--accent)}@media (prefers-color-scheme: dark){:root:not([data-theme]){color-scheme:dark;--paper: #0a0a0a;--paper-deep: #070707;--paper-soft: #141414;--paper-mid: #1c1c1c;--paper-raise: #181818;--ink: #f0f0f0;--ink-soft: #ffffff;--inverse-ink: #0a0a0a;--muted: #c8c6c4;--muted-soft: #a8a5a2;--faint: #8e8b87;--hair: rgba(201, 182, 148, .14);--hair-soft: rgba(201, 182, 148, .08);--hair-strong: rgba(201, 182, 148, .3);--hair-fine: rgba(240, 240, 240, .07);--control-border: rgba(201, 182, 148, .55);--control-active: var(--accent);--selected-bg: var(--accent);--accent-text: var(--accent);--accent-text-hover: var(--accent-hover);--focus: var(--accent);--button-bg: var(--accent);--button-fg: var(--black);--button-hover: var(--accent-hover);--warn: #d66a5f;--hold: #c9b694;--pass: #8aaa91;--sedi-signal: var(--accent)}}@media (prefers-reduced-motion: reduce){:root{--dur-fast: 80ms;--dur-hover: 80ms;--dur-expand: 0ms;--dur-menu: 80ms}*,*:before,*:after{animation-duration:.01ms!important;animation-iteration-count:1!important;transition-duration:80ms!important;transition-delay:0ms!important;scroll-behavior:auto!important}}@media (max-width: 560px){:root{--type-body: 16px;--hero-top: 32px;--hero-bottom: 40px}}*,*:before,*:after{box-sizing:border-box}html,body{margin:0;padding:0}html{scroll-behavior:smooth;-webkit-text-size-adjust:100%;text-size-adjust:100%}body{background:var(--paper);color:var(--muted);font-family:var(--font-sans);font-size:16px;line-height:1.55;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;text-rendering:optimizeLegibility;font-feature-settings:normal;font-kerning:normal;min-height:100vh;overflow-x:hidden}img,svg,video,canvas{display:block;max-width:100%}a{color:inherit;text-decoration:none}:where(a,button,summary,input,textarea,select,[role=button]){-webkit-tap-highlight-color:transparent}button{font:inherit;cursor:pointer;background:none;border:0;padding:0;color:inherit}input,textarea,select{font:inherit;color:inherit}::selection{background:var(--accent);color:var(--black)}:focus{outline:none}:focus-visible{outline:2px solid var(--focus);outline-offset:3px}@media (prefers-reduced-motion: reduce){html{scroll-behavior:auto}}.display-xl,.h1,.h2,.h3{font-family:var(--font-sans);font-weight:600;letter-spacing:var(--tracking-heading);text-transform:none;margin:0;color:var(--ink)}.display-xl{font-size:var(--type-display);line-height:1.06}.h1{font-size:var(--type-h1);line-height:1.13}.h2{font-size:var(--type-h2);line-height:1.2}.h3{font-size:var(--type-h3);line-height:1.3}:where(.display-xl,.h1,.h2,.h3,.close-q,.insight-title,main h1,main h2,main h3,main h4,main h5,main h6){text-wrap:wrap;overflow-wrap:normal;word-break:normal;hyphens:none}:where(main h1,main h2,main h3,main h4,main h5,main h6){font-weight:600;letter-spacing:var(--tracking-heading);text-transform:none}:is(.display-xl,.h1,.h2,.h3,.close-q,.insight-title,main h1,main h2,main h3,main h4,main h5,main h6) :is(em,.em){font-style:normal;font-weight:inherit}:where(.lede,.body,.body-sm,main p,main li){text-wrap:wrap}:where(main p,main li) code{overflow-wrap:anywhere}.lede{max-width:var(--measure-lede);font-family:var(--font-sans);font-size:var(--type-support);line-height:1.65;font-weight:400;color:var(--muted)}.body{max-width:var(--measure-body);font-family:var(--font-sans);font-size:var(--type-body);line-height:1.7;font-weight:400;color:var(--muted)}.body-sm{font-family:var(--font-sans);font-size:var(--type-small);line-height:1.65}.mono{font-family:var(--font-mono);font-size:var(--type-caption);letter-spacing:0;font-weight:400}em,.em{font-style:italic;font-weight:400}.muted{color:var(--muted)}.label{display:block;margin:0 0 var(--space-4);font-family:var(--font-sans);font-size:var(--type-caption);font-weight:600;letter-spacing:.12em;line-height:1.5;text-transform:uppercase;color:var(--accent-text)}.product-identity{margin-bottom:var(--space-5)}.form{display:grid;gap:var(--space-4)}.field{display:grid;gap:var(--space-1)}.field-row{display:grid;grid-template-columns:1fr 1fr;gap:var(--space-4)}.field label,.field-legend{font-family:var(--font-mono);font-size:var(--type-caption);letter-spacing:.04em;color:var(--muted);text-transform:uppercase}.field input,.field textarea,.field select{font-family:var(--font-sans);font-size:16px;color:var(--field-text);background:var(--field-bg);border:0;border-bottom:1px solid var(--control-border);padding:12px 0;min-height:48px;width:100%;border-radius:0;transition:border-color var(--dur-hover) var(--ease)}.field :is(input,textarea,select):not(:disabled):hover{border-bottom-color:var(--control-active)}.field input:focus-visible,.field textarea:focus-visible,.field select:focus-visible{outline:none;border-bottom-color:var(--focus);box-shadow:0 2px 0 var(--focus)}.field textarea{resize:vertical;min-height:120px;line-height:1.55}.field input[aria-invalid=true],.field textarea[aria-invalid=true]{border-bottom-color:var(--warn)}.field-hint{font-family:var(--font-sans);font-size:14px;line-height:1.5;color:var(--faint);margin:0}.fieldset{border:0;margin:0;padding:0;min-inline-size:0}.fieldset>legend{padding:0;margin:0 0 8px}.choice-list{display:grid;gap:0;margin:24px 0 0;border-top:1px solid var(--hair)}.choice{position:relative;display:grid;grid-template-columns:18px 1fr;gap:16px;align-items:start;padding:18px 4px 18px 2px;min-height:44px;border-bottom:1px solid var(--hair);cursor:pointer;transition:background var(--dur-hover) var(--ease)}.choice:not(:has(input:disabled)):hover{background:var(--paper-soft)}.choice input{position:absolute;opacity:0;width:18px;height:18px;margin:0;cursor:pointer}.choice-marker{width:18px;height:18px;margin-top:3px;border:1px solid var(--control-border);background:transparent;transition:border-color var(--dur-hover) var(--ease),background var(--dur-hover) var(--ease)}.choice-marker:after{content:"";display:block;width:8px;height:8px;margin:4px;background:var(--black);transform:scale(0);transition:transform var(--dur-hover) var(--ease)}.choice input:checked~.choice-marker{border-color:var(--selected-bg);background:var(--selected-bg)}.choice input:checked~.choice-marker:after{transform:scale(1)}.choice input:focus-visible~.choice-marker{outline:2px solid var(--focus);outline-offset:3px}.choice-label{font-family:var(--font-sans);font-size:16px;line-height:1.5;color:var(--muted);transition:color var(--dur-hover) var(--ease)}.choice input:checked~.choice-label{color:var(--ink)}.consent-check{display:grid;grid-template-columns:18px 1fr;gap:16px;align-items:start;padding:4px 0;min-height:44px;cursor:pointer}.consent-check input{position:absolute;opacity:0;width:18px;height:18px;margin:0}.consent-check .choice-marker{margin-top:2px}.consent-check-text{font-family:var(--font-sans);font-size:14px;line-height:1.6;color:var(--muted)}.field-error{font-family:var(--font-sans);font-size:14px;line-height:1.5;color:var(--warn);margin:0}.field-error:empty{display:none}.error-summary{margin:0 0 32px;padding:20px 24px;border:1px solid var(--warn);scroll-margin-top:calc(var(--header-h) + 32px)}.error-summary:focus-visible{outline:2px solid var(--focus);outline-offset:3px}.error-summary h2{font-family:var(--font-sans);font-size:15px;font-weight:600;letter-spacing:0;color:var(--warn);margin:0 0 8px}.error-summary ul{margin:0;padding:0;list-style:none;display:grid;gap:6px}.error-summary a{font-family:var(--font-sans);font-size:14px;color:var(--warn);border-bottom:1px solid currentColor}.form-status{margin-top:24px;padding:16px 20px;font-family:var(--font-sans);font-size:14px;line-height:1.5;border:1px solid var(--hair)}.form-status[data-state=ok]{border-color:var(--accent)}.form-status[data-state=err]{border-color:var(--warn);color:var(--warn)}.form-status[data-state=pending]{color:var(--muted)}.submit-row{display:flex;align-items:center;justify-content:space-between;gap:32px;margin-top:16px;padding-top:24px;border-top:1px solid var(--hair)}.submit-row .small{margin:0;font-family:var(--font-sans);font-size:var(--type-caption);line-height:1.55}.honey{position:absolute!important;left:-9999px;width:1px;height:1px;opacity:0}.btn:disabled,.btn-ghost:disabled{background:var(--paper-soft);color:var(--faint);border-color:var(--control-border);cursor:not-allowed}.field input:disabled,.field textarea:disabled,.field select:disabled{color:var(--faint);cursor:not-allowed;border-bottom-style:dashed}.field:has(input:disabled) label,.field:has(textarea:disabled) label,.field:has(select:disabled) label{color:var(--faint)}.consent-check:has(input:disabled){cursor:not-allowed}.consent-check input:disabled~.choice-marker{border-color:var(--control-border);border-style:dashed}.consent-check input:disabled~.consent-check-text{color:var(--faint)}@media (max-width: 880px){.field-row{grid-template-columns:1fr}.submit-row{flex-direction:column;align-items:flex-start;gap:16px}}body{padding-bottom:var(--consent-clearance, 0px)}.wrap,.wrap-narrow,.wrap-reading{margin:0 auto;padding:0 var(--gutter)}.wrap,.wrap-narrow,.wrap-reading{max-width:var(--max)}@media (max-width: 720px){.wrap,.wrap-narrow,.wrap-reading{padding:0 var(--gutter-tight)}}[id],a,button,summary,input,textarea,select,[tabindex]{scroll-margin-top:var(--anchor-offset)}.rule{height:1px;background:var(--hair);border:0;margin:0}.section-kicker{display:inline-flex;align-items:center;gap:14px}.section-kicker:before{content:"";display:block;width:32px;height:1px;background:var(--accent)}.agda-mark{display:inline-block;white-space:nowrap;line-height:0}.agda-wordmark{display:inline-block;width:clamp(80px,3.36em,199px);height:auto;vertical-align:baseline}.agda-text{font-size:0;letter-spacing:0}.agda-reg{color:var(--accent);display:inline-block;font-size:clamp(8px,.24em,16px);letter-spacing:0;line-height:1;margin-left:.06em;vertical-align:top}.hero{padding-top:var(--hero-top);padding-bottom:var(--hero-bottom);border-bottom:1px solid var(--hair)}.hero .lede{margin-top:var(--gap-h1)}.hero-cta{margin-top:var(--space-5);display:flex;flex-wrap:wrap;gap:var(--space-2)}@media (max-width: 560px){.hero .hero-cta :is(.btn,.btn-ghost),.cta-row :is(.btn,.btn-ghost){flex:1 1 100%}}@media (max-height: 760px) and (min-width: 561px){.hero:not(.hero-home){padding-top:32px}.hero:not(.hero-home) .h1{font-size:clamp(32px,3.8vw,48px)}}.block{padding:var(--section) 0}.block.tight{padding:var(--section-tight) 0}.block .h2+.lede,.block .h2+.body{margin-top:var(--gap-head)}.block .body+.body{margin-top:var(--space-3)}.block .lede+.body{margin-top:var(--space-4)}.footnote{margin:var(--space-5) 0 0;font-size:14px;line-height:1.6;color:var(--muted)}.btn,.btn-ghost{position:relative;font-family:var(--font-sans);font-size:var(--type-action);font-weight:600;line-height:1.5;letter-spacing:.02em;text-transform:none;text-align:center;max-width:100%;padding:var(--space-2) var(--space-4);display:inline-flex;align-items:center;justify-content:center;gap:10px;min-height:48px;border:1px solid var(--accent);cursor:pointer;transition:background-color var(--dur-fast) var(--ease),border-color var(--dur-fast) var(--ease),color var(--dur-fast) var(--ease)}.btn{background:var(--button-bg);color:var(--button-fg);border-color:var(--button-bg)}.btn:not(:disabled):is(:hover,:focus-visible){background:var(--button-hover);border-color:var(--button-hover)}.btn:not(:disabled):active{background:var(--button-bg);border-color:var(--button-bg)}.btn-ghost{background:transparent;color:var(--ink);border-color:var(--control-border)}.btn-ghost:not(:disabled):is(:hover,:focus-visible){border-color:var(--control-active);color:var(--accent-text);background:transparent}.btn-ghost:not(:disabled):active{background:var(--accent-faint)}.btn:focus-visible,.btn-ghost:focus-visible{outline:2px solid var(--focus);outline-offset:3px}.cta-row{display:flex;flex-wrap:wrap;gap:var(--space-2)}.block .cta-row{margin-top:var(--space-5)}.link{color:var(--ink);border-bottom:1px solid var(--hair-strong);padding-bottom:1px;transition:border-color var(--dur-fast) var(--ease),color var(--dur-fast) var(--ease)}.link:is(:hover,:focus-visible){border-color:var(--accent);color:var(--accent-text)}.link:active{border-color:var(--accent-hover);color:var(--accent-text-hover)}.link:focus-visible{outline:2px solid var(--focus);outline-offset:3px}.arrow-link{display:inline-block;margin-top:var(--space-5);font-family:var(--font-sans);font-size:16px;color:var(--ink);border-bottom:1px solid var(--hair-strong);padding-bottom:2px;transition:border-color var(--dur-fast) var(--ease),color var(--dur-fast) var(--ease)}.arrow-link:is(:hover,:focus-visible){border-color:var(--accent);color:var(--accent-text)}.arrow-link:active{border-color:var(--accent-hover);color:var(--accent-text-hover)}.arrow-link:focus-visible{outline:2px solid var(--focus);outline-offset:3px}.skip-link{position:absolute;left:-9999px;top:0;background:var(--accent);color:var(--black);padding:10px 16px;z-index:1000;font-family:var(--font-sans);font-size:13px;font-weight:500}.skip-link:focus{left:16px;top:16px}:is(.link,.arrow-link)>span[aria-hidden=true]{display:inline-block;transition:transform var(--dur-fast) var(--ease-out)}@media (hover: hover) and (prefers-reduced-motion: no-preference){:is(.link,.arrow-link):hover>span[aria-hidden=true]{transform:translate(3px)}}@media (prefers-reduced-motion: no-preference){:is(.link,.arrow-link):focus-visible>span[aria-hidden=true]{transform:translate(3px)}}.card-grid{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:var(--gap-group)}.card{position:relative;min-width:0;display:grid;gap:var(--gap-item);align-content:start;padding:var(--space-4) 0 0;background:transparent;border:0;border-top:1px solid var(--hair-strong);color:inherit}.card .label{margin-bottom:0}.card .card-title{margin:0;font-size:var(--type-card)}.card p{margin:0}a.card{transition:background var(--dur-fast) var(--ease),border-color var(--dur-fast) var(--ease)}a.card:before{content:"";position:absolute;top:-1px;left:-1px;right:-1px;height:2px;background:var(--accent);transform:scaleX(0);transform-origin:left center;transition:transform var(--dur-fast) var(--ease)}a.card:hover,a.card:focus-visible{background:transparent;border-color:var(--accent)}a.card:hover:before,a.card:focus-visible:before{transform:scaleX(1)}@media (max-width: 880px){.card-grid{grid-template-columns:1fr}}.dash-list{list-style:none;margin:0;padding:0;display:grid;gap:var(--gap-item)}.dash-list>li{position:relative;padding-left:20px;font-family:var(--font-sans);font-size:var(--type-body);line-height:1.7;color:var(--ink)}.dash-list>li:before{content:"";position:absolute;left:0;top:11px;width:8px;height:1px;background:var(--accent)}.col-label{display:block;font-family:var(--font-mono);font-size:var(--type-caption);letter-spacing:.14em;text-transform:uppercase;color:var(--muted);padding-bottom:12px;border-bottom:1px solid var(--hair-strong)}.col-label+.dash-list{margin-top:var(--space-3)}.feature-grid{list-style:none;margin:var(--gap-intro) 0 0;padding:0;display:grid;grid-template-columns:repeat(var(--cols, 3),minmax(0,1fr));gap:var(--space-5) var(--space-6)}.feature-grid>li{display:grid;gap:var(--space-3);align-content:start;min-width:0;padding-top:var(--space-4);border-top:1px solid var(--hair-strong)}.feature-grid .h3{margin:0;font-size:var(--type-card)}.feature-grid p{margin:0}.feature-grid .mono{color:var(--accent-text);font-size:var(--type-caption);letter-spacing:.14em;text-transform:uppercase}@media (max-width: 880px){.feature-grid{grid-template-columns:repeat(min(var(--cols, 3),2),1fr);gap:var(--space-5) var(--space-5)}}@media (max-width: 560px){.feature-grid{grid-template-columns:1fr}}.spec-list{--spec-col: 200px;margin:0;padding-top:var(--space-4);border-top:1px solid var(--hair-strong)}.spec-list>div{display:grid;grid-template-columns:var(--spec-col) minmax(0,1fr);gap:var(--space-4);padding:var(--space-3) 0;border-bottom:1px solid var(--hair);align-items:baseline}.spec-list dt{font-family:var(--font-mono);font-size:var(--type-caption);letter-spacing:.08em;text-transform:uppercase;color:var(--muted);line-height:1.5}.spec-list dd{margin:0;font-family:var(--font-sans);font-size:var(--type-body);line-height:1.7;color:var(--ink)}@media (max-width: 720px){.spec-list>div{grid-template-columns:1fr;gap:6px}}.faq-list{margin:var(--gap-intro) 0 0;border-top:1px solid var(--hair-strong)}.faq-list>div{display:grid;grid-template-columns:.8fr 1.2fr;gap:var(--space-6);padding:var(--space-4) 0;border-bottom:1px solid var(--hair)}.faq-list dt{font-family:var(--font-sans);font-size:18px;font-weight:500;line-height:1.5;color:var(--ink)}.faq-list dd{margin:0;font-family:var(--font-sans);font-size:var(--type-body);line-height:1.7;color:var(--muted)}@media (max-width: 880px){.faq-list>div{grid-template-columns:1fr;gap:var(--space-2)}}.definition-box{padding:var(--space-4) 0 var(--space-4) 28px;border-left:2px solid var(--accent)}.definition-box .box-label{display:block;margin-bottom:var(--space-3);font-family:var(--font-mono);color:var(--muted);font-size:var(--type-caption);letter-spacing:.08em;text-transform:uppercase}.definition-box p{margin:0;font-family:var(--font-sans);font-size:clamp(20px,2.4vw,30px);line-height:1.28;color:var(--ink)}@media (max-width: 560px){.definition-box{padding-left:18px}}.table-compare{margin-top:var(--gap-intro);width:100%;border-collapse:collapse;font-family:var(--font-sans)}.table-compare th,.table-compare td{text-align:left;vertical-align:top;padding:18px 24px 18px 0;border-top:1px solid var(--hair);font-size:16px;line-height:1.55}.table-compare th:last-child,.table-compare td:last-child{padding-right:0}.table-compare thead th{border-top:1px solid var(--hair-strong);border-bottom:1px solid var(--hair-strong);color:var(--ink);font-family:var(--font-mono);font-weight:500;font-size:var(--type-caption);letter-spacing:.1em;text-transform:uppercase;padding-top:0;padding-bottom:14px}.table-compare tbody th{color:var(--ink);font-weight:600;width:24%}.table-compare td{color:var(--muted)}.table-compare td:last-child{color:var(--ink)}@media (max-width: 760px){.table-compare,.table-compare thead,.table-compare tbody,.table-compare tr,.table-compare th,.table-compare td{display:block;width:100%}.table-compare thead{position:absolute;width:1px;height:1px;overflow:hidden;clip-path:inset(50%)}.table-compare thead :is(tr,th){width:1px;min-width:0;padding:0;font-size:1px;overflow:hidden}.table-compare tbody tr{padding:16px 0;border-top:1px solid var(--hair)}.table-compare th,.table-compare td{padding:6px 0;border:0}.table-compare tbody th{width:100%}.table-compare td:before{content:attr(data-col);display:block;font-family:var(--font-mono);font-size:var(--type-caption);letter-spacing:.08em;text-transform:uppercase;color:var(--faint);margin-bottom:2px}}.code-block{margin:var(--space-4) 0 0;padding:var(--space-4) var(--space-5);background:var(--paper-soft);border:1px solid var(--hair);font-family:var(--font-mono);font-size:12.5px;line-height:1.75;color:var(--ink);overflow-x:auto;white-space:pre;max-width:100%}.code-block code{font-family:inherit}.code-block:focus-visible{outline:2px solid var(--focus);outline-offset:3px}.code-caption{display:block;margin-top:var(--space-5);font-family:var(--font-mono);font-size:12px;letter-spacing:.08em;text-transform:uppercase;color:var(--faint)}.code-caption+.code-block{margin-top:var(--space-2)}@media (max-width: 720px){.code-block{padding:18px 20px;font-size:12px}}.disclosure{border-top:1px solid var(--hair);border-bottom:1px solid var(--hair)}.disclosure+.disclosure{border-top:0}.disclosure>summary{list-style:none;cursor:pointer;display:flex;align-items:center;justify-content:space-between;gap:var(--space-3);min-height:48px;padding:12px 0;font-family:var(--font-sans);font-size:16px;color:var(--ink);transition:color var(--dur-fast) var(--ease)}.disclosure>summary::-webkit-details-marker{display:none}.disclosure>summary:is(:hover,:focus-visible){color:var(--accent-text)}.disclosure>summary:active{color:var(--accent-text-hover)}.disclosure>summary:focus-visible{outline:2px solid var(--focus);outline-offset:3px}.disclosure>summary{position:relative;padding-right:32px}.disclosure>summary:before,.disclosure>summary:after{content:"";position:absolute;background:var(--accent);pointer-events:none}.disclosure>summary:after{width:18px;height:1px;right:0;top:50%}.disclosure>summary:before{width:1px;height:18px;right:8.5px;top:calc(50% - 9px)}.disclosure>summary:before{transition:transform var(--dur-expand) var(--ease-out);transform-origin:center}.disclosure[open]:not([data-disclosure-state=closed])>summary:before{transform:scaleY(0)}.disclosure-body{padding:4px 0 var(--space-4);font-family:var(--font-sans);font-size:var(--type-body);line-height:1.7;color:var(--muted)}.disclosure-body>:first-child{margin-top:0}.disclosure-body>:last-child{margin-bottom:0}[data-disclosure-body]{display:flow-root}[data-disclosure-state]>[data-disclosure-body]{overflow:hidden}.page-nav{border-bottom:1px solid var(--hair);background:var(--paper)}.page-nav-inner{display:flex;align-items:baseline;gap:var(--space-4);padding-top:var(--space-2);padding-bottom:var(--space-2)}.page-nav-label{flex:none;font-family:var(--font-mono);font-size:12px;letter-spacing:.08em;text-transform:uppercase;color:var(--faint);padding-bottom:0}.page-nav ul{list-style:none;margin:0;padding:0;display:flex;flex-wrap:wrap;min-width:0;gap:0 var(--space-4)}.page-nav a{display:inline-flex;align-items:center;min-height:48px;padding:12px 0;font-family:var(--font-sans);font-size:14px;color:var(--muted);border-bottom:2px solid transparent;transition:color var(--dur-fast) var(--ease),border-color var(--dur-fast) var(--ease)}.page-nav a[aria-current=true]{color:var(--ink);border-bottom-color:var(--accent)}.page-nav a:is(:hover,:focus-visible){color:var(--accent-text);border-bottom-color:var(--accent)}.page-nav a:active{color:var(--accent-text-hover)}.page-nav a:focus-visible{outline:2px solid var(--focus);outline-offset:-2px}@media (max-width: 880px){.page-nav-inner{display:grid;gap:var(--space-1);padding-top:var(--space-4)}.page-nav ul{display:grid;grid-template-columns:repeat(2,minmax(0,1fr))}.page-nav a{width:100%;height:100%;line-height:1.5}}@media (max-width: 560px){.page-nav ul{column-gap:var(--space-3)}}.close-grid{display:grid;grid-template-columns:1.1fr 1fr;gap:var(--space-7);align-items:start}.close-grid .h2{margin:0}.close-cta{display:grid;gap:var(--space-4);align-content:start;padding-top:10px}.close-cta .body{margin:0}@media (max-width: 880px){.close-grid{grid-template-columns:1fr;gap:var(--space-5)}}.cta-band .body{margin:var(--gap-head) 0 0}.cta-band .cta-row{margin-top:var(--space-5)}.rail{position:relative;height:1px;background:var(--hair-strong)}.node{display:block;width:13px;height:13px;border-radius:50%;border:1px solid var(--sedi-signal);background:var(--paper);box-sizing:border-box}.node.is-filled{background:var(--sedi-signal)}.insights-list{list-style:none;margin:0;padding:0;display:grid;border-bottom:1px solid var(--hair-strong)}.reading-layout{display:grid;grid-template-columns:minmax(0,.75fr) minmax(0,1.75fr);gap:var(--space-7);padding-top:var(--section-tight);padding-bottom:var(--section);align-items:start}.reading-content{min-width:0;max-width:var(--measure-body);overflow-wrap:anywhere}.section-intro{display:grid;grid-template-columns:minmax(0,1fr) minmax(0,1.8fr);gap:var(--space-7);align-items:start}.section-intro .body{margin:0}.related-links{display:flex;flex-wrap:wrap;gap:var(--space-1) var(--space-5);margin-top:var(--space-5)}.related-links .link{display:inline-flex;align-items:center;min-height:44px;font-size:var(--type-small)}@media (max-width: 880px){.reading-layout,.section-intro{grid-template-columns:1fr;gap:var(--space-5)}}.brand-light{display:block}.brand-dark{display:none}:root[data-theme=dark] .brand-light{display:none}:root[data-theme=dark] .brand-dark{display:block}@media (prefers-color-scheme: dark){:root:not([data-theme]) .brand-light{display:none}:root:not([data-theme]) .brand-dark{display:block}}.agda-mark .brand-light,.agda-mark .brand-dark{display:none}.agda-mark .brand-light{display:inline-block}:root[data-theme=dark] .agda-mark .brand-dark{display:inline-block}:root[data-theme=dark] .agda-mark .brand-light{display:none}@media (prefers-color-scheme: dark){:root:not([data-theme]) .agda-mark .brand-dark{display:inline-block}:root:not([data-theme]) .agda-mark .brand-light{display:none}}@media (prefers-reduced-motion: no-preference){:root[data-appearance-changing] :is(body,.site-header,.takeover-header,.page-nav,.consent,.h1,.h2,.h3,.body,.lede,.footnote){transition:background-color var(--dur-appearance) var(--ease),color var(--dur-appearance) var(--ease),border-color var(--dur-appearance) var(--ease)}}@media (prefers-reduced-motion: reduce){:root[data-appearance-changing] :is(body,.site-header,.takeover-header,.page-nav,.consent,.h1,.h2,.h3,.body,.lede,.footnote,[data-appearance] *){transition-duration:0ms!important}}@media (prefers-reduced-motion: no-preference){:root[data-appearance-changing] .intervene-wordmark{transition:color var(--dur-appearance) var(--ease)}}.motion-line{display:block}.motion-line>span{display:block}@media (prefers-reduced-motion: no-preference){.takeover[data-menu-enter] .takeover-body li{animation:nav-enter var(--dur-reveal) var(--ease-enter) backwards}.takeover[data-menu-enter] .takeover-body li:nth-child(2){animation-delay:25ms}.takeover[data-menu-enter] .takeover-body li:nth-child(3){animation-delay:50ms}.takeover[data-menu-enter] .takeover-body li:nth-child(4){animation-delay:75ms}.takeover[data-menu-enter] .takeover-body li:nth-child(5){animation-delay:.1s}.takeover[data-menu-enter] .takeover-body li:nth-child(6){animation-delay:125ms}.takeover[data-menu-enter] .takeover-body li:nth-child(7){animation-delay:.15s}.takeover[data-menu-enter] .takeover-body li[data-menu-settled],.takeover[data-menu-enter] .takeover-body li:focus-within{animation:none}.btn,.btn-ghost{transition:transform var(--dur-fast) var(--ease-out),background-color var(--dur-fast) var(--ease),border-color var(--dur-fast) var(--ease),color var(--dur-fast) var(--ease)}@media (hover: hover){:is(.btn,.btn-ghost):not(:disabled):hover{transform:translateY(calc(-1 * var(--feedback-distance)))}:is(.btn,.btn-ghost):not(:disabled):active{transform:translateY(0)}}}:is(.link,.arrow-link){text-decoration-line:underline;border-bottom-color:transparent;text-decoration-color:var(--hair-strong);text-decoration-thickness:1px;text-underline-offset:5px;transition:text-decoration-color var(--dur-fast) var(--ease),text-underline-offset var(--dur-fast) var(--ease),color var(--dur-fast) var(--ease),border-color var(--dur-fast) var(--ease)}:is(.link,.arrow-link):is(:hover,:focus-visible){border-bottom-color:transparent;text-decoration-color:var(--accent);text-underline-offset:3px}@keyframes nav-enter{0%{transform:translateY(12px)}to{transform:translateY(0)}}@media print{*,*:before,*:after{animation:none!important}}.finding-chain .fc-exceeds .fc-node{position:relative}.finding-chain .fc-exceeds .fc-node:after{content:"";position:absolute;inset:-6px;border:6px solid var(--accent-soft);border-radius:inherit;opacity:0;pointer-events:none}@media (prefers-reduced-motion: no-preference){.finding-chain .fc-exceeds .fc-node.is-emphasised:after{animation:evidence-focus calc(var(--dur-reveal) + var(--dur-fast)) var(--ease-enter)}.finding-chain .fc-result.is-emphasised{animation:evidence-rule calc(var(--dur-reveal) + var(--dur-fast)) var(--ease-enter)}}@keyframes evidence-focus{0%,to{transform:scale(.5);opacity:0}40%{transform:scale(1);opacity:1}}@keyframes evidence-rule{0%,to{border-left-color:var(--accent)}40%{border-left-color:var(--ink)}}