.appearance[data-astro-cid-sztgej7n]{color:var(--ink);font-size:13px;display:none}html[data-appearance] .appearance-menu[data-astro-cid-sztgej7n]{display:block}.appearance-header[data-astro-cid-sztgej7n]{margin-right:16px;position:relative}@media (width>=720px){html[data-appearance] .appearance-header[data-astro-cid-sztgej7n]{display:block}}.moon[data-astro-cid-sztgej7n]{display:none}html[data-theme=dark] .moon[data-astro-cid-sztgej7n]{display:block}html[data-theme=dark] .sun[data-astro-cid-sztgej7n]{display:none}summary[data-astro-cid-sztgej7n]{cursor:pointer;place-items:center;width:44px;height:44px;list-style:none;display:grid}summary[data-astro-cid-sztgej7n]::-webkit-details-marker{display:none}summary[data-astro-cid-sztgej7n]:is(:hover,:focus-visible){color:var(--accent-text)}summary[data-astro-cid-sztgej7n]:focus-visible,button[data-astro-cid-sztgej7n]:focus-visible{outline:2px solid var(--focus);outline-offset:3px}.appearance-options[data-astro-cid-sztgej7n]{flex-wrap:wrap;align-items:center;gap:8px;display:flex}.appearance-header[data-astro-cid-sztgej7n] .appearance-options[data-astro-cid-sztgej7n]{border:1px solid var(--hair-strong);background:var(--paper);width:250px;padding:16px;position:absolute;top:calc(100% + 18px);right:0}.appearance-header[data-astro-cid-sztgej7n] .appearance-label[data-astro-cid-sztgej7n]{flex-basis:100%}.appearance-label[data-astro-cid-sztgej7n]{font-family:var(--font-mono);color:var(--muted);margin-right:8px}button[data-astro-cid-sztgej7n]{min-width:60px;min-height:44px;color:var(--muted);border-bottom:2px solid #0000;padding:8px}button[data-astro-cid-sztgej7n][aria-pressed=true]{color:var(--ink);border-bottom-color:var(--sedi-signal);font-weight:600}button[data-astro-cid-sztgej7n]:is(:hover,:focus-visible){color:var(--accent-text)}.appearance-current[data-astro-cid-sztgej7n]{color:var(--faint);font-family:var(--font-mono);flex-basis:100%;font-size:12px}.appearance-status[data-astro-cid-sztgej7n]{clip-path:inset(50%);white-space:nowrap;width:1px;height:1px;position:absolute;overflow:hidden}.intervene-logo[data-astro-cid-f7espo7c]{color:var(--ink-soft);align-items:center;line-height:1;display:inline-flex}.intervene-logo[data-astro-cid-f7espo7c].inverted{color:var(--inverse-ink)}.intervene-wordmark[data-astro-cid-f7espo7c]{height:var(--logo-h);aspect-ratio:9196/1027.7;width:auto;display:block}@media (width<=767px){.intervene-logo[data-astro-cid-f7espo7c].size-md .intervene-wordmark[data-astro-cid-f7espo7c]{height:18px}}.menu-icon[data-astro-cid-4sdvenmw]{flex-shrink:0;width:22px;height:14px;display:inline-block;position:relative}.line[data-astro-cid-4sdvenmw]{transform-origin:50%;height:1.5px;transition:transform var(--dur-menu) var(--ease-out), opacity var(--dur-fast) var(--ease);background:currentColor;position:absolute;left:0;right:0}.line-1[data-astro-cid-4sdvenmw]{top:0}.line-2[data-astro-cid-4sdvenmw]{top:50%;transform:translateY(-50%)}.line-3[data-astro-cid-4sdvenmw]{bottom:0}[aria-expanded=true] .line-1[data-astro-cid-4sdvenmw]{transform:translateY(6.25px)rotate(45deg)}[aria-expanded=true] .line-2[data-astro-cid-4sdvenmw]{opacity:0;transform:translateY(-50%)scaleX(0)}[aria-expanded=true] .line-3[data-astro-cid-4sdvenmw]{transform:translateY(-6.25px)rotate(-45deg)}@media (prefers-reduced-motion:reduce){.line[data-astro-cid-4sdvenmw]{transition-duration:80ms}}.no-script-menu[data-astro-cid-nen7h5rs]{align-items:center;min-height:44px;margin-left:auto;display:inline-flex}.site-header[data-astro-cid-nen7h5rs]{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);position:sticky;top:0}.site-header[data-astro-cid-nen7h5rs][data-takeover-open]{border-bottom-color:var(--hair)}.header-inner[data-astro-cid-nen7h5rs]{min-height:var(--header-h);justify-content:space-between;align-items:center;padding-top:18px;padding-bottom:18px;display:flex}.quick-nav[data-astro-cid-nen7h5rs]{align-items:center;gap:var(--space-5);margin-left:auto;margin-right:24px;display:none}.quick-nav[data-astro-cid-nen7h5rs] a[data-astro-cid-nen7h5rs]{font-family:var(--font-sans);font-size:var(--type-action);letter-spacing:0;text-transform:none;color:var(--muted);min-height:44px;transition:color var(--dur-hover) var(--ease), border-color var(--dur-hover) var(--ease);border-bottom:1px solid #0000;align-items:center;padding:6px 0;font-weight:600;display:inline-flex}.quick-nav[data-astro-cid-nen7h5rs] a[data-astro-cid-nen7h5rs][aria-current=page]{color:var(--ink);border-bottom-color:var(--accent)}.quick-nav[data-astro-cid-nen7h5rs] a[data-astro-cid-nen7h5rs]:is(:hover,:focus-visible){color:var(--accent-text);border-bottom-color:var(--accent)}.quick-nav[data-astro-cid-nen7h5rs] a[data-astro-cid-nen7h5rs]:active{color:var(--accent-text-hover)}.quick-nav[data-astro-cid-nen7h5rs] a[data-astro-cid-nen7h5rs]:focus-visible{outline:2px solid var(--focus);outline-offset:4px}.quick-nav[data-astro-cid-nen7h5rs] .quick-cta[data-astro-cid-nen7h5rs]{color:var(--ink);border:1px solid var(--control-border);padding-inline:var(--space-3)}.quick-nav[data-astro-cid-nen7h5rs] .quick-cta[data-astro-cid-nen7h5rs]:is(:hover,:focus-visible),.quick-nav[data-astro-cid-nen7h5rs] .quick-cta[data-astro-cid-nen7h5rs][aria-current=page]{color:var(--accent-text);border-color:var(--control-active)}@media (width>=720px){.quick-nav[data-astro-cid-nen7h5rs]{display:flex}.quick-nav[data-astro-cid-nen7h5rs] a[data-astro-cid-nen7h5rs]:not(.quick-cta){display:none}}@media (width>=1100px){.quick-nav[data-astro-cid-nen7h5rs] a[data-astro-cid-nen7h5rs]:not(.quick-cta){display:inline-flex}}html[data-appearance] .menu-trigger[data-astro-cid-nen7h5rs]{display:inline-flex}.menu-trigger[data-astro-cid-nen7h5rs]{width:44px;height:44px;color:var(--ink);transition:color var(--dur-hover) var(--ease);justify-content:center;align-items:center;margin-right:-10px;display:none}.menu-trigger[data-astro-cid-nen7h5rs]:is(:hover,:focus-visible){color:var(--accent-text)}.menu-trigger[data-astro-cid-nen7h5rs]:active{color:var(--accent-text-hover)}.menu-trigger[data-astro-cid-nen7h5rs]:focus-visible{outline:2px solid var(--focus);outline-offset:2px}.takeover-appearance[data-astro-cid-psdnk2i5]{width:100%;padding-bottom:var(--space-5)}.sr-only[data-astro-cid-psdnk2i5]{clip:rect(0,0,0,0);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}.takeover[data-astro-cid-psdnk2i5]{z-index:1300;background:var(--paper);color:var(--ink);opacity:0;transition:opacity var(--dur-menu) var(--ease);pointer-events:none;flex-direction:column;display:flex;position:fixed;inset:0;overflow-y:auto}.takeover[data-astro-cid-psdnk2i5].open{opacity:1;pointer-events:auto}.takeover[data-astro-cid-psdnk2i5][hidden]{display:none}.takeover-header[data-astro-cid-psdnk2i5]{z-index:1;background:var(--paper);border-bottom:1px solid var(--hair);flex:none;position:sticky;top:0}.takeover-top[data-astro-cid-psdnk2i5]{width:100%;min-height:var(--header-h);flex:none;justify-content:space-between;align-items:center;padding-top:18px;padding-bottom:18px;display:flex}.takeover-close[data-astro-cid-psdnk2i5]{width:44px;height:44px;color:var(--ink);justify-content:center;align-items:center;margin-right:-10px;display:inline-flex}.takeover-close[data-astro-cid-psdnk2i5]:is(:hover,:focus-visible){color:var(--accent-text)}.takeover-close[data-astro-cid-psdnk2i5]:active{color:var(--accent-text-hover)}.takeover-close[data-astro-cid-psdnk2i5]:focus-visible{outline:2px solid var(--focus);outline-offset:2px}.takeover-body[data-astro-cid-psdnk2i5]{width:100%;padding-top:var(--space-6);padding-bottom:var(--space-6);flex:1;align-items:safe center;display:flex}.takeover-body[data-astro-cid-psdnk2i5] ul[data-astro-cid-psdnk2i5]{gap:8px;margin:0;padding:0;list-style:none;display:grid}.takeover-body[data-astro-cid-psdnk2i5] a[data-astro-cid-psdnk2i5]{font-family:var(--font-sans);letter-spacing:var(--tracking-heading);text-transform:none;color:var(--ink);white-space:normal;min-height:48px;transition:color var(--dur-fast) var(--ease);padding:8px 0;font-size:clamp(28px,4vw,56px);font-weight:600;line-height:1.15;display:block;position:relative}.takeover-body[data-astro-cid-psdnk2i5] a[data-astro-cid-psdnk2i5]:hover,.takeover-body[data-astro-cid-psdnk2i5] a[data-astro-cid-psdnk2i5]:focus-visible{color:var(--accent-text)}.takeover-body[data-astro-cid-psdnk2i5] a[data-astro-cid-psdnk2i5]:active{color:var(--accent-text-hover)}.takeover-body[data-astro-cid-psdnk2i5] a[data-astro-cid-psdnk2i5]:focus-visible{text-decoration:underline;text-decoration-color:var(--focus);text-underline-offset:.15em;outline:none;text-decoration-thickness:2px}.takeover-body[data-astro-cid-psdnk2i5] a[data-astro-cid-psdnk2i5][aria-current=page]:before{content:"";background:var(--accent);width:16px;height:2px;position:absolute;top:50%;left:-32px}@media (width<=720px){.takeover-body[data-astro-cid-psdnk2i5]{padding-top:var(--space-4);padding-bottom:var(--space-5)}.takeover-body[data-astro-cid-psdnk2i5] a[data-astro-cid-psdnk2i5]{font-size:clamp(23px,5.7vw,30px)}.takeover-body[data-astro-cid-psdnk2i5] a[data-astro-cid-psdnk2i5][aria-current=page]:before{width:8px;left:-16px}}@media (height<=760px) and (width>=721px){.takeover-body[data-astro-cid-psdnk2i5]{padding-top:var(--space-4);padding-bottom:var(--space-4)}.takeover-body[data-astro-cid-psdnk2i5] a[data-astro-cid-psdnk2i5]{font-size:clamp(28px,3vw,40px)}}@media (height<=620px) and (width>=721px){.takeover-body[data-astro-cid-psdnk2i5]{padding-top:var(--space-3);padding-bottom:var(--space-3)}.takeover-body[data-astro-cid-psdnk2i5] a[data-astro-cid-psdnk2i5]{font-size:32px}}.agda-logo[data-astro-cid-pwi3z5pz]{flex:none;height:auto;display:block}.logo[data-astro-cid-pwi3z5pz]{width:224px}.lockup[data-astro-cid-pwi3z5pz]{width:280px}.small[data-astro-cid-pwi3z5pz]{width:80px}@media (width<=360px){.lockup[data-astro-cid-pwi3z5pz]{width:224px}}.hallmark[data-astro-cid-o4rxqjua]{border:1px solid var(--hair-strong);background:var(--paper);align-items:stretch;display:inline-flex}.hm-cell[data-astro-cid-o4rxqjua]{border-right:1px solid var(--hair-strong);justify-content:center;align-items:center;padding:7px 11px;display:inline-flex}.hm-cell[data-astro-cid-o4rxqjua]:last-child{border-right:0}.hm-word[data-astro-cid-o4rxqjua]{min-width:102px}.hm-serial[data-astro-cid-o4rxqjua]{font-size:var(--type-caption);letter-spacing:0;color:var(--muted)}.seal[data-astro-cid-o4rxqjua]{border:1px solid var(--accent);width:12px;height:12px;position:relative}.seal[data-astro-cid-o4rxqjua]:after{content:"";background:var(--accent);position:absolute;inset:3px}.linkedin-button[data-astro-cid-u3w73kwj]{color:var(--accent-text);padding:0}.linkedin-button[data-astro-cid-u3w73kwj].sm{width:44px;height:44px}.linkedin-button[data-astro-cid-u3w73kwj].md{width:48px;height:48px}.linkedin-button[data-astro-cid-u3w73kwj] svg[data-astro-cid-u3w73kwj]{fill:currentColor;width:17px;height:17px}.x-button[data-astro-cid-w3pysohb]{color:var(--accent-text);padding:0}.x-button[data-astro-cid-w3pysohb].sm{width:44px;height:44px}.x-button[data-astro-cid-w3pysohb].md{width:48px;height:48px}.x-button[data-astro-cid-w3pysohb] svg[data-astro-cid-w3pysohb]{fill:currentColor;width:17px;height:17px}.site-footer[data-astro-cid-jo6i4kqk]{border-top:1px solid var(--hair);padding:var(--section-tight) 0 var(--space-6);background:var(--paper-deep)}.foot-inner[data-astro-cid-jo6i4kqk]{align-items:start;gap:var(--space-7);grid-template-columns:1.1fr 1fr;display:grid}.brand-col[data-astro-cid-jo6i4kqk]{align-content:start;gap:12px;display:grid}.brand-social[data-astro-cid-jo6i4kqk]{align-items:center;gap:8px;display:flex}.brand-line[data-astro-cid-jo6i4kqk]{font-family:var(--font-sans);color:var(--muted);font-size:16px;line-height:1.5}.brand-email[data-astro-cid-jo6i4kqk]{font-family:var(--font-sans);color:var(--muted);min-height:44px;transition:border-color var(--dur-hover) var(--ease), color var(--dur-hover) var(--ease);border-bottom:1px solid #0000;justify-self:start;align-items:center;font-size:16px;line-height:1.5;display:inline-flex}.brand-email[data-astro-cid-jo6i4kqk]:is(:hover,:focus-visible){border-color:var(--accent);color:var(--accent-text)}.brand-email[data-astro-cid-jo6i4kqk]:active{color:var(--accent-text-hover)}.brand-hallmark[data-astro-cid-jo6i4kqk]{margin-top:8px}.primary-nav[data-astro-cid-jo6i4kqk] ul[data-astro-cid-jo6i4kqk]{grid-template-columns:repeat(2,minmax(0,1fr));gap:12px 32px;margin:0;padding:0;list-style:none;display:grid}.primary-nav[data-astro-cid-jo6i4kqk] a[data-astro-cid-jo6i4kqk]{font-family:var(--font-sans);letter-spacing:0;text-transform:none;color:var(--ink);min-height:44px;transition:border-color var(--dur-hover) var(--ease), color var(--dur-hover) var(--ease);border-bottom:1px solid #0000;align-items:center;padding:8px 0;font-size:16px;font-weight:500;line-height:1.5;display:inline-flex}.primary-nav[data-astro-cid-jo6i4kqk] a[data-astro-cid-jo6i4kqk]:is(:hover,:focus-visible){border-color:var(--accent);color:var(--accent-text)}.primary-nav[data-astro-cid-jo6i4kqk] a[data-astro-cid-jo6i4kqk]:active{color:var(--accent-text-hover)}.meta[data-astro-cid-jo6i4kqk]{font-family:var(--font-sans);font-size:var(--type-caption);color:var(--faint);flex-wrap:wrap;align-items:baseline;gap:0 10px;margin:20px 0 0;line-height:1.7;display:flex}.meta-name[data-astro-cid-jo6i4kqk]{color:var(--ink);font-weight:600}.meta-sep[data-astro-cid-jo6i4kqk]{color:var(--faint)}.foot-sub[data-astro-cid-jo6i4kqk]{margin-top:var(--gap-sub);padding-top:var(--space-4);border-top:1px solid var(--hair)}.supporting-nav[data-astro-cid-jo6i4kqk] ul[data-astro-cid-jo6i4kqk]{flex-wrap:wrap;gap:4px 24px;margin:0;padding:0;list-style:none;display:flex}.supporting-nav[data-astro-cid-jo6i4kqk] a[data-astro-cid-jo6i4kqk],.supporting-nav[data-astro-cid-jo6i4kqk] button[data-astro-cid-jo6i4kqk]{font-family:var(--font-mono);font-size:var(--type-caption);letter-spacing:0;text-transform:none;color:var(--muted);min-height:44px;transition:color var(--dur-hover) var(--ease);border-bottom:1px solid #0000;align-items:center;line-height:1.5;display:inline-flex}.supporting-nav[data-astro-cid-jo6i4kqk] button[data-astro-cid-jo6i4kqk]{cursor:pointer;background:0 0;border:0;border-bottom:1px solid #0000;padding:0}.supporting-nav[data-astro-cid-jo6i4kqk] [data-astro-cid-jo6i4kqk]:is(a,button):is(:hover,:focus-visible){color:var(--accent-text)}.supporting-nav[data-astro-cid-jo6i4kqk] [data-astro-cid-jo6i4kqk]:is(a,button):active{color:var(--accent-text-hover)}.trade-mark-notice[data-astro-cid-jo6i4kqk]{color:var(--faint);font-size:var(--type-caption);margin:12px 0 0;line-height:1.7}@media (width<=1000px){.primary-nav[data-astro-cid-jo6i4kqk] ul[data-astro-cid-jo6i4kqk]{grid-template-columns:1fr;gap:0}}@media (width<=720px){.foot-inner[data-astro-cid-jo6i4kqk]{text-align:left;grid-template-columns:1fr;gap:32px}.primary-nav[data-astro-cid-jo6i4kqk] ul[data-astro-cid-jo6i4kqk]{grid-template-columns:repeat(2,minmax(0,1fr));gap:8px 24px}.meta[data-astro-cid-jo6i4kqk]{gap:8px;display:grid}.meta-sep[data-astro-cid-jo6i4kqk]{display:none}.supporting-nav[data-astro-cid-jo6i4kqk] ul[data-astro-cid-jo6i4kqk]{gap:4px 20px}.foot-sub[data-astro-cid-jo6i4kqk]{margin-top:var(--space-5);padding-top:var(--space-4)}}.consent[data-astro-cid-u6s5b3h2]{z-index:1200;background:var(--paper-raise);border-top:1px solid var(--hair-strong);transition:transform .32s cubic-bezier(.4,0,.2,1);position:fixed;bottom:0;left:0;right:0;transform:translateY(100%)}.consent[data-astro-cid-u6s5b3h2].open{transform:translateY(0)}.consent-inner[data-astro-cid-u6s5b3h2]{padding:16px var(--gutter);padding-bottom:calc(16px + env(safe-area-inset-bottom));justify-content:space-between;align-items:center;gap:32px;display:flex}.consent-copy[data-astro-cid-u6s5b3h2]{font-family:var(--font-sans);color:var(--muted);margin:0;font-size:13px;line-height:1.5}.consent-actions[data-astro-cid-u6s5b3h2]{flex-shrink:0;gap:12px;display:flex}.consent-btn[data-astro-cid-u6s5b3h2]{font-size:var(--type-caption);padding:12px 22px}@media (width<=720px){.consent-inner[data-astro-cid-u6s5b3h2]{padding:16px var(--gutter-tight);padding-bottom:calc(16px + env(safe-area-inset-bottom));flex-direction:column;align-items:flex-start;gap:14px}.consent-actions[data-astro-cid-u6s5b3h2]{width:100%}.consent-btn[data-astro-cid-u6s5b3h2]{text-align:center;flex:1}}@media (width<=360px){.consent-inner[data-astro-cid-u6s5b3h2]{padding:12px var(--gutter-tight);padding-bottom:calc(12px + env(safe-area-inset-bottom));gap:10px}.consent-copy[data-astro-cid-u6s5b3h2]{font-size:12px}}@media (prefers-reduced-motion:reduce){.consent[data-astro-cid-u6s5b3h2]{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:#000;--paper:#fff;--paper-deep:#f4f4f2;--paper-soft:#f4f4f2;--paper-mid:#f4f4f2;--paper-raise:#f4f4f2;--ink:#1a1a1a;--ink-soft:#0a0a0a;--inverse-ink:#fff;--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:#c9b69466;--accent-faint:#c9b69414;--bronze:var(--accent);--focus:#0a0a0a;--button-bg:#0a0a0a;--button-fg:#fff;--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:#fff;--inverse-ink:#0a0a0a;--muted:#c8c6c4;--muted-soft:#a8a5a2;--faint:#8e8b87;--hair:#c9b69424;--hair-soft:#c9b69414;--hair-strong:#c9b6944d;--hair-fine:#f0f0f012;--control-border:#c9b6948c;--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:#fff;--inverse-ink:#0a0a0a;--muted:#c8c6c4;--muted-soft:#a8a5a2;--faint:#8e8b87;--hair:#c9b69424;--hair-soft:#c9b69414;--hair-strong:#c9b6944d;--hair-fine:#f0f0f012;--control-border:#c9b6948c;--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:0s;--dur-menu:80ms}*,:before,:after{scroll-behavior:auto!important;transition-duration:80ms!important;transition-delay:0s!important;animation-duration:.01ms!important;animation-iteration-count:1!important}}@media (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);-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;text-rendering:optimizelegibility;font-feature-settings:normal;font-kerning:normal;min-height:100vh;font-size:16px;line-height:1.55;overflow-x:hidden}img,svg,video,canvas{max-width:100%;display:block}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;color:inherit;background:0 0;border:0;padding:0}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);letter-spacing:var(--tracking-heading);text-transform:none;color:var(--ink);margin:0;font-weight:600}.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){letter-spacing:var(--tracking-heading);text-transform:none;font-weight:600}: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);color:var(--muted);font-weight:400;line-height:1.65}.body{max-width:var(--measure-body);font-family:var(--font-sans);font-size:var(--type-body);color:var(--muted);font-weight:400;line-height:1.7}.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{margin:0 0 var(--space-4);font-family:var(--font-sans);font-size:var(--type-caption);letter-spacing:.12em;text-transform:uppercase;color:var(--accent-text);font-weight:600;line-height:1.5;display:block}.product-identity{margin-bottom:var(--space-5)}.form{gap:var(--space-4);display:grid}.field{gap:var(--space-1);display:grid}.field-row{gap:var(--space-4);grid-template-columns:1fr 1fr;display:grid}.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);color:var(--field-text);background:var(--field-bg);border:0;border-bottom:1px solid var(--control-border);width:100%;min-height:48px;transition:border-color var(--dur-hover) var(--ease);border-radius:0;padding:12px 0;font-size:16px}.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{border-bottom-color:var(--focus);box-shadow:0 2px 0 var(--focus);outline:none}.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);color:var(--faint);margin:0;font-size:14px;line-height:1.5}.fieldset{border:0;min-inline-size:0;margin:0;padding:0}.fieldset>legend{margin:0 0 8px;padding:0}.choice-list{border-top:1px solid var(--hair);gap:0;margin:24px 0 0;display:grid}.choice{border-bottom:1px solid var(--hair);cursor:pointer;min-height:44px;transition:background var(--dur-hover) var(--ease);grid-template-columns:18px 1fr;align-items:start;gap:16px;padding:18px 4px 18px 2px;display:grid;position:relative}.choice:not(:has(input:disabled)):hover{background:var(--paper-soft)}.choice input{opacity:0;cursor:pointer;width:18px;height:18px;margin:0;position:absolute}.choice-marker{border:1px solid var(--control-border);width:18px;height:18px;transition:border-color var(--dur-hover) var(--ease), background var(--dur-hover) var(--ease);background:0 0;margin-top:3px}.choice-marker:after{content:"";background:var(--black);width:8px;height:8px;transition:transform var(--dur-hover) var(--ease);margin:4px;display:block;transform:scale(0)}.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);color:var(--muted);transition:color var(--dur-hover) var(--ease);font-size:16px;line-height:1.5}.choice input:checked~.choice-label{color:var(--ink)}.consent-check{cursor:pointer;grid-template-columns:18px 1fr;align-items:start;gap:16px;min-height:44px;padding:4px 0;display:grid}.consent-check input{opacity:0;width:18px;height:18px;margin:0;position:absolute}.consent-check .choice-marker{margin-top:2px}.consent-check-text{font-family:var(--font-sans);color:var(--muted);font-size:14px;line-height:1.6}.field-error{font-family:var(--font-sans);color:var(--warn);margin:0;font-size:14px;line-height:1.5}.field-error:empty{display:none}.error-summary{border:1px solid var(--warn);scroll-margin-top:calc(var(--header-h) + 32px);margin:0 0 32px;padding:20px 24px}.error-summary:focus-visible{outline:2px solid var(--focus);outline-offset:3px}.error-summary h2{font-family:var(--font-sans);letter-spacing:0;color:var(--warn);margin:0 0 8px;font-size:15px;font-weight:600}.error-summary ul{gap:6px;margin:0;padding:0;list-style:none;display:grid}.error-summary a{font-family:var(--font-sans);color:var(--warn);border-bottom:1px solid;font-size:14px}.form-status{font-family:var(--font-sans);border:1px solid var(--hair);margin-top:24px;padding:16px 20px;font-size:14px;line-height:1.5}.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{border-top:1px solid var(--hair);justify-content:space-between;align-items:center;gap:32px;margin-top:16px;padding-top:24px;display:flex}.submit-row .small{font-family:var(--font-sans);font-size:var(--type-caption);margin:0;line-height:1.55}.honey{opacity:0;width:1px;height:1px;left:-9999px;position:absolute!important}.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 (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{padding:0 var(--gutter);max-width:var(--max);margin:0 auto}@media (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{background:var(--hair);border:0;height:1px;margin:0}.section-kicker{align-items:center;gap:14px;display:inline-flex}.section-kicker:before{content:"";background:var(--accent);width:32px;height:1px;display:block}.agda-mark{white-space:nowrap;line-height:0;display:inline-block}.agda-wordmark{vertical-align:baseline;width:clamp(80px,3.36em,199px);height:auto;display:inline-block}.agda-text{letter-spacing:0;font-size:0}.agda-reg{color:var(--accent);letter-spacing:0;vertical-align:top;margin-left:.06em;font-size:clamp(8px,.24em,16px);line-height:1;display:inline-block}.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);gap:var(--space-2);flex-wrap:wrap;display:flex}@media (width<=560px){.hero .hero-cta :is(.btn,.btn-ghost),.cta-row :is(.btn,.btn-ghost){flex:100%}}@media (height<=760px) and (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;color:var(--muted);font-size:14px;line-height:1.6}.btn,.btn-ghost{font-family:var(--font-sans);font-size:var(--type-action);letter-spacing:.02em;text-transform:none;text-align:center;max-width:100%;padding:var(--space-2) var(--space-4);border:1px solid var(--accent);cursor:pointer;min-height:48px;transition:background-color var(--dur-fast) var(--ease), border-color var(--dur-fast) var(--ease), color var(--dur-fast) var(--ease);justify-content:center;align-items:center;gap:10px;font-weight:600;line-height:1.5;display:inline-flex;position:relative}.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{color:var(--ink);border-color:var(--control-border);background:0 0}.btn-ghost:not(:disabled):is(:hover,:focus-visible){border-color:var(--control-active);color:var(--accent-text);background:0 0}.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{gap:var(--space-2);flex-wrap:wrap;display:flex}.block .cta-row{margin-top:var(--space-5)}.link{color:var(--ink);border-bottom:1px solid var(--hair-strong);transition:border-color var(--dur-fast) var(--ease), color var(--dur-fast) var(--ease);padding-bottom:1px}.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{margin-top:var(--space-5);font-family:var(--font-sans);color:var(--ink);border-bottom:1px solid var(--hair-strong);transition:border-color var(--dur-fast) var(--ease), color var(--dur-fast) var(--ease);padding-bottom:2px;font-size:16px;display:inline-block}.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{background:var(--accent);color:var(--black);z-index:1000;font-family:var(--font-sans);padding:10px 16px;font-size:13px;font-weight:500;position:absolute;top:0;left:-9999px}.skip-link:focus{top:16px;left:16px}:is(.link,.arrow-link)>span[aria-hidden=true]{transition:transform var(--dur-fast) var(--ease-out);display:inline-block}@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{gap:var(--gap-group);grid-template-columns:repeat(3,minmax(0,1fr));display:grid}.card{gap:var(--gap-item);min-width:0;padding:var(--space-4) 0 0;border:0;border-top:1px solid var(--hair-strong);color:inherit;background:0 0;align-content:start;display:grid;position:relative}.card .label{margin-bottom:0}.card .card-title{font-size:var(--type-card);margin:0}.card p{margin:0}a.card{transition:background var(--dur-fast) var(--ease), border-color var(--dur-fast) var(--ease)}a.card:before{content:"";background:var(--accent);transform-origin:0;height:2px;transition:transform var(--dur-fast) var(--ease);position:absolute;top:-1px;left:-1px;right:-1px;transform:scaleX(0)}a.card:hover,a.card:focus-visible{border-color:var(--accent);background:0 0}a.card:hover:before,a.card:focus-visible:before{transform:scaleX(1)}@media (width<=880px){.card-grid{grid-template-columns:1fr}}.dash-list{gap:var(--gap-item);margin:0;padding:0;list-style:none;display:grid}.dash-list>li{font-family:var(--font-sans);font-size:var(--type-body);color:var(--ink);padding-left:20px;line-height:1.7;position:relative}.dash-list>li:before{content:"";background:var(--accent);width:8px;height:1px;position:absolute;top:11px;left:0}.col-label{font-family:var(--font-mono);font-size:var(--type-caption);letter-spacing:.14em;text-transform:uppercase;color:var(--muted);border-bottom:1px solid var(--hair-strong);padding-bottom:12px;display:block}.col-label+.dash-list{margin-top:var(--space-3)}.feature-grid{margin:var(--gap-intro) 0 0;grid-template-columns:repeat(var(--cols,3), minmax(0, 1fr));gap:var(--space-5) var(--space-6);padding:0;list-style:none;display:grid}.feature-grid>li{gap:var(--space-3);min-width:0;padding-top:var(--space-4);border-top:1px solid var(--hair-strong);align-content:start;display:grid}.feature-grid .h3{font-size:var(--type-card);margin:0}.feature-grid p{margin:0}.feature-grid .mono{color:var(--accent-text);font-size:var(--type-caption);letter-spacing:.14em;text-transform:uppercase}@media (width<=880px){.feature-grid{grid-template-columns:repeat(min(var(--cols,3), 2), 1fr);gap:var(--space-5) var(--space-5)}}@media (width<=560px){.feature-grid{grid-template-columns:1fr}}.spec-list{--spec-col:200px;padding-top:var(--space-4);border-top:1px solid var(--hair-strong);margin:0}.spec-list>div{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;display:grid}.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{font-family:var(--font-sans);font-size:var(--type-body);color:var(--ink);margin:0;line-height:1.7}@media (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{gap:var(--space-6);padding:var(--space-4) 0;border-bottom:1px solid var(--hair);grid-template-columns:.8fr 1.2fr;display:grid}.faq-list dt{font-family:var(--font-sans);color:var(--ink);font-size:18px;font-weight:500;line-height:1.5}.faq-list dd{font-family:var(--font-sans);font-size:var(--type-body);color:var(--muted);margin:0;line-height:1.7}@media (width<=880px){.faq-list>div{gap:var(--space-2);grid-template-columns:1fr}}.definition-box{padding:var(--space-4) 0 var(--space-4) 28px;border-left:2px solid var(--accent)}.definition-box .box-label{margin-bottom:var(--space-3);font-family:var(--font-mono);color:var(--muted);font-size:var(--type-caption);letter-spacing:.08em;text-transform:uppercase;display:block}.definition-box p{font-family:var(--font-sans);color:var(--ink);margin:0;font-size:clamp(20px,2.4vw,30px);line-height:1.28}@media (width<=560px){.definition-box{padding-left:18px}}.table-compare{margin-top:var(--gap-intro);border-collapse:collapse;width:100%;font-family:var(--font-sans)}.table-compare th,.table-compare td{text-align:left;vertical-align:top;border-top:1px solid var(--hair);padding:18px 24px 18px 0;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);width:24%;font-weight:600}.table-compare td{color:var(--muted)}.table-compare td:last-child{color:var(--ink)}@media (width<=760px){.table-compare,.table-compare thead,.table-compare tbody,.table-compare tr,.table-compare th,.table-compare td{width:100%;display:block}.table-compare thead{clip-path:inset(50%);width:1px;height:1px;position:absolute;overflow:hidden}.table-compare thead :is(tr,th){width:1px;min-width:0;padding:0;font-size:1px;overflow:hidden}.table-compare tbody tr{border-top:1px solid var(--hair);padding:16px 0}.table-compare th,.table-compare td{border:0;padding:6px 0}.table-compare tbody th{width:100%}.table-compare td:before{content:attr(data-col);font-family:var(--font-mono);font-size:var(--type-caption);letter-spacing:.08em;text-transform:uppercase;color:var(--faint);margin-bottom:2px;display:block}}.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);color:var(--ink);white-space:pre;max-width:100%;font-size:12.5px;line-height:1.75;overflow-x:auto}.code-block code{font-family:inherit}.code-block:focus-visible{outline:2px solid var(--focus);outline-offset:3px}.code-caption{margin-top:var(--space-5);font-family:var(--font-mono);letter-spacing:.08em;text-transform:uppercase;color:var(--faint);font-size:12px;display:block}.code-caption+.code-block{margin-top:var(--space-2)}@media (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{cursor:pointer;justify-content:space-between;align-items:center;gap:var(--space-3);min-height:48px;font-family:var(--font-sans);color:var(--ink);transition:color var(--dur-fast) var(--ease);padding:12px 0;font-size:16px;list-style:none;display:flex}.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{padding-right:32px;position:relative}.disclosure>summary:before,.disclosure>summary:after{content:"";background:var(--accent);pointer-events:none;position:absolute}.disclosure>summary:after{width:18px;height:1px;top:50%;right:0}.disclosure>summary:before{width:1px;height:18px;transition:transform var(--dur-expand) var(--ease-out);transform-origin:50%;top:calc(50% - 9px);right:8.5px}.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);color:var(--muted);line-height:1.7}.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{align-items:baseline;gap:var(--space-4);padding-top:var(--space-2);padding-bottom:var(--space-2);display:flex}.page-nav-label{font-family:var(--font-mono);letter-spacing:.08em;text-transform:uppercase;color:var(--faint);flex:none;padding-bottom:0;font-size:12px}.page-nav ul{gap:0 var(--space-4);flex-wrap:wrap;min-width:0;margin:0;padding:0;list-style:none;display:flex}.page-nav a{min-height:48px;font-family:var(--font-sans);color:var(--muted);transition:color var(--dur-fast) var(--ease), border-color var(--dur-fast) var(--ease);border-bottom:2px solid #0000;align-items:center;padding:12px 0;font-size:14px;display:inline-flex}.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 (width<=880px){.page-nav-inner{gap:var(--space-1);padding-top:var(--space-4);display:grid}.page-nav ul{grid-template-columns:repeat(2,minmax(0,1fr));display:grid}.page-nav a{width:100%;height:100%;line-height:1.5}}@media (width<=560px){.page-nav ul{column-gap:var(--space-3)}}.close-grid{gap:var(--space-7);grid-template-columns:1.1fr 1fr;align-items:start;display:grid}.close-grid .h2{margin:0}.close-cta{gap:var(--space-4);align-content:start;padding-top:10px;display:grid}.close-cta .body{margin:0}@media (width<=880px){.close-grid{gap:var(--space-5);grid-template-columns:1fr}}.cta-band .body{margin:var(--gap-head) 0 0}.cta-band .cta-row{margin-top:var(--space-5)}.rail{background:var(--hair-strong);height:1px;position:relative}.node{border:1px solid var(--sedi-signal);background:var(--paper);box-sizing:border-box;border-radius:50%;width:13px;height:13px;display:block}.node.is-filled{background:var(--sedi-signal)}.insights-list{border-bottom:1px solid var(--hair-strong);margin:0;padding:0;list-style:none;display:grid}.reading-layout{gap:var(--space-7);padding-top:var(--section-tight);padding-bottom:var(--section);grid-template-columns:minmax(0,.75fr) minmax(0,1.75fr);align-items:start;display:grid}.reading-content{min-width:0;max-width:var(--measure-body);overflow-wrap:anywhere}.section-intro{gap:var(--space-7);grid-template-columns:minmax(0,1fr) minmax(0,1.8fr);align-items:start;display:grid}.section-intro .body{margin:0}.related-links{gap:var(--space-1) var(--space-5);margin-top:var(--space-5);flex-wrap:wrap;display:flex}.related-links .link{min-height:44px;font-size:var(--type-small);align-items:center;display:inline-flex}@media (width<=880px){.reading-layout,.section-intro{gap:var(--space-5);grid-template-columns:1fr}}.brand-light{display:block}.brand-dark,: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,: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:0s!important}}@media (prefers-reduced-motion:no-preference){:root[data-appearance-changing] .intervene-wordmark{transition:color var(--dur-appearance) var(--ease)}}.motion-line,.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:.125s}.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;text-decoration-color:var(--hair-strong);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);border-bottom-color:#0000;text-decoration-thickness:1px}:is(.link,.arrow-link):is(:hover,:focus-visible){text-decoration-color:var(--accent);text-underline-offset:3px;border-bottom-color:#0000}@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:"";border:6px solid var(--accent-soft);border-radius:inherit;opacity:0;pointer-events:none;position:absolute;inset:-6px}@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{opacity:0;transform:scale(.5)}40%{opacity:1;transform:scale(1)}}@keyframes evidence-rule{0%,to{border-left-color:var(--accent)}40%{border-left-color:var(--ink)}}