.proof-atlas{min-width:0;color:var(--os-text)}.proof-atlas-caption{max-width:44ch;margin:var(--space-1) auto 0;font-size:var(--text-s);color:var(--os-muted);text-align:center;line-height:1.55}.proof-atlas--desktop{--os-surface:#fff;--os-text:#000;--os-muted:#3d3d3d;--os-accent:#06c;--os-accent-tint:#d7ebfb;--os-line:#8e8f8f;--os-control-line:#6d6d6d;min-width:0;position:relative}.proof-atlas--desktop .proof-atlas-body{background:var(--win7-body-bg);border-radius:0 0 3px 3px}.proof-atlas-heading{justify-content:space-between;align-items:baseline;gap:var(--space-1) var(--space-4);margin:0 0 var(--space-2);flex-wrap:wrap;display:flex}.proof-atlas-eyebrow{font-size:var(--text-s);color:var(--os-muted);margin:0;line-height:1.5}.proof-atlas-divider{display:none}.proof-atlas-heading h2{font-family:var(--os-font-display);font-size:var(--text-h3);color:var(--os-text);flex:1 0 100%;margin:0;font-weight:600;line-height:1.25}.proof-atlas-figure{touch-action:pan-y;width:100%;height:auto;transform:translate(var(--atlas-pointer-x,0px), var(--atlas-pointer-y,0px));display:block;overflow:visible}.proof-atlas[data-motion-enabled=true] .proof-atlas-figure{transition:transform var(--motion-control) var(--ease-standard)}.proof-atlas-axis{fill:none;stroke:var(--os-line);stroke-width:.75px}.proof-atlas-boundary-plate{fill:var(--os-surface);stroke:var(--os-control-line);stroke-width:1.3px}.proof-atlas-boundary-glyph{fill:none;stroke:var(--os-accent);stroke-width:1.65px;stroke-linecap:round;stroke-linejoin:round}.proof-atlas-node--boundary text{fill:var(--os-text);font-size:14px}.proof-atlas-receipt{fill:var(--os-surface);stroke:var(--os-accent);stroke-width:1.15px;stroke-linecap:round;stroke-linejoin:round}.proof-atlas-receipt-seal{fill:var(--os-accent)}.proof-atlas-evidence-collection{fill:none;stroke:var(--os-accent);stroke-width:1.15px;stroke-linecap:round;stroke-linejoin:round}.proof-atlas-evidence-collection rect{fill:var(--os-surface);stroke:var(--os-accent);stroke-width:1.3px}.proof-atlas[data-project=invisible-window-research] .proof-atlas-axis{display:none}.proof-atlas-edge{fill:none;stroke:var(--os-muted);stroke-width:1.6px;stroke-linecap:round;opacity:.7}.proof-atlas-edge--evidence{stroke:var(--os-accent);stroke-width:2px;stroke-dasharray:1;stroke-dashoffset:0}.proof-atlas-capture rect{fill:var(--os-accent-tint);stroke:var(--os-control-line);stroke-width:1px;stroke-dasharray:3 5}.proof-atlas-capture .proof-atlas-plane{fill:var(--os-surface);stroke:var(--os-control-line);stroke-width:1px;stroke-dasharray:none}.proof-atlas-capture .proof-atlas-visible-window{fill:var(--os-accent-tint);stroke:var(--os-accent);stroke-width:1.4px}.proof-atlas-capture .proof-atlas-excluded-window{fill:#0000;stroke:var(--os-muted);stroke-width:1.4px;stroke-dasharray:4 5}.proof-atlas-capture .proof-atlas-plane-grid{fill:none;stroke:var(--os-line);stroke-width:.8px;stroke-dasharray:none}.proof-atlas-capture .proof-atlas-window-light{fill:none;stroke:var(--os-accent);stroke-width:1px;stroke-dasharray:none}.proof-atlas-capture .proof-atlas-absence,.proof-atlas-capture .proof-atlas-comparison-arrow{fill:none;stroke:var(--os-accent);stroke-width:1.25px;stroke-dasharray:none}.proof-atlas-capture .proof-atlas-plane-label{fill:var(--os-muted);font:15px var(--os-font-ui)}.proof-atlas-lines--comparison,.proof-atlas[data-project=invisible-window-research] .proof-atlas-node{display:none}.proof-atlas-capture path{fill:none;stroke:var(--os-line);stroke-width:.75px}.proof-atlas-node{transform-box:view-box;transform-origin:0 0}.proof-atlas[data-motion-enabled=true] .proof-atlas-node{transition:transform var(--motion-window) var(--ease-standard)}.proof-atlas[data-motion-enabled=true] .proof-atlas-edge{transition:opacity var(--motion-window) var(--ease-standard);animation:proof-atlas-line-arrive var(--motion-window) var(--ease-standard) both}@keyframes proof-atlas-line-arrive{0%{opacity:0}to{opacity:.7}}.proof-atlas-node-halo{fill:var(--os-accent-tint);stroke:var(--os-accent);stroke-width:.8px}.proof-atlas-node--evidence .proof-atlas-node-halo{fill:var(--os-surface);stroke:var(--os-accent)}.proof-atlas-node-core,.proof-atlas-node--evidence .proof-atlas-node-core{fill:var(--os-accent)}.proof-atlas-node-ring{fill:none;stroke:var(--os-control-line);stroke-width:.8px;stroke-dasharray:1 4}.proof-atlas-node text{fill:var(--os-muted);font:15px var(--os-font-ui);paint-order:stroke fill;stroke:var(--os-surface);stroke-width:8px;stroke-linejoin:round}.proof-atlas-controls{gap:var(--space-3);margin-top:var(--space-2);grid-template-columns:minmax(0,1fr);display:grid}.proof-atlas-options{gap:var(--space-2);grid-template-columns:repeat(3,minmax(0,1fr));min-width:0;display:grid}.proof-atlas-option{min-width:0;min-height:44px;padding:var(--space-2) var(--space-3);border:1px solid var(--os-control-line);border-radius:var(--radius-s);color:var(--os-text);font-family:inherit;font-size:var(--text-ui);overflow-wrap:anywhere;cursor:pointer;background:0 0;font-weight:500;line-height:1.25}.proof-atlas[data-motion-enabled=true] .proof-atlas-option{transition:color var(--motion-quick) var(--ease-standard), border-color var(--motion-quick) var(--ease-standard), background-color var(--motion-quick) var(--ease-standard)}.proof-atlas-option:is(:hover,:focus-visible),.proof-atlas-option[aria-pressed=true]{border-color:var(--os-accent);background:var(--os-accent-tint)}.proof-atlas-option[aria-pressed=true]{color:var(--os-text)}.proof-atlas-summary{min-height:2.8em;font-size:var(--text-ui);color:var(--os-muted);grid-column:1;margin:0;line-height:1.6}.proof-atlas-qualifier{margin:var(--space-1) 0 0;font-size:var(--text-s);color:var(--os-muted);line-height:1.55}.proof-atlas-link-arrow{flex:none;display:inline-block}.proof-atlas-link:is(:lang(ae),:lang(ar),:lang(arc),:lang(bcc),:lang(bqi),:lang(ckb),:lang(dv),:lang(fa),:lang(glk),:lang(he),:lang(ku),:lang(mzn),:lang(nqo),:lang(pnb),:lang(ps),:lang(sd),:lang(ug),:lang(ur),:lang(yi)) .proof-atlas-link-arrow{transform:scaleX(-1)}.proof-atlas-link{justify-content:flex-start;align-items:center;gap:var(--space-2);min-height:44px;color:var(--os-accent);font-size:var(--text-s);text-underline-offset:.25em;grid-column:1;text-decoration:underline;display:inline-flex}.proof-atlas-link span{font-size:var(--text-ui)}.os-shell:is(:lang(ae),:lang(ar),:lang(arc),:lang(bcc),:lang(bqi),:lang(ckb),:lang(dv),:lang(fa),:lang(glk),:lang(he),:lang(ku),:lang(mzn),:lang(nqo),:lang(pnb),:lang(ps),:lang(sd),:lang(ug),:lang(ur),:lang(yi)) .proof-atlas-node text{font-family:var(--os-font-ui)}.proof-atlas-node-labels{display:none}@media (max-width:700px),(max-height:500px) and (min-width:561px),(min-width:1280px) and (max-width:1359px){.proof-atlas-node text,.proof-atlas-plane-label{display:none}.proof-atlas-node-labels{flex-wrap:wrap;gap:6px;margin:0;padding:0 12px 4px;list-style:none;display:flex}.proof-atlas-node-labels li{border:1px solid var(--os-control-line);border-radius:var(--radius-s);color:var(--os-text);padding:4px 8px;font-size:14px;line-height:1.3}}@media (max-width:700px){.proof-atlas-caption{max-width:36ch;font-size:var(--text-xs)}.proof-atlas--desktop .proof-atlas-figure{max-height:180px}.proof-atlas-options{grid-template-columns:minmax(0,1fr)}}@media (prefers-reduced-motion:reduce){.proof-atlas-figure,.proof-atlas-node,.proof-atlas-edge,.proof-atlas[data-motion-enabled] .proof-atlas-figure,.proof-atlas[data-motion-enabled] .proof-atlas-node,.proof-atlas[data-motion-enabled] .proof-atlas-edge{transition:none;animation:none}.proof-atlas-option,.proof-atlas[data-motion-enabled] .proof-atlas-option{transition:color var(--motion-quick) var(--ease-standard), border-color var(--motion-quick) var(--ease-standard), background-color var(--motion-quick) var(--ease-standard)}}@media (prefers-reduced-transparency:reduce){.proof-atlas-node-halo,.proof-atlas-plane,.proof-atlas-visible-window,.proof-atlas-excluded-window,.proof-atlas-boundary-plate,.proof-atlas-receipt,.proof-atlas-evidence-collection rect{fill:var(--os-surface);stroke:var(--os-text)}.proof-atlas-boundary-glyph,.proof-atlas-evidence-collection path{stroke:var(--os-text)}.proof-atlas-node-core,.proof-atlas-absence,.proof-atlas-comparison-arrow{opacity:1}}@media (prefers-contrast:more),(forced-colors:active){.proof-atlas--desktop{background:var(--os-surface)}.proof-atlas-node-halo,.proof-atlas-capture rect,.proof-atlas-boundary-plate,.proof-atlas-receipt,.proof-atlas-evidence-collection rect,.proof-atlas-edge,.proof-atlas-axis,.proof-atlas-capture path,.proof-atlas-boundary-glyph,.proof-atlas-evidence-collection path{stroke:currentColor}}@media (forced-colors:active){.proof-atlas-node text{stroke:canvas}.proof-atlas-option[aria-pressed=true]{border-width:2px}}.proof-atlas--desktop .proof-atlas-heading{min-height:var(--win7-title-h);background:linear-gradient(180deg, #ffffff2e, transparent 50%), var(--win7-title-base);color:var(--win7-text-glass);text-shadow:none;border-radius:5px 5px 0 0;flex-wrap:wrap;justify-content:flex-start;align-items:center;gap:0 8px;margin:0 -6px;padding:6px 8px;display:flex}.proof-atlas--desktop .proof-atlas-eyebrow,.proof-atlas--desktop .proof-atlas-heading h2{color:inherit;font-family:var(--win7-font);font-size:var(--win7-ui-size);margin:0;font-weight:600;line-height:18px}.proof-atlas--desktop .proof-atlas-heading h2{white-space:normal;overflow-wrap:anywhere;flex:0 auto;min-width:0}.proof-atlas--desktop .proof-atlas-kicker{font-family:var(--win7-font);font-size:var(--win7-ui-size);color:var(--os-muted);margin:0;padding:12px 12px 0;font-weight:600;line-height:18px}.proof-atlas--desktop .proof-atlas-divider{opacity:.5;background:currentColor;flex:none;block-size:14px;inline-size:1px;display:inline-block}.proof-atlas--desktop .proof-atlas-figure{box-sizing:border-box;background:var(--win7-body-bg);border-block-start:none;padding:12px}@media (min-width:701px){.proof-atlas--desktop .proof-atlas-figure{max-block-size:clamp(256px,30dvh,364px)}}.proof-atlas--desktop .proof-atlas-option,.proof-atlas--desktop .proof-atlas-link{scroll-margin-block:16px calc(var(--win7-taskbar-h,44px) + 16px)}.proof-atlas--desktop .proof-atlas-controls{margin-top:0;padding:0 12px 12px}.proof-atlas--desktop{--atlas-label-ink:#000;--atlas-label-halo:#fff}.proof-atlas--desktop .proof-atlas-node text{fill:var(--atlas-label-ink);stroke:var(--atlas-label-halo)}.proof-atlas--desktop .proof-atlas-caption{max-width:none;font-size:var(--text-ui);margin:0;padding:0 12px 12px}.proof-atlas--desktop .proof-atlas-qualifier{font-size:var(--text-ui)}.proof-atlas--desktop .proof-atlas-summary{font-size:var(--win7-body-size);line-height:1.55}.proof-atlas--desktop .proof-atlas-option{border:1px solid var(--w7-el-bd);border-radius:var(--w7-el-bdr);background:var(--w7-el-grad);min-height:30px;box-shadow:var(--w7-el-sd);color:var(--w7-el-c);font-family:var(--win7-font);font-size:var(--win7-ui-size);padding:3px 12px;font-weight:400}.proof-atlas--desktop .proof-atlas-option:is(:hover,:focus-visible){border-color:var(--w7-el-bd-h);background:var(--w7-el-grad-h)}.proof-atlas--desktop .proof-atlas-option[aria-pressed=true]{border-color:var(--w7-el-bd-a);background:var(--w7-el-grad-a);box-shadow:var(--w7-el-sd-a)}.proof-atlas--desktop .proof-atlas-link{min-height:30px;color:var(--os-accent)}@media (max-width:700px){.proof-atlas--desktop .proof-atlas-option,.proof-atlas--desktop .proof-atlas-link{min-height:44px}.proof-atlas--desktop .proof-atlas-heading,.proof-atlas--desktop .proof-atlas-body{border-radius:0}.proof-atlas--desktop .proof-atlas-options{grid-template-columns:repeat(3,minmax(0,1fr));gap:6px}.proof-atlas--desktop .proof-atlas-option{padding-inline:6px;line-height:1.2}}@media (prefers-reduced-motion:reduce){.proof-atlas--desktop .proof-atlas-option,.proof-atlas--desktop .proof-atlas-figure{transition:none}}