.proof-scope{--bg:#f7f8fb;--surface-1:#fff;--surface-2:#fff;--surface-3:#eef1f6;--border:#e1e5ec;--border-strong:#c7cedb;--text-1:#0b1530;--text-2:#4a5570;--text-3:#556079;--tier-verified:#0d66ea;--tier-showcase:#56626f;--tier-model:#8a5600;--series-1:#0d66ea;--series-2:#c2491a;--series-3:#12805c;--series-4:#a36a00;--series-5:#b83a68;--series-6:#007300;--series-7:#6b5fd6;--series-8:#c94343;--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):not(.instrument *){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)}