.proof-block[data-astro-cid-syayg7c6]{width:100%;margin:2rem 0;position:relative}.fragment-forwarder[data-astro-cid-syayg7c6]{pointer-events:none;position:absolute;top:-80px;left:0}.proof-video-container[data-astro-cid-syayg7c6]{border-top:1px solid var(--ink);border-bottom:1px solid var(--rule)}.proof-video-header[data-astro-cid-syayg7c6]{font-family:var(--font-sans);user-select:none;justify-content:space-between;align-items:baseline;gap:12px;padding:10px 0;display:flex}.window-title[data-astro-cid-syayg7c6]{font-family:var(--font-mono);font-size:var(--text-2xs);color:var(--ink-dim);text-overflow:ellipsis;white-space:nowrap;min-width:0;overflow:hidden}.window-badge[data-astro-cid-syayg7c6]{font-family:var(--font-sans);font-size:var(--text-2xs);color:var(--ink);flex-shrink:0;font-weight:500}.proof-video-shell[data-astro-cid-syayg7c6]{aspect-ratio:16/9;contain:layout paint size;background-color:var(--code-bg);border:1px solid var(--rule);width:100%}video[data-astro-cid-syayg7c6]{object-fit:contain;width:100%;height:100%;display:block}.proof-caption[data-astro-cid-syayg7c6]{font-family:var(--font-sans);font-size:var(--text-xs);color:var(--ink-dim);padding:10px 0 12px;line-height:1.5}.proof-caption[data-astro-cid-syayg7c6] strong[data-astro-cid-syayg7c6]{color:var(--ink);font-weight:500}.posix-repro-drawer[data-astro-cid-syayg7c6]{border-top:1px solid var(--rule);padding:8px 0}.drawer-summary[data-astro-cid-syayg7c6]{cursor:pointer;font-size:var(--text-2xs);font-family:var(--font-sans);color:var(--ink);align-items:center;gap:8px;padding:4px 0;list-style:none;display:flex}.drawer-summary[data-astro-cid-syayg7c6]::-webkit-details-marker{display:none}.drawer-summary[data-astro-cid-syayg7c6]:hover span[data-astro-cid-syayg7c6]{text-underline-offset:3px;text-decoration:underline}.terminal-icon[data-astro-cid-syayg7c6]{color:var(--ink-dim)}.repro-code-wrapper[data-astro-cid-syayg7c6] pre[data-astro-cid-syayg7c6]{background:var(--code-bg);border:1px solid var(--rule);font-family:var(--font-mono);font-size:var(--text-2xs);color:var(--ink);margin:8px 0 4px;padding:12px 14px;line-height:1.55;overflow-x:auto}