.proof-scope{--bg:#0b0f14;--surface-1:#12181f;--surface-2:#18202a;--surface-3:#1e2833;--border:#223040;--border-strong:#2e3e52;--text-1:#e9eef4;--text-2:#a8b6c4;--text-3:#808f9f;--tier-verified:#3987e5;--tier-showcase:#7a8b99;--tier-model:#c98500;--series-1:#3987e5;--series-2:#d95926;--series-3:#199e70;--series-4:#c98500;--series-5:#d55181;--series-6:#008300;--series-7:#9085e9;--series-8:#e66767;--r-sm:6px;--r-md:10px;--r-lg:16px;--r-xl:24px;--maxw:1180px;--maxw-prose:68ch;--gutter:clamp(20px, 5vw, 64px);--accent:var(--tier-verified);--accent-wash:color-mix(in srgb, var(--tier-verified) 12%, transparent);--accent-line:color-mix(in srgb, var(--tier-verified) 38%, transparent);background:var(--bg);color:var(--text-1);font-family:var(--font-sans,"IBM Plex Sans"), system-ui, sans-serif}.proof-scope :is(h1,h2,h3,h4){color:var(--text-1)}.proof-scope .serif{font-family:var(--font-display,"Bricolage Grotesque"), system-ui, sans-serif;letter-spacing:-.015em;font-weight:700}.proof-scope .tnum{font-variant-numeric:tabular-nums}.proof-scope .prose-width{max-width:var(--maxw-prose)}.proof-scope .shell{max-width:var(--maxw);padding-inline:var(--gutter);margin-inline:auto}.proof-scope :is(a,button,summary,input,select,[tabindex]):focus-visible{outline:2px solid var(--accent);outline-offset:2px;border-radius:var(--r-sm)}.proof-scope .scroll-x{-webkit-overflow-scrolling:touch;overflow-x:auto}@media (prefers-reduced-motion:reduce){.proof-scope *,.proof-scope :before,.proof-scope :after{transition-duration:.01ms!important;animation-duration:.01ms!important;animation-iteration-count:1!important}}.proof-card-surface{transition:border-color .16s,background .16s}.proof-card:hover .proof-card-surface,.proof-card:focus-visible .proof-card-surface{border-color:var(--accent-line)}.proof-scope{--background:213 29% 6%;--foreground:213 33% 94%;--card:212 27% 10%;--card-foreground:213 33% 94%;--popover:213 27% 13%;--popover-foreground:213 33% 94%;--muted:213 27% 13%;--muted-foreground:211 14% 56%;--secondary:213 27% 13%;--secondary-foreground:210 19% 71%;--border:212 31% 19%;--input:212 31% 19%}