/*! tailwindcss v4.3.3 | MIT License | https://tailwindcss.com */@layer properties{@supports (((-webkit-hyphens:none)) and (not (margin-trim:inline))) or ((-moz-orient:inline) and (not (color:rgb(from red r g b)))){*,:before,:after,::backdrop{--tw-rotate-x:initial;--tw-rotate-y:initial;--tw-rotate-z:initial;--tw-skew-x:initial;--tw-skew-y:initial;--tw-space-y-reverse:0;--tw-border-style:solid;--tw-leading:initial;--tw-font-weight:initial;--tw-tracking:initial;--tw-ordinal:initial;--tw-slashed-zero:initial;--tw-numeric-figure:initial;--tw-numeric-spacing:initial;--tw-numeric-fraction:initial;--tw-backdrop-blur:initial;--tw-backdrop-brightness:initial;--tw-backdrop-contrast:initial;--tw-backdrop-grayscale:initial;--tw-backdrop-hue-rotate:initial;--tw-backdrop-invert:initial;--tw-backdrop-opacity:initial;--tw-backdrop-saturate:initial;--tw-backdrop-sepia:initial;--tw-duration:initial}}}@layer theme{:root,:host{--font-sans:"Manrope", "Noto Sans SC", ui-sans-serif, system-ui, sans-serif;--font-mono:"Fragment Mono", ui-monospace, "SF Mono", Menlo, monospace;--spacing:.25rem;--text-xs:.75rem;--text-xs--line-height:calc(1 / .75);--text-sm:.875rem;--text-sm--line-height:calc(1.25 / .875);--text-xl:1.25rem;--text-xl--line-height:calc(1.75 / 1.25);--text-2xl:1.5rem;--text-2xl--line-height:calc(2 / 1.5);--text-5xl:3rem;--text-5xl--line-height:1;--font-weight-medium:500;--font-weight-semibold:600;--font-weight-bold:700;--tracking-tight:-.025em;--tracking-wide:.025em;--leading-relaxed:1.625;--default-transition-duration:.15s;--default-transition-timing-function:cubic-bezier(.4, 0, .2, 1);--default-font-family:var(--font-sans);--default-mono-font-family:var(--font-mono);--font-display:"Literata", "Noto Serif SC", Georgia, "Times New Roman", serif}}@layer base{*,:after,:before,::backdrop{box-sizing:border-box;border:0 solid;margin:0;padding:0}::file-selector-button{box-sizing:border-box;border:0 solid;margin:0;padding:0}html,:host{-webkit-text-size-adjust:100%;tab-size:4;line-height:1.5;font-family:var(--default-font-family,-apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", "Noto Sans", Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji");font-feature-settings:var(--default-font-feature-settings,normal);font-variation-settings:var(--default-font-variation-settings,normal);-webkit-tap-highlight-color:transparent}hr{height:0;color:inherit;border-top-width:1px}abbr:where([title]){-webkit-text-decoration:underline dotted;text-decoration:underline dotted}h1,h2,h3,h4,h5,h6{font-size:inherit;font-weight:inherit}a{color:inherit;-webkit-text-decoration:inherit;text-decoration:inherit}b,strong{font-weight:bolder}code,kbd,samp,pre{font-family:var(--default-mono-font-family,ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace);font-feature-settings:var(--default-mono-font-feature-settings,normal);font-variation-settings:var(--default-mono-font-variation-settings,normal);font-size:1em}small{font-size:80%}sub,sup{vertical-align:baseline;font-size:75%;line-height:0;position:relative}sub{bottom:-.25em}sup{top:-.5em}table{text-indent:0;border-color:inherit;border-collapse:collapse}:-moz-focusring:where(:not(iframe)){outline:auto}progress{vertical-align:baseline}summary{display:list-item}ol,ul,menu{list-style:none}img,svg,video,canvas,audio,iframe,embed,object{vertical-align:middle;display:block}img,video{max-width:100%;height:auto}button,input,select,optgroup,textarea{font:inherit;font-feature-settings:inherit;font-variation-settings:inherit;letter-spacing:inherit;color:inherit;opacity:1;background-color:#0000;border-radius:0}::file-selector-button{font:inherit;font-feature-settings:inherit;font-variation-settings:inherit;letter-spacing:inherit;color:inherit;opacity:1;background-color:#0000;border-radius:0}:where(select:is([multiple],[size])) optgroup{font-weight:bolder}:where(select:is([multiple],[size])) optgroup option{padding-inline-start:20px}::file-selector-button{margin-inline-end:4px}::placeholder{opacity:1}@supports (not ((-webkit-appearance:-apple-pay-button))) or (contain-intrinsic-size:1px){::placeholder{color:currentColor}@supports (color:color-mix(in lab,red,red)){::placeholder{color:color-mix(in oklab,currentcolor 50%,transparent)}}}textarea{resize:vertical}::-webkit-search-decoration{-webkit-appearance:none}::-webkit-date-and-time-value{min-height:1lh;text-align:inherit}::-webkit-datetime-edit{display:inline-flex}::-webkit-datetime-edit-fields-wrapper{padding:0}::-webkit-datetime-edit{padding-block:0}::-webkit-datetime-edit-year-field{padding-block:0}::-webkit-datetime-edit-month-field{padding-block:0}::-webkit-datetime-edit-day-field{padding-block:0}::-webkit-datetime-edit-hour-field{padding-block:0}::-webkit-datetime-edit-minute-field{padding-block:0}::-webkit-datetime-edit-second-field{padding-block:0}::-webkit-datetime-edit-millisecond-field{padding-block:0}::-webkit-datetime-edit-meridiem-field{padding-block:0}::-webkit-calendar-picker-indicator{line-height:1}:-moz-ui-invalid{box-shadow:none}button,input:where([type=button],[type=reset],[type=submit]){appearance:button}::file-selector-button{appearance:button}::-webkit-inner-spin-button{height:auto}::-webkit-outer-spin-button{height:auto}[hidden]:where(:not([hidden=until-found])){display:none!important}}@layer components;@layer utilities{.static{position:static}.mt-1{margin-top:var(--spacing)}.mt-2{margin-top:calc(var(--spacing) * 2)}.mt-3{margin-top:calc(var(--spacing) * 3)}.mt-4{margin-top:calc(var(--spacing) * 4)}.mt-5{margin-top:calc(var(--spacing) * 5)}.mt-12{margin-top:calc(var(--spacing) * 12)}.mb-2{margin-bottom:calc(var(--spacing) * 2)}.mb-6{margin-bottom:calc(var(--spacing) * 6)}.mb-8{margin-bottom:calc(var(--spacing) * 8)}.ml-1{margin-left:var(--spacing)}.block{display:block}.flex{display:flex}.hidden{display:none}.inline-block{display:inline-block}.inline-flex{display:inline-flex}.min-h-8{min-height:calc(var(--spacing) * 8)}.min-h-11{min-height:calc(var(--spacing) * 11)}.min-h-16{min-height:calc(var(--spacing) * 16)}.min-h-\[3\.25rem\]{min-height:3.25rem}.min-h-\[100dvh\]{min-height:100dvh}.max-w-\[12ch\]{max-width:12ch}.max-w-\[34ch\]{max-width:34ch}.max-w-\[58ch\]{max-width:58ch}.min-w-0{min-width:0}.min-w-8{min-width:calc(var(--spacing) * 8)}.shrink-0{flex-shrink:0}.transform{transform:var(--tw-rotate-x,) var(--tw-rotate-y,) var(--tw-rotate-z,) var(--tw-skew-x,) var(--tw-skew-y,)}.cursor-pointer{cursor:pointer}.flex-wrap{flex-wrap:wrap}.items-baseline{align-items:baseline}.items-center{align-items:center}.justify-between{justify-content:space-between}.justify-center{justify-content:center}.gap-1{gap:var(--spacing)}.gap-3{gap:calc(var(--spacing) * 3)}.gap-4{gap:calc(var(--spacing) * 4)}:where(.space-y-1\.5>:not(:last-child)){--tw-space-y-reverse:0;margin-block-start:calc(calc(var(--spacing) * 1.5) * var(--tw-space-y-reverse));margin-block-end:calc(calc(var(--spacing) * 1.5) * calc(1 - var(--tw-space-y-reverse)))}.truncate{text-overflow:ellipsis;white-space:nowrap;overflow:hidden}.border{border-style:var(--tw-border-style);border-width:1px}.border-t{border-top-style:var(--tw-border-style);border-top-width:1px}.border-b{border-bottom-style:var(--tw-border-style);border-bottom-width:1px}.border-\[var\(--rule\)\]{border-color:var(--rule)}.bg-\[var\(--surface\)\]{background-color:var(--surface)}.px-2{padding-inline:calc(var(--spacing) * 2)}.px-3{padding-inline:calc(var(--spacing) * 3)}.py-2{padding-block:calc(var(--spacing) * 2)}.py-2\.5{padding-block:calc(var(--spacing) * 2.5)}.py-5{padding-block:calc(var(--spacing) * 5)}.py-8{padding-block:calc(var(--spacing) * 8)}.py-9{padding-block:calc(var(--spacing) * 9)}.py-16{padding-block:calc(var(--spacing) * 16)}.pt-6{padding-top:calc(var(--spacing) * 6)}.font-display{font-family:var(--font-display)}.font-mono{font-family:var(--font-mono)}.text-5xl{font-size:var(--text-5xl);line-height:var(--tw-leading,var(--text-5xl--line-height))}.text-sm{font-size:var(--text-sm);line-height:var(--tw-leading,var(--text-sm--line-height))}.text-xl{font-size:var(--text-xl);line-height:var(--tw-leading,var(--text-xl--line-height))}.text-xs{font-size:var(--text-xs);line-height:var(--tw-leading,var(--text-xs--line-height))}.text-\[0\.7rem\]{font-size:.7rem}.text-\[0\.68rem\]{font-size:.68rem}.text-\[0\.88rem\]{font-size:.88rem}.text-\[0\.95rem\]{font-size:.95rem}.text-\[1\.02rem\]{font-size:1.02rem}.text-\[1\.35rem\]{font-size:1.35rem}.text-\[clamp\(1\.28rem\,2\.4vw\,1\.48rem\)\]{font-size:clamp(1.28rem,2.4vw,1.48rem)}.text-\[clamp\(2\.4rem\,5\.5vw\,3\.4rem\)\]{font-size:clamp(2.4rem,5.5vw,3.4rem)}.text-\[clamp\(2\.4rem\,5vw\,3\.25rem\)\]{font-size:clamp(2.4rem,5vw,3.25rem)}.text-\[clamp\(2\.5rem\,6\.2vw\,3\.65rem\)\]{font-size:clamp(2.5rem,6.2vw,3.65rem)}.leading-\[1\.08\]{--tw-leading:1.08;line-height:1.08}.leading-\[1\.25\]{--tw-leading:1.25;line-height:1.25}.leading-\[1\.28\]{--tw-leading:1.28;line-height:1.28}.leading-\[1\.62\]{--tw-leading:1.62;line-height:1.62}.leading-relaxed{--tw-leading:var(--leading-relaxed);line-height:var(--leading-relaxed)}.font-bold{--tw-font-weight:var(--font-weight-bold);font-weight:var(--font-weight-bold)}.font-medium{--tw-font-weight:var(--font-weight-medium);font-weight:var(--font-weight-medium)}.font-semibold{--tw-font-weight:var(--font-weight-semibold);font-weight:var(--font-weight-semibold)}.tracking-\[-0\.01em\]{--tw-tracking:-.01em;letter-spacing:-.01em}.tracking-\[-0\.025em\]{--tw-tracking:-.025em;letter-spacing:-.025em}.tracking-\[0\.04em\]{--tw-tracking:.04em;letter-spacing:.04em}.tracking-\[0\.08em\]{--tw-tracking:.08em;letter-spacing:.08em}.tracking-tight{--tw-tracking:var(--tracking-tight);letter-spacing:var(--tracking-tight)}.tracking-wide{--tw-tracking:var(--tracking-wide);letter-spacing:var(--tracking-wide)}.text-\[var\(--ink\)\]{color:var(--ink)}.text-\[var\(--quiet\)\]{color:var(--quiet)}.tabular-nums{--tw-numeric-spacing:tabular-nums;font-variant-numeric:var(--tw-ordinal,) var(--tw-slashed-zero,) var(--tw-numeric-figure,) var(--tw-numeric-spacing,) var(--tw-numeric-fraction,)}.underline{text-decoration-line:underline}.decoration-\[var\(--rule\)\]{-webkit-text-decoration-color:var(--rule);text-decoration-color:var(--rule)}.underline-offset-2{text-underline-offset:2px}.underline-offset-4{text-underline-offset:4px}.underline-offset-\[3px\]{text-underline-offset:3px}.antialiased{-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale}.opacity-80{opacity:.8}.backdrop-filter{-webkit-backdrop-filter:var(--tw-backdrop-blur,) var(--tw-backdrop-brightness,) var(--tw-backdrop-contrast,) var(--tw-backdrop-grayscale,) var(--tw-backdrop-hue-rotate,) var(--tw-backdrop-invert,) var(--tw-backdrop-opacity,) var(--tw-backdrop-saturate,) var(--tw-backdrop-sepia,);backdrop-filter:var(--tw-backdrop-blur,) var(--tw-backdrop-brightness,) var(--tw-backdrop-contrast,) var(--tw-backdrop-grayscale,) var(--tw-backdrop-hue-rotate,) var(--tw-backdrop-invert,) var(--tw-backdrop-opacity,) var(--tw-backdrop-saturate,) var(--tw-backdrop-sepia,)}.transition{transition-property:color,background-color,border-color,outline-color,text-decoration-color,fill,stroke,--tw-gradient-from,--tw-gradient-via,--tw-gradient-to,opacity,box-shadow,transform,translate,scale,rotate,filter,-webkit-backdrop-filter,backdrop-filter,display,content-visibility,overlay,pointer-events;transition-timing-function:var(--tw-ease,var(--default-transition-timing-function));transition-duration:var(--tw-duration,var(--default-transition-duration))}.transition-colors{transition-property:color,background-color,border-color,outline-color,text-decoration-color,fill,stroke,--tw-gradient-from,--tw-gradient-via,--tw-gradient-to;transition-timing-function:var(--tw-ease,var(--default-transition-timing-function));transition-duration:var(--tw-duration,var(--default-transition-duration))}.transition-transform{transition-property:transform,translate,scale,rotate;transition-timing-function:var(--tw-ease,var(--default-transition-timing-function));transition-duration:var(--tw-duration,var(--default-transition-duration))}.duration-150{--tw-duration:.15s;transition-duration:.15s}.duration-200{--tw-duration:.2s;transition-duration:.2s}@media(hover:hover){.group-hover\:text-\[var\(--pencil\)\]:is(:where(.group):hover *){color:var(--pencil)}.hover\:bg-\[var\(--pencil-soft\)\]:hover{background-color:var(--pencil-soft)}.hover\:text-\[var\(--ink\)\]:hover{color:var(--ink)}.hover\:text-\[var\(--pencil\)\]:hover{color:var(--pencil)}.hover\:underline:hover{text-decoration-line:underline}.hover\:decoration-\[var\(--pencil\)\]:hover{-webkit-text-decoration-color:var(--pencil);text-decoration-color:var(--pencil)}}.active\:scale-\[0\.98\]:active{scale:.98}@media(min-width:40rem){.sm\:mb-10{margin-bottom:calc(var(--spacing) * 10)}.sm\:py-12{padding-block:calc(var(--spacing) * 12)}.sm\:text-2xl{font-size:var(--text-2xl);line-height:var(--tw-leading,var(--text-2xl--line-height))}.sm\:text-\[1\.4rem\]{font-size:1.4rem}}}:root{--paper:#f0f3f6;--ink:#16181c;--pencil:#c93b27;--rule:#c8cfd8;--wash:#d7e2ed;--quiet:#5a6470;--surface:#fafbfc;--focus:#c93b27;--pencil-soft:var(--pencil)}@supports (color:color-mix(in lab,red,red)){:root{--pencil-soft:color-mix(in srgb, var(--pencil) 6%, transparent)}}:root{--claim-unverified:#5a6470;--claim-supported:#0f6b4c;--claim-partial:#a85a12;--claim-refuted:#c93b27;--sheet:54rem;--margin-w:12rem}.dark{--paper:#121416;--ink:#ececec;--pencil:#f0715e;--rule:#2a2f36;--wash:#1a222b;--quiet:#9aa3ad;--surface:#1a1d21;--focus:#f0715e;--pencil-soft:var(--pencil)}@supports (color:color-mix(in lab,red,red)){.dark{--pencil-soft:color-mix(in srgb, var(--pencil) 10%, transparent)}}.dark{--claim-unverified:#9aa3ad;--claim-supported:#34d399;--claim-partial:#fbbf24;--claim-refuted:#f0715e}html{font-family:var(--font-sans);background:var(--paper);color:var(--ink);scroll-behavior:smooth;color-scheme:light dark;font-size:16px;line-height:1.55}body{background:radial-gradient(1200px 480px at 12% -8%,var(--wash),transparent 55%),linear-gradient(90deg,transparent 0,transparent calc(50% + 11.4rem),var(--wash) calc(50% + 11.4rem),var(--wash) calc(50% + 11.55rem),transparent calc(50% + 11.55rem)),var(--paper);min-height:100dvh}@supports (color:color-mix(in lab,red,red)){body{background:radial-gradient(1200px 480px at 12% -8%,color-mix(in srgb,var(--wash) 70%,transparent),transparent 55%),linear-gradient(90deg,transparent 0,transparent calc(50% + 11.4rem),var(--wash) calc(50% + 11.4rem),var(--wash) calc(50% + 11.55rem),transparent calc(50% + 11.55rem)),var(--paper)}}body{background-attachment:fixed}.font-display{font-family:var(--font-display)}.font-mono{font-family:var(--font-mono)}a{color:inherit;cursor:pointer}:focus-visible{outline:2px solid var(--focus);outline-offset:3px}.site-bar{z-index:20;border-bottom:1px solid var(--rule);background:var(--paper);position:sticky;top:0}@supports (color:color-mix(in lab,red,red)){.site-bar{background:color-mix(in srgb,var(--paper) 88%,transparent)}}.site-bar{-webkit-backdrop-filter:blur(10px)}.site-shell{max-width:var(--sheet);margin-inline:auto;padding-inline:1.25rem}@media(min-width:640px){.site-shell{padding-inline:2rem}}.proof-stamp{border:1.5px solid var(--ink);width:fit-content;font-family:var(--font-mono);letter-spacing:.08em;background:var(--surface);align-items:center;gap:.65rem;padding:.4rem .75rem;font-size:.7rem;display:inline-flex;transform:rotate(-1.1deg)}.proof-stamp em{color:var(--pencil);font-style:normal;font-weight:600}.proof-mast{grid-template-columns:minmax(0,1fr) var(--margin-w);column-gap:2rem;margin-bottom:.5rem;display:grid}.proof-mast>.proof-stamp{grid-column:1/-1}.proof-mast-side{font-family:var(--font-mono);color:var(--quiet);letter-spacing:.04em;align-self:end;padding-bottom:1.75rem;font-size:.68rem;line-height:1.55}.proof-mast-side strong{color:var(--pencil);margin-bottom:.35rem;font-weight:600;display:block}.proof-section-label{border-top:2px solid var(--ink);font-family:var(--font-display);margin:2.25rem 0 .35rem;padding-top:1.25rem;font-size:1.35rem;font-weight:600}.proof-section-label--first{border-top:none;margin-top:0;padding-top:0;font-size:1.15rem}.proof-section-note{color:var(--quiet);max-width:42ch;margin:0 0 .75rem;font-size:.92rem}.proof-item{grid-template-columns:minmax(0,1fr) var(--margin-w);border-top:1px solid var(--rule);column-gap:2rem;display:grid}.proof-body{min-width:0;padding:1.4rem 0}.proof-margin{font-family:var(--font-display);color:var(--pencil);align-self:start;padding:1.4rem 0 1.4rem .2rem;font-size:.93rem;font-style:italic;line-height:1.45}.proof-margin-label{font-family:var(--font-mono);letter-spacing:.14em;opacity:.78;margin-bottom:.4rem;font-size:.62rem;font-style:normal;display:block}@keyframes rise-in{0%{opacity:0;transform:translateY(10px)}to{opacity:1;transform:translateY(0)}}.animate-rise{animation:.45s cubic-bezier(.16,1,.3,1) both rise-in}.claim-badge{font-family:var(--font-mono);letter-spacing:.06em;border:1.5px solid;margin-bottom:.55rem;padding:.22rem .45rem;font-size:.68rem;font-style:normal;display:inline-block}.claim-status--unverified .claim-badge,.claim-badge.claim-status--unverified{color:var(--claim-unverified)}.claim-status--supported .claim-badge,.claim-badge.claim-status--supported{color:var(--claim-supported)}.claim-status--partial .claim-badge,.claim-badge.claim-status--partial{color:var(--claim-partial)}.claim-status--refuted .claim-badge,.claim-badge.claim-status--refuted{color:var(--claim-refuted)}.claim-item.claim-status--supported .claim-margin{color:var(--claim-supported)}.claim-item.claim-status--partial .claim-margin{color:var(--claim-partial)}.claim-item.claim-status--refuted .claim-margin{color:var(--claim-refuted)}.claim-item.claim-status--unverified .claim-margin{color:var(--claim-unverified)}.claim-method{font-family:var(--font-sans);color:var(--quiet);margin:0 0 .75rem;font-size:.82rem;font-style:normal;line-height:1.5}@media(max-width:860px){body{background:var(--paper)}.proof-mast,.proof-item{grid-template-columns:1fr}.proof-mast-side{border-left:2px solid var(--pencil);padding:0 0 1.25rem .85rem}.proof-margin{border-left:2px solid var(--pencil);background:var(--pencil-soft);order:2;margin:-.35rem 0 .4rem;padding:.7rem 0 1rem .85rem}.claim-item .proof-margin{background:currentColor;border-left-color:currentColor}@supports (color:color-mix(in lab,red,red)){.claim-item .proof-margin{background:color-mix(in srgb,currentColor 7%,transparent)}}.proof-body{order:1;padding-bottom:.75rem}}@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}.animate-rise{animation:none}.proof-stamp{transform:none}}@media(prefers-reduced-transparency:reduce){.site-bar{background:var(--paper);-webkit-backdrop-filter:none}}@property --tw-rotate-x{syntax:"*";inherits:false}@property --tw-rotate-y{syntax:"*";inherits:false}@property --tw-rotate-z{syntax:"*";inherits:false}@property --tw-skew-x{syntax:"*";inherits:false}@property --tw-skew-y{syntax:"*";inherits:false}@property --tw-space-y-reverse{syntax:"*";inherits:false;initial-value:0}@property --tw-border-style{syntax:"*";inherits:false;initial-value:solid}@property --tw-leading{syntax:"*";inherits:false}@property --tw-font-weight{syntax:"*";inherits:false}@property --tw-tracking{syntax:"*";inherits:false}@property --tw-ordinal{syntax:"*";inherits:false}@property --tw-slashed-zero{syntax:"*";inherits:false}@property --tw-numeric-figure{syntax:"*";inherits:false}@property --tw-numeric-spacing{syntax:"*";inherits:false}@property --tw-numeric-fraction{syntax:"*";inherits:false}@property --tw-backdrop-blur{syntax:"*";inherits:false}@property --tw-backdrop-brightness{syntax:"*";inherits:false}@property --tw-backdrop-contrast{syntax:"*";inherits:false}@property --tw-backdrop-grayscale{syntax:"*";inherits:false}@property --tw-backdrop-hue-rotate{syntax:"*";inherits:false}@property --tw-backdrop-invert{syntax:"*";inherits:false}@property --tw-backdrop-opacity{syntax:"*";inherits:false}@property --tw-backdrop-saturate{syntax:"*";inherits:false}@property --tw-backdrop-sepia{syntax:"*";inherits:false}@property --tw-duration{syntax:"*";inherits:false}