:root{--os-window-surface:#fcfaf2;--os-window-foreground:#262624;--os-window-accent:#2b7ad6}@supports (color:lab(0% 0 0)){:root{--os-window-foreground:lab(15.107% -.354305 1.31615);--os-window-accent:lab(50.1782% 1.49259 -55.0805)}}html[data-sun-mode=dark]{--os-window-accent:#6cadff;--os-window-surface:#1b1a1f;--os-window-foreground:#e5e4e7}@supports (color:lab(0% 0 0)){html[data-sun-mode=dark]{--os-window-accent:lab(69.1178% -3.12543 -48.7541);--os-window-surface:lab(9.40527% 1.7955 -3.22973);--os-window-foreground:lab(90.6763% .693023 -1.30967)}}.os-window-root{--foreground:var(--os-window-foreground);--muted:color-mix(in oklch, var(--os-window-foreground) 70%, transparent);--border:color-mix(in oklch, var(--os-window-foreground) 15%, transparent);--os-window-hairline:color-mix(in oklch, var(--os-window-foreground) 10%, transparent);--os-window-width:var(--os-window-user-width,var(--os-window-max-width,464px));min-width:280px;width:var(--os-window-width);max-width:var(--os-window-width);translate:var(--tx,0px) var(--ty,0px);z-index:120;pointer-events:auto;box-shadow:0 0 0 1px var(--os-window-hairline), inset 0 1px 0 1px #ffffff0a;border-radius:12px;position:fixed;top:48px;left:48px}.os-window-root[data-zooming=true]{transition:translate .34s cubic-bezier(.25,1,.5,1),width .34s cubic-bezier(.25,1,.5,1),max-width .34s cubic-bezier(.25,1,.5,1)}.os-window-root[data-zooming=true] .os-window-content{transition:height .34s cubic-bezier(.25,1,.5,1)}html[data-sun-mode=dark] .os-window-root{--os-window-hairline:color-mix(in oklch, var(--os-window-foreground) 10%, transparent);box-shadow:0 0 0 1px var(--os-window-hairline)}@media (max-width:919px){.os-window-root{translate:var(--tx,0px) var(--ty,0px);margin-left:auto;margin-right:auto;left:0;right:0}}@media (max-width:463px){.os-window-root{max-width:min(var(--os-window-width), calc(100vw - 2rem))}}.os-window-root:before{content:"";border-radius:inherit;pointer-events:none;mix-blend-mode:multiply;transition:box-shadow .12s ease-out;position:absolute;inset:0;box-shadow:0 28px 80px -20px #0006,0 10px 28px -12px #0000004d}.os-window-root[data-focused=false]:before{box-shadow:0 14px 40px -20px #0003,0 6px 18px -12px #00000026}html[data-sun-mode=dark] .os-window-root:before{mix-blend-mode:normal;box-shadow:0 28px 80px -20px #0000008c,0 10px 28px -12px #0006}html[data-sun-mode=dark] .os-window-root[data-focused=false]:before{box-shadow:0 14px 40px -20px #00000047,0 6px 18px -12px #0000002e}.os-window{color:var(--os-window-foreground);background:var(--os-window-surface);border-radius:12px;position:relative;overflow:hidden}.os-window-titlebar{grid-template-columns:minmax(var(--os-titlebar-side,0px), 1fr) minmax(0, auto) minmax(var(--os-titlebar-side,0px), 1fr);-webkit-user-select:none;user-select:none;touch-action:none;z-index:1;align-items:center;column-gap:12px;height:32px;padding:0 6px;display:grid;position:relative}.os-window-title{white-space:nowrap;text-overflow:ellipsis;min-width:0;font-family:var(--font-tx-data), ui-monospace, SFMono-Regular, Menlo, monospace;color:color-mix(in oklch, var(--os-window-foreground) 70%, var(--os-window-surface));pointer-events:none;grid-column:2;font-size:13px;line-height:1.5;transition:color .12s ease-out;overflow:hidden}.os-window-root[data-focused=false] .os-window-title{color:color-mix(in oklch, var(--os-window-foreground) 40%, var(--os-window-surface))}.os-window-close,.os-window-action{width:20px;height:20px;color:color-mix(in oklch, var(--os-window-foreground) 55%, var(--os-window-surface));cursor:pointer;background:0 0;border:0;border-radius:6px;place-items:center;padding:0;line-height:1;text-decoration:none;transition:background .12s ease-out,color .12s ease-out,transform 90ms ease-out;display:grid}.os-window-close:active:not(:disabled),.os-window-action:active:not(:disabled){transform:translateY(2px)}.os-window-titlebar-left-extra{align-items:center;gap:2px;display:inline-flex}.os-window-titlebar-left{grid-column:1;justify-self:start;align-items:center;gap:2px;display:flex}.os-window-root[data-minimized=true]{pointer-events:none}.os-window-titlebar-right{grid-column:3;justify-self:end}.os-window-tooltip-host{display:inline-flex;position:relative}.os-window-tooltip{background:var(--os-window-foreground);color:var(--os-window-surface);font-family:var(--font-tx-data), ui-monospace, SFMono-Regular, Menlo, monospace;white-space:nowrap;pointer-events:none;opacity:0;z-index:1;border-radius:4px;padding:3px 6px 4px;font-size:13px;line-height:1;transition:opacity .12s ease-out,transform .12s ease-out;position:absolute;top:calc(100% + 4px);transform:translateY(-2px)scale(.96)}.os-window-tooltip.is-visible{opacity:1;transform:translateY(0)scale(1)}.os-window-titlebar-left .os-window-tooltip{transform-origin:0 0;left:0}.os-window-titlebar-right .os-window-tooltip{transform-origin:100% 0;right:0}.os-window-root[data-focused=false] .os-window-close,.os-window-root[data-focused=false] .os-window-action{color:color-mix(in oklch, var(--os-window-foreground) 25%, var(--os-window-surface))}.os-window-root .os-window-close:hover:not(:disabled),.os-window-root .os-window-action:hover:not(:disabled){background:color-mix(in oklch, var(--os-window-foreground) 10%, transparent);color:var(--os-window-foreground)}.os-window-close:disabled,.os-window-action:disabled{cursor:default;color:color-mix(in oklch, var(--os-window-foreground) 25%, var(--os-window-surface))}.os-window-content{overscroll-behavior:contain;scrollbar-width:none;-ms-overflow-style:none;max-height:calc(100dvh - 128px);padding:16px 24px 24px;font-size:16px;overflow:auto}.os-window-content[data-fill=true]{height:560px;padding:0}.os-window-root[data-interacting=true] .os-window-embed{pointer-events:none}.os-window-embed-stack{flex-direction:column;height:100%;min-height:0;display:flex;position:relative}.os-window-progress{z-index:2;transform-origin:0;background:var(--os-window-accent);opacity:0;pointer-events:none;height:1px;transition:transform .24s ease-out,opacity .26s ease-out;position:absolute;top:0;left:0;right:0;transform:scaleX(0)}.os-window-progress[data-visible=true]{opacity:1}.os-window-embed-fallback{z-index:1;text-align:center;background:var(--os-window-surface);flex-direction:column;justify-content:center;align-items:center;gap:8px;padding:24px;display:flex;position:absolute;inset:0}.os-window-embed-fallback-text{color:color-mix(in oklch, var(--os-window-foreground) 70%, var(--os-window-surface));margin:0;font-size:16px}.os-window-embed-fallback-link{color:var(--os-window-foreground);text-underline-offset:2px;font-size:16px;text-decoration:underline}.os-window-embed{background:var(--os-window-surface);border:0;flex:auto;width:100%;min-height:0;display:block}.os-window-content::-webkit-scrollbar{width:0;height:0}.os-window-scroll-viewport{overscroll-behavior:contain;scrollbar-width:none;-ms-overflow-style:none;overflow-y:auto}.os-window-scroll-viewport::-webkit-scrollbar{width:0;height:0}.os-window-content-shell{position:relative}.os-window-scrollbar{pointer-events:none;opacity:0;width:14px;transition:opacity .18s ease-out;position:absolute;top:0;bottom:6px;right:4px}.os-window-scrollbar.is-visible{opacity:1}.os-window-scrollbar-track{background:color-mix(in oklch, var(--os-window-foreground) 5%, transparent);opacity:0;pointer-events:auto;border-radius:999px;width:11px;transition:opacity .14s ease-out;position:absolute;top:0;bottom:0;right:0}.os-window-scrollbar[data-lane-hover=true] .os-window-scrollbar-track,.os-window-scrollbar[data-dragging=true] .os-window-scrollbar-track{opacity:1}.os-window-scrollbar-thumb{background:color-mix(in oklch, var(--os-window-foreground) 22%, transparent);pointer-events:auto;cursor:default;border-radius:999px;width:7px;transition:width .12s ease-out,right .12s ease-out,background-color .12s ease-out;position:absolute;right:2px}.os-window-scrollbar[data-lane-hover=true] .os-window-scrollbar-thumb,.os-window-scrollbar[data-dragging=true] .os-window-scrollbar-thumb{background:color-mix(in oklch, var(--os-window-foreground) 35%, transparent);width:9px;right:1px}.os-window-scrollbar[data-dragging=true] .os-window-scrollbar-thumb,.os-window-scrollbar-thumb:active{background:color-mix(in oklch, var(--os-window-foreground) 45%, transparent)}.os-window-resize{display:none}@media (hover:hover) and (pointer:fine){.os-window-resize{z-index:2;touch-action:none;-webkit-user-select:none;user-select:none;display:block;position:absolute}.os-window-resize[data-dir=n],.os-window-resize[data-dir=s]{cursor:ns-resize;height:12px;left:6px;right:6px}.os-window-resize[data-dir=n]{top:-6px}.os-window-resize[data-dir=s]{bottom:-6px}.os-window-resize[data-dir=w],.os-window-resize[data-dir=e]{cursor:ew-resize;width:12px;top:6px;bottom:6px}.os-window-resize[data-dir=w]{left:-6px}.os-window-resize[data-dir=e]{right:-6px}.os-window-resize[data-dir=nw],.os-window-resize[data-dir=ne],.os-window-resize[data-dir=sw],.os-window-resize[data-dir=se]{width:12px;height:12px}.os-window-resize[data-dir=nw]{cursor:nwse-resize;top:-6px;left:-6px}.os-window-resize[data-dir=ne]{cursor:nesw-resize;top:-6px;right:-6px}.os-window-resize[data-dir=sw]{cursor:nesw-resize;bottom:-6px;left:-6px}.os-window-resize[data-dir=se]{cursor:nwse-resize;bottom:-6px;right:-6px}}
.sheet{--foreground:var(--os-window-foreground);--muted:color-mix(in oklch, var(--os-window-foreground) 70%, transparent);--muted-footer:color-mix(in oklch, var(--os-window-foreground) 60%, transparent);--border:color-mix(in oklch, var(--os-window-foreground) 15%, transparent);background:var(--os-window-surface);color:var(--os-window-foreground)}.sheet ::selection{background:var(--os-window-foreground);color:var(--os-window-surface)}.sheet .os-window-close:hover:not(:disabled){background:color-mix(in oklch, var(--os-window-foreground) 10%, transparent);color:var(--os-window-foreground)}
@keyframes proof-title-word{0%{opacity:0;filter:blur(4px);top:4px}to{opacity:1;filter:blur();top:0}}.proof-title-word{opacity:0;filter:blur(4px);animation:.3s ease-out both proof-title-word;display:inline;position:relative;top:4px}@media (prefers-reduced-motion:reduce){.proof-title-word{opacity:1;filter:none;animation:none;top:0}}.proof-hero-media{opacity:0;transition:opacity .9s cubic-bezier(.16,1,.3,1),transform .9s cubic-bezier(.16,1,.3,1);transform:translateY(6px)scale(1.015)}.proof-hero-media.is-loaded{opacity:1;transform:translateY(0)scale(1)}@media (prefers-reduced-motion:reduce){.proof-hero-media{opacity:1;transition:none;transform:none}}