.finding-chain[data-astro-cid-2k5zwhae]{margin:var(--gap-intro) 0 0;padding-top:var(--space-5);border-top:1px solid var(--hair-strong)}.fc-caption[data-astro-cid-2k5zwhae]{gap:var(--space-6);grid-template-columns:1fr 1fr;align-items:start;display:grid}.fc-caption[data-astro-cid-2k5zwhae] .h3[data-astro-cid-2k5zwhae]{font-size:var(--type-card);text-transform:none;letter-spacing:var(--tracking-heading);margin:0}.fc-window[data-astro-cid-2k5zwhae]{margin:0}.fc-window-label[data-astro-cid-2k5zwhae]{font-size:var(--type-caption);letter-spacing:.04em;text-transform:uppercase;color:var(--accent-text);margin-right:10px;display:inline-block}.fc-window[data-astro-cid-2k5zwhae] strong[data-astro-cid-2k5zwhae]{color:var(--ink);font-weight:600}.fc-rail[data-astro-cid-2k5zwhae]{margin:var(--gap-intro) 0 -7px}.fc-stages[data-astro-cid-2k5zwhae]{gap:0 var(--space-5);z-index:1;grid-template-columns:repeat(4,minmax(0,1fr));margin:0;padding:0;list-style:none;display:grid;position:relative}.fc-stage[data-astro-cid-2k5zwhae]{gap:var(--space-2);align-content:start;min-width:0;display:grid}@supports (grid-template-rows:subgrid){.fc-stages[data-astro-cid-2k5zwhae]{grid-template-rows:repeat(5,auto)}.fc-stage[data-astro-cid-2k5zwhae]{grid-row:span 5;grid-template-rows:subgrid}}.fc-node[data-astro-cid-2k5zwhae]{background:var(--paper-soft)}.fc-exceeds[data-astro-cid-2k5zwhae] .fc-node[data-astro-cid-2k5zwhae]{background:var(--sedi-signal)}.fc-n[data-astro-cid-2k5zwhae]{font-size:var(--type-caption);letter-spacing:.04em;text-transform:uppercase;color:var(--accent-text);margin-top:12px}.fc-value[data-astro-cid-2k5zwhae]{font-family:var(--font-mono);color:var(--ink);letter-spacing:0;font-size:clamp(22px,2.4vw,32px);font-weight:600;line-height:1.1}.fc-rel[data-astro-cid-2k5zwhae]{font-family:var(--font-mono);font-size:var(--type-caption);letter-spacing:.06em;text-transform:uppercase;color:var(--muted);align-items:center;gap:8px;display:flex}.fc-mark[data-astro-cid-2k5zwhae]{border:1px solid var(--muted);flex:none;width:10px;height:10px;display:inline-block}.fc-within[data-astro-cid-2k5zwhae] .fc-mark[data-astro-cid-2k5zwhae]{border-radius:50%}.fc-may[data-astro-cid-2k5zwhae] .fc-mark[data-astro-cid-2k5zwhae]{border-style:dotted}.fc-after[data-astro-cid-2k5zwhae] .fc-mark[data-astro-cid-2k5zwhae]{border-style:dashed}.fc-exceeds[data-astro-cid-2k5zwhae] .fc-rel[data-astro-cid-2k5zwhae]{color:var(--ink)}.fc-exceeds[data-astro-cid-2k5zwhae] .fc-mark[data-astro-cid-2k5zwhae]{background:var(--ink);border-color:var(--ink)}.fc-note[data-astro-cid-2k5zwhae]{font-family:var(--font-sans);font-size:var(--type-small);color:var(--muted);line-height:1.55}.fc-result[data-astro-cid-2k5zwhae]{margin:var(--gap-intro) 0 0;padding:var(--space-3) 0 var(--space-3) var(--space-4);border-left:2px solid var(--accent);font-family:var(--font-sans);font-size:var(--type-body);color:var(--ink);line-height:1.6}.fc-result-label[data-astro-cid-2k5zwhae]{font-size:var(--type-caption);letter-spacing:.04em;text-transform:uppercase;color:var(--accent-text);margin-bottom:8px;display:block}.fc-footnote[data-astro-cid-2k5zwhae]{margin:var(--space-4) 0 0;font-size:var(--type-small);color:var(--faint);line-height:1.6}@media (width<=1100px){.fc-stage[data-astro-cid-2k5zwhae]{grid-row:auto;grid-template-rows:none}.fc-stages[data-astro-cid-2k5zwhae]{grid-template-rows:none}.fc-caption[data-astro-cid-2k5zwhae]{gap:var(--space-3);grid-template-columns:1fr}.fc-rail[data-astro-cid-2k5zwhae]{display:none}.fc-stages[data-astro-cid-2k5zwhae]{margin-top:var(--space-5);grid-template-columns:repeat(2,1fr);gap:32px}.fc-stage[data-astro-cid-2k5zwhae]{grid-template-columns:13px 1fr;align-items:start;column-gap:16px}.fc-node[data-astro-cid-2k5zwhae]{grid-row:1/span 4;margin-top:4px}.fc-n[data-astro-cid-2k5zwhae]{margin-top:0}.fc-note[data-astro-cid-2k5zwhae]{max-width:none}}@media (width<=720px){.fc-rail[data-astro-cid-2k5zwhae]{display:none}.fc-stages[data-astro-cid-2k5zwhae]{gap:var(--space-4);grid-template-columns:1fr}.fc-stage[data-astro-cid-2k5zwhae]{grid-template-columns:13px 1fr;align-items:start;column-gap:16px}.fc-node[data-astro-cid-2k5zwhae]{grid-row:1/span 4;margin-top:4px}.fc-n[data-astro-cid-2k5zwhae]{margin-top:0}.fc-note[data-astro-cid-2k5zwhae]{max-width:none}.fc-result[data-astro-cid-2k5zwhae]{padding-left:16px}}.hero[data-astro-cid-lcdefpme]{background:var(--paper-deep);padding:var(--hero-top) 0 var(--hero-bottom)}.hero-link[data-astro-cid-lcdefpme]{align-items:center;min-height:44px;display:inline-flex}.hero[data-astro-cid-lcdefpme] .display-xl[data-astro-cid-lcdefpme]{font-size:var(--type-display);margin:var(--space-3) 0 0;line-height:1.02}.hero[data-astro-cid-lcdefpme] .display-xl[data-astro-cid-lcdefpme] em[data-astro-cid-lcdefpme]{display:block}.hero-intro[data-astro-cid-lcdefpme]{gap:var(--space-7);margin-top:var(--gap-intro);grid-template-columns:1.2fr 1fr;display:grid}.hero-sub[data-astro-cid-lcdefpme]{max-width:100%;font-size:var(--type-support);color:var(--muted);margin:0;line-height:1.6}.hero-actions[data-astro-cid-lcdefpme]{padding-top:4px}.hero-cta[data-astro-cid-lcdefpme]{align-items:center;gap:var(--space-4);margin:0}.hero-secondary[data-astro-cid-lcdefpme]{font-size:var(--type-small);align-items:center;gap:8px;min-height:44px;line-height:1.5;display:inline-flex}.hero-note[data-astro-cid-lcdefpme]{font-family:var(--font-mono);font-size:var(--type-caption);color:var(--faint);margin:var(--space-4) 0 0;line-height:1.65}.hero-principle[data-astro-cid-lcdefpme]{gap:0 var(--space-2);border-top:1px solid var(--hair);padding-top:var(--space-4);margin:var(--gap-intro) 0 0;color:var(--faint);font-size:var(--type-small);flex-wrap:wrap;line-height:1.6;display:flex}.hero-principle[data-astro-cid-lcdefpme] span[data-astro-cid-lcdefpme]{color:var(--ink)}.section-heading[data-astro-cid-lcdefpme],.assessment-intro[data-astro-cid-lcdefpme]{gap:var(--space-6);margin-bottom:var(--space-6);grid-template-columns:1fr 2fr;align-items:start;display:grid}.section-heading[data-astro-cid-lcdefpme] .label[data-astro-cid-lcdefpme]{margin-top:10px}.situations[data-astro-cid-lcdefpme],.method-block[data-astro-cid-lcdefpme],.finding-block[data-astro-cid-lcdefpme],.engage[data-astro-cid-lcdefpme]{border-bottom:1px solid var(--hair)}.problem-questions[data-astro-cid-lcdefpme]{margin:0;padding:0;list-style:none}.problem-questions[data-astro-cid-lcdefpme] li[data-astro-cid-lcdefpme]{gap:var(--space-6);padding:var(--space-5) 0;border-top:1px solid var(--hair-strong);grid-template-columns:40px minmax(0,1fr) minmax(0,1fr);align-items:baseline;display:grid}.problem-index[data-astro-cid-lcdefpme]{color:var(--accent-text);font-size:var(--type-caption)}.problem-questions[data-astro-cid-lcdefpme] [data-astro-cid-lcdefpme]:is(h3,p){margin:0}.assessment-identity[data-astro-cid-lcdefpme]{gap:var(--space-5);justify-items:start;padding-top:8px;display:grid}.assessment-identity[data-astro-cid-lcdefpme] .agda-logo.logo{width:256px}.assessment-intro[data-astro-cid-lcdefpme] .lede[data-astro-cid-lcdefpme]{font-size:var(--type-support);margin-top:24px;line-height:1.65}.finding-block[data-astro-cid-lcdefpme]{background:var(--paper-soft)}.example-heading[data-astro-cid-lcdefpme]{border-top:1px solid var(--hair-strong);padding-top:var(--space-5)}.example-label[data-astro-cid-lcdefpme]{font-size:var(--type-caption);color:var(--accent-text);line-height:1.6}.example-heading[data-astro-cid-lcdefpme] .h3[data-astro-cid-lcdefpme]{font-size:var(--type-finding);margin:var(--space-3) 0;line-height:1.2}.finding-example[data-astro-cid-lcdefpme]{border-block:1px solid var(--hair-strong);margin-top:32px}.finding-example[data-astro-cid-lcdefpme] summary[data-astro-cid-lcdefpme]{cursor:pointer;justify-content:space-between;align-items:center;gap:24px;padding:24px 0;list-style:none;display:flex}.finding-example[data-astro-cid-lcdefpme] summary[data-astro-cid-lcdefpme]::-webkit-details-marker{display:none}.finding-example[data-astro-cid-lcdefpme] summary[data-astro-cid-lcdefpme]:is(:hover,:focus-visible) .example-title[data-astro-cid-lcdefpme]{color:var(--accent-text)}.finding-example[data-astro-cid-lcdefpme] summary[data-astro-cid-lcdefpme]:active .example-title[data-astro-cid-lcdefpme]{color:var(--accent-text-hover)}.finding-example[data-astro-cid-lcdefpme] summary[data-astro-cid-lcdefpme]:focus-visible{outline:2px solid var(--focus);outline-offset:6px}.example-title[data-astro-cid-lcdefpme]{transition:color var(--dur-fast) var(--ease);font-size:var(--type-body);color:var(--ink);line-height:1.5}.example-toggle[data-astro-cid-lcdefpme]{flex:none;width:20px;height:20px;position:relative}.example-toggle[data-astro-cid-lcdefpme]:before,.example-toggle[data-astro-cid-lcdefpme]:after{content:"";background:var(--accent);position:absolute}.example-toggle[data-astro-cid-lcdefpme]:before{width:18px;height:1px;top:9px;left:1px}.example-toggle[data-astro-cid-lcdefpme]:after{width:1px;height:18px;transition:transform var(--dur-expand) var(--ease-out);transform-origin:50%;top:1px;left:9px}.finding-example[data-astro-cid-lcdefpme][open]:not([data-disclosure-state=closed]) .example-toggle[data-astro-cid-lcdefpme]:after{transform:scaleY(0)}.example-body[data-astro-cid-lcdefpme]{padding:8px 0 32px}.finding-scope[data-astro-cid-lcdefpme],.finding-verdict[data-astro-cid-lcdefpme]{grid-template-columns:1fr 1fr;gap:40px;margin:0;padding:24px 0 0;display:grid}.finding-verdict[data-astro-cid-lcdefpme]{border-top:1px solid var(--hair);margin-top:24px}.finding-scope[data-astro-cid-lcdefpme] dt[data-astro-cid-lcdefpme],.finding-verdict[data-astro-cid-lcdefpme] dt[data-astro-cid-lcdefpme]{font-family:var(--font-mono);font-size:var(--type-caption);color:var(--accent-text);margin-bottom:12px}.finding-scope[data-astro-cid-lcdefpme] dd[data-astro-cid-lcdefpme],.finding-verdict[data-astro-cid-lcdefpme] dd[data-astro-cid-lcdefpme]{font-size:var(--type-small);color:var(--muted);margin:0;line-height:1.7}.evidence-notes[data-astro-cid-lcdefpme]{border-top:1px solid var(--hair);margin-top:32px;padding-top:24px}.evidence-notes[data-astro-cid-lcdefpme]>p[data-astro-cid-lcdefpme]{font-size:var(--type-small);color:var(--muted);margin:0;line-height:1.7}.engage-terms[data-astro-cid-lcdefpme]{border-top:1px solid var(--hair);font-size:var(--type-small);color:var(--muted);margin:32px 0 0;padding-top:24px;line-height:1.7}.close-wrap[data-astro-cid-lcdefpme]{gap:var(--space-7);grid-template-columns:1.4fr 1fr;align-items:end;display:grid}.close-q[data-astro-cid-lcdefpme]{color:var(--ink);font-size:var(--type-h1);letter-spacing:var(--tracking-heading);text-transform:none;margin:0;line-height:1.13}.close-action[data-astro-cid-lcdefpme]{justify-items:start;gap:24px;display:grid}.close-line[data-astro-cid-lcdefpme]{font-size:var(--type-support);color:var(--muted);margin:0;line-height:1.65}@media (height<=760px) and (width>=881px){.hero[data-astro-cid-lcdefpme]{padding-top:40px}.hero[data-astro-cid-lcdefpme] .display-xl[data-astro-cid-lcdefpme]{font-size:clamp(44px,6.6vw,92px)}.hero-intro[data-astro-cid-lcdefpme]{margin-top:28px}}@media (width<=1100px){.hero-intro[data-astro-cid-lcdefpme]{gap:40px}.section-heading[data-astro-cid-lcdefpme],.assessment-intro[data-astro-cid-lcdefpme]{gap:var(--space-5);grid-template-columns:1fr 1.8fr}.assessment-identity[data-astro-cid-lcdefpme] .agda-logo.logo{width:224px}.problem-questions[data-astro-cid-lcdefpme] li[data-astro-cid-lcdefpme]{gap:24px}}@media (width<=960px){.hero-intro[data-astro-cid-lcdefpme]{grid-template-columns:1fr;gap:24px}.hero-cta[data-astro-cid-lcdefpme]{flex-direction:row;align-items:center;gap:16px 24px}.hero-note[data-astro-cid-lcdefpme]{margin-top:16px}.section-heading[data-astro-cid-lcdefpme],.assessment-intro[data-astro-cid-lcdefpme],.close-wrap[data-astro-cid-lcdefpme]{grid-template-columns:1fr;gap:24px}.section-heading[data-astro-cid-lcdefpme] .label[data-astro-cid-lcdefpme]{margin-top:0}.assessment-identity[data-astro-cid-lcdefpme]{padding-top:0}.problem-questions[data-astro-cid-lcdefpme] li[data-astro-cid-lcdefpme]{grid-template-columns:32px 1fr;gap:12px 24px}.problem-index[data-astro-cid-lcdefpme]{grid-row:span 2;padding-top:8px}.problem-questions[data-astro-cid-lcdefpme] p[data-astro-cid-lcdefpme]{grid-column:2}.close-wrap[data-astro-cid-lcdefpme]{gap:var(--space-5)}}@media (width<=560px){.hero[data-astro-cid-lcdefpme]{padding-top:var(--space-5);padding-bottom:32px}.hero[data-astro-cid-lcdefpme] .display-xl[data-astro-cid-lcdefpme]{margin-top:16px;font-size:clamp(36px,9.8vw,54px)}.hero-intro[data-astro-cid-lcdefpme]{gap:24px;margin-top:24px}.hero-cta[data-astro-cid-lcdefpme]{flex-direction:column;align-items:stretch;gap:12px}.hero-secondary[data-astro-cid-lcdefpme]{align-self:flex-start}.hero-sub[data-astro-cid-lcdefpme]{font-size:18px}.hero-principle[data-astro-cid-lcdefpme]{font-size:var(--type-small);margin-top:32px;display:block}.hero-principle[data-astro-cid-lcdefpme] span[data-astro-cid-lcdefpme]{display:block}.section-heading[data-astro-cid-lcdefpme]{margin-bottom:32px}.problem-questions[data-astro-cid-lcdefpme] li[data-astro-cid-lcdefpme]{grid-template-columns:24px 1fr;column-gap:16px}.problem-questions[data-astro-cid-lcdefpme] .h3[data-astro-cid-lcdefpme]{font-size:var(--type-card)}.finding-scope[data-astro-cid-lcdefpme],.finding-verdict[data-astro-cid-lcdefpme]{grid-template-columns:1fr;gap:24px}}
