.proof{color-scheme:dark;--bg: #071015;--surface: rgba(10, 25, 32, .82);--surface-solid: #0b181e;--ink: #edf3ef;--muted: #94a3a7;--line: rgba(175, 217, 218, .2);--accent: #9be0dc;--warm: #e8d59e;--display: Georgia, "Times New Roman", serif;--sans: Inter, "Helvetica Neue", Arial, sans-serif;--mono: "SFMono-Regular", Consolas, "Liberation Mono", monospace}.proof,.proof *{box-sizing:border-box}.proof button,.proof a{color:inherit}.proof button{font:inherit}.proof{min-height:100vh;color:var(--ink);font-family:var(--sans);background:radial-gradient(circle at 75% 10%,rgba(65,155,157,.1),transparent 32%),repeating-linear-gradient(90deg,transparent 0 79px,rgba(148,194,194,.035) 80px),repeating-linear-gradient(0deg,transparent 0 79px,rgba(148,194,194,.035) 80px)}.proof__topbar{position:sticky;top:0;z-index:20;min-height:68px;padding:12px clamp(18px,4vw,64px);display:flex;align-items:center;justify-content:space-between;gap:24px;border-bottom:1px solid var(--line);background:color-mix(in srgb,var(--bg) 90%,transparent);-webkit-backdrop-filter:blur(16px);backdrop-filter:blur(16px)}.proof__brand{color:var(--ink);font-size:12px;font-weight:700;letter-spacing:.2em;text-decoration:none}.proof__controls{display:flex;gap:12px}.proof__switch{display:flex;border:1px solid var(--line)}.proof__switch button{min-height:38px;padding:0 13px;border:0;background:transparent;color:var(--muted);cursor:pointer}.proof__switch button[aria-pressed=true]{background:var(--accent);color:var(--bg)}.proof__frame{width:min(1440px,calc(100% - 8vw));margin:0 auto;border-left:1px solid var(--line);border-right:1px solid var(--line)}.proof__hero{min-height:calc(100vh - 68px);padding:clamp(64px,10vw,150px) clamp(22px,5vw,82px);display:grid;grid-template-columns:minmax(0,1.35fr) minmax(300px,.65fr);align-items:center;gap:8vw}.proof__eyebrow,.proof__label,.proof__section-head>p:first-child,.proof__theorem-label{margin:0 0 18px;color:var(--accent);font:700 11px/1.4 var(--mono);letter-spacing:.15em;text-transform:uppercase}.proof__hero h1{max-width:900px;margin:0;font:400 clamp(56px,8vw,132px)/.92 var(--display);letter-spacing:-.055em;white-space:pre-line}.proof__lead{max-width:760px;margin:40px 0 0;color:var(--muted);font-size:clamp(18px,2vw,27px);line-height:1.65}.proof__jump{display:inline-flex;align-items:center;gap:24px;margin-top:48px;padding-bottom:8px;border-bottom:1px solid var(--accent);color:var(--accent);text-decoration:none}.proof__principle-card{align-self:end;padding:30px;border:1px solid var(--line);background:color-mix(in srgb,var(--surface-solid) 82%,transparent);box-shadow:0 18px 80px #0000002e}.proof__principle-card>p{margin:0 0 28px;color:var(--accent);font:700 11px/1.4 var(--mono);letter-spacing:.15em;text-transform:uppercase}.proof__principle-card>strong{display:block;color:var(--warm);font:400 clamp(23px,2.6vw,36px)/1.22 var(--display)}.proof__principle-card ol{margin:30px 0 0;padding:0;counter-reset:principle;list-style:none}.proof__principle-card li{position:relative;padding:15px 0 15px 34px;border-top:1px solid var(--line);color:var(--muted);font-size:14px;line-height:1.55}.proof__principle-card li:before{counter-increment:principle;content:"0" counter(principle);position:absolute;left:0;color:var(--accent);font:11px var(--mono)}.proof__plain,.proof__formal{padding:clamp(72px,9vw,130px) clamp(22px,5vw,82px);border-top:1px solid var(--line)}.proof__section-head{display:grid;grid-template-columns:minmax(140px,.3fr) minmax(280px,.7fr) minmax(300px,.7fr);gap:4vw;align-items:start;margin-bottom:70px}.proof__section-head>*{min-width:0}.proof__section-head h2{margin:0;font:400 clamp(42px,6vw,86px)/.98 var(--display);letter-spacing:-.045em}.proof__section-head>p:last-child{margin:0;color:var(--muted);font-size:18px;line-height:1.65}.proof__steps{margin:0;padding:0;list-style:none;border-top:1px solid var(--line)}.proof__steps li{display:grid;grid-template-columns:70px minmax(0,1fr);gap:28px;padding:30px 0;border-bottom:1px solid var(--line);align-items:start}.proof__steps li>span{color:var(--accent);font-family:var(--mono)}.proof__steps h3{margin:0 0 10px;font:400 clamp(24px,2.8vw,38px)/1.15 var(--display)}.proof__steps p{max-width:930px;margin:0;color:var(--muted);font-size:17px;line-height:1.7}.proof__step-note{display:block;max-width:930px;margin-top:12px;color:var(--muted);font-size:13px;line-height:1.65}.proof__weight-inline{max-width:850px;margin-top:24px;padding:20px 22px;border-left:3px solid var(--warm);background:#8b3a2b0d}.proof__weight-inline strong{display:block;color:var(--warm);font-size:15px;line-height:1.5}.proof__weight-inline p{margin-top:7px;font-size:15px}.proof__weight-inline code{display:block;margin-top:12px;color:var(--ink);font:13px/1.6 var(--mono);overflow-wrap:anywhere}.proof__fairness{margin-top:64px;padding:38px;border:1px solid var(--line);background:linear-gradient(100deg,color-mix(in srgb,var(--accent) 8%,transparent),transparent)}.proof__fairness>p:not(.proof__label){max-width:920px;font-size:22px;line-height:1.6}.proof__fairness dl{display:grid;grid-template-columns:repeat(4,1fr);margin:40px 0 0;border-top:1px solid var(--line);border-left:1px solid var(--line)}.proof__fairness dl div{min-height:130px;padding:20px;border-right:1px solid var(--line);border-bottom:1px solid var(--line);display:flex;flex-direction:column;justify-content:space-between}.proof__fairness dt{color:var(--muted);line-height:1.45}.proof__fairness dd{margin:0;color:var(--accent);font:28px var(--mono)}.proof__notation{display:grid;grid-template-columns:minmax(240px,.38fr) minmax(0,1fr);gap:5vw}.proof__notation aside{padding-right:4vw;border-right:1px solid var(--line)}.proof__notation dl{margin:0}.proof__notation dl div{display:grid;grid-template-columns:72px 1fr;gap:20px;padding:16px 0;border-bottom:1px solid var(--line)}.proof__notation dt{color:var(--warm);font:21px var(--display)}.proof__notation dd{margin:0;color:var(--muted);line-height:1.5}.proof__theorems{display:grid;min-width:0;gap:54px}.proof__theorems section{min-width:0;padding-bottom:54px;border-bottom:1px solid var(--line)}.proof__formal h3{margin:0 0 28px;font:400 clamp(26px,3vw,42px)/1.15 var(--display)}.proof__theorems p:last-child,.proof__sampling-copy p,.proof__state-machine>p{color:var(--muted);font-size:16px;line-height:1.75}.proof__formula{display:block;width:100%;max-width:100%;min-width:0;margin:24px 0;padding:.2em 0 .38em;overflow-x:auto;overflow-y:hidden;color:var(--warm);font:400 clamp(20px,2.3vw,32px)/1.35 var(--display);white-space:nowrap;scrollbar-width:none}.proof__formula::-webkit-scrollbar{display:none}.proof__sum{font-size:1.25em}.proof__frac{display:inline-flex;flex-direction:column;align-items:stretch;vertical-align:middle;font-size:.7em;line-height:1;text-align:center}.proof__frac span:first-child{padding:0 .25em .12em;border-bottom:1px solid currentColor}.proof__frac span:last-child{padding-top:.12em}.proof__sampling,.proof__state-machine{margin-top:84px;padding-top:50px;border-top:1px solid var(--line)}.proof__sampling-grid{display:grid;grid-template-columns:1.2fr .8fr;gap:5vw}.proof__code{overflow-x:auto;padding:28px 32px;border:1px solid var(--line);background:#0003}.proof__code ol{margin:0;padding-left:28px;color:var(--muted)}.proof__code li{padding:9px 0 9px 12px}.proof__code code{color:var(--accent);font-size:clamp(12px,1.4vw,17px);white-space:nowrap}.proof__state-line{display:flex;align-items:center;gap:13px;overflow-x:auto;padding:24px 0}.proof__state-line span{flex:0 0 auto;padding:12px 14px;border:1px solid var(--line);color:var(--accent);font:12px var(--mono)}.proof__state-line b{color:var(--muted)}.proof[data-style=paper]{--bg: #eee9dd;--surface: #f7f3e9;--surface-solid: #f7f3e9;--ink: #171b20;--muted: #555c62;--line: rgba(23, 27, 32, .22);--accent: #173e6b;--warm: #8b3a2b;color:var(--ink);color-scheme:light;background:radial-gradient(circle at 20% 10%,rgba(255,255,255,.7),transparent 35%),#eee9dd}.proof[data-style=paper] .proof__frame{width:min(1180px,calc(100% - 8vw))}.proof[data-style=paper] .proof__hero{min-height:820px;grid-template-columns:1fr 320px}.proof[data-style=paper] .proof__hero h1{font-size:clamp(56px,7.4vw,108px)}.proof[data-style=paper] .proof__principle-card{align-self:center;background:transparent;box-shadow:none;border:2px solid var(--ink);transform:rotate(.4deg)}.proof[data-style=paper] .proof__section-head{grid-template-columns:120px minmax(300px,.75fr) minmax(260px,.6fr)}.proof[data-style=paper] .proof__fairness{border:2px solid var(--ink);box-shadow:8px 8px #171b201f}.proof[data-style=paper] .proof__theorems section{position:relative;padding:30px 36px 42px;border:1px solid var(--ink)}.proof[data-style=paper] .proof__theorems section:after{content:"\25a1";position:absolute;right:18px;bottom:14px}.proof[data-style=paper] .proof__code{background:#ffffff4d;border-color:var(--ink)}.proof[data-style=paper] .proof__code code,.proof[data-style=paper] .proof__state-line span{color:var(--ink)}@media(max-width:900px){.proof__topbar{position:relative;align-items:flex-start}.proof__controls{flex-direction:column;align-items:flex-end}.proof__hero{min-height:auto;grid-template-columns:1fr;padding-top:72px}.proof__principle-card{align-self:auto}.proof__section-head,.proof[data-style=paper] .proof__section-head{grid-template-columns:1fr;margin-bottom:48px}.proof__notation,.proof__sampling-grid{grid-template-columns:1fr}.proof__notation aside{padding:0 0 44px;border-right:0;border-bottom:1px solid var(--line)}.proof__fairness dl{grid-template-columns:repeat(2,1fr)}.proof[data-style=paper] .proof__hero{min-height:auto;grid-template-columns:1fr}}html[lang=zh-CN] .proof__hero h1{font-size:clamp(34px,7vw,108px);line-height:1.02;letter-spacing:-.04em}html[lang=ja] .proof__hero h1{font-size:clamp(34px,7vw,104px);line-height:1.04;letter-spacing:-.04em}html[lang=zh-CN] .proof[data-style=paper] .proof__hero h1{font-size:clamp(48px,6vw,86px)}@media(max-width:620px){.proof__topbar{padding:14px 16px;flex-direction:column}.proof__controls{width:100%;align-items:stretch;gap:8px}.proof__switch{display:grid;grid-template-columns:repeat(3,1fr)}.proof__switch button{padding:0 8px}.proof__frame,.proof[data-style=paper] .proof__frame{width:calc(100% - 24px)}.proof__hero,.proof__plain,.proof__formal{padding-left:18px;padding-right:18px}.proof__hero h1{font-size:clamp(48px,15vw,70px)}.proof__section-head h2{overflow-wrap:anywhere}html[lang=zh-CN] .proof__hero h1,html[lang=ja] .proof__hero h1{font-size:42px}.proof[data-style=paper] .proof__hero h1{font-size:34px}.proof__lead{margin-top:28px;font-size:17px}.proof__steps li{grid-template-columns:34px minmax(0,1fr);gap:12px}.proof__fairness{padding:22px}.proof__fairness dl{grid-template-columns:1fr}.proof__fairness dl div{min-height:100px}.proof__formula{font-size:18px;overflow-x:visible;white-space:normal}.proof__code{padding:18px 16px}}
/*# sourceMappingURL=/cdn/shop/t/5/assets/kob-number-allocation-proof.css.map */