:root{--ink:#253947;--paper:#e8eef1;--blue:#244f69;--green:#356d86;--gold:#b89655;--violet:#426d87;--red:#823e45}
*{box-sizing:border-box}body{min-width:320px;margin:0;background:linear-gradient(145deg,#dce2ed,#9aa8bc);font-family:Tahoma,Verdana,sans-serif;color:var(--ink)}
.prv-page{width:min(1180px,calc(100% - 32px));margin:24px auto;overflow:hidden;background:var(--paper);border:1px solid #36455f;box-shadow:0 22px 60px #161f3438}
.prv-hero{position:relative;padding:115px 52px 52px;background:linear-gradient(145deg,#d4e0e7,#e8eef1);display:grid;grid-template-columns:minmax(0,.82fr) minmax(0,1.18fr);gap:38px;align-items:center}
.prv-opening h1{margin:0 0 27px;font:normal clamp(42px,4.7vw,64px)/1.04 Georgia,serif;letter-spacing:-.04em;color:#18384d}
.prv-opening p{margin:0 0 20px;font:17px/1.65 Georgia,serif;max-width:66ch}
.prv-page figure{margin:0}.prv-page img{display:block;width:100%;height:auto;object-fit:contain}.prv-page figcaption{margin-top:14px;color:#526573;font:12px/1.6 Tahoma,sans-serif;max-width:90ch}
.terminal-plate{align-self:center}.terminal-plate img{border-radius:3px}
.prv-page>.reading,.prv-page>.counter,.prv-page>.receipt-lab{padding:48px 58px}
.prv-page>.reading+section{border-top:1px solid #b7c9d280}
.prv-page h2{margin:0 0 22px;color:#203f53;font-weight:normal}.prv-page h3{margin:0 0 12px;font:700 18px/1.4 Tahoma,sans-serif;color:#24485f}
.prv-page .reading>p,.prv-page .section-intro>p{max-width:82ch;font:18px/1.75 Georgia,serif;margin:0 0 23px}.prv-page p:last-child{margin-bottom:0}
.prv-page code{font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:.85em;overflow-wrap:anywhere}.prv-page a{text-underline-offset:3px}
.protocol-lede{background:linear-gradient(#e8eef1,#e3ebef)}
.domain-flow{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));padding:0;margin:34px 0;list-style:none;border-block:1px solid #819eaf}
.domain-flow li{position:relative;padding:25px 20px;border-right:1px solid #b4c5ce}.domain-flow li:first-child{padding-left:0}.domain-flow li:last-child{border-right:0;padding-right:0}
.domain-flow li>span,.inference-plate span{display:block;margin-bottom:14px;color:#526e80;font:700 10px/1.5 Tahoma,sans-serif;letter-spacing:.09em}
.domain-flow h3{font-size:17px}.domain-flow p{font:14px/1.65 Tahoma,sans-serif;margin:0 0 20px}.domain-flow code{font-size:11px;color:#285b78}
.prv-page .status-note{font:14px/1.7 Tahoma,sans-serif;padding:18px 22px;border-left:3px solid #7797a9;background:#dce6ec;max-width:none}
.section-intro{display:grid;grid-template-columns:.72fr 1.28fr;gap:35px;margin-bottom:28px}.ballot-plate{max-width:960px;margin-inline:auto!important}
.paired-notes{display:grid;grid-template-columns:1fr 1fr;gap:40px;margin:34px 0}.paired-notes>div{border-top:2px solid #7395a8;padding-top:20px}.paired-notes p{font:17px/1.7 Georgia,serif;margin:0}
.protocol-steps,.algorithm-steps{list-style:none;counter-reset:protocol;padding:0;margin:32px 0}.protocol-steps>li,.algorithm-steps>li{position:relative;padding:0 0 30px 56px;counter-increment:protocol}
.protocol-steps>li:before,.algorithm-steps>li:before{content:counter(protocol,decimal-leading-zero);position:absolute;left:0;top:0;color:#547b93;font:18px/1.4 ui-monospace,monospace}
.protocol-steps p,.algorithm-steps p{font:17px/1.75 Georgia,serif;max-width:81ch;margin:0 0 16px}.protocol-steps li+li,.algorithm-steps li+li{padding-top:26px;border-top:1px solid #bdcdd5}.protocol-steps li+li:before,.algorithm-steps li+li:before{top:26px}
.equation{padding:21px 25px;margin:22px 0;color:#143e58;background:#dae5eb;border-left:3px solid #4f7b96;line-height:1.9;overflow-wrap:anywhere}.equation code{font-size:13px}
.comparison-table{margin:28px 0;overflow-x:auto}.comparison-table table{border-collapse:collapse;width:100%;font:14px/1.7 Tahoma,sans-serif}.comparison-table th,.comparison-table td{padding:17px 18px;text-align:left;vertical-align:top;border-bottom:1px solid #b2c5d0}.comparison-table thead{background:#d8e4eb;color:#254c63}.comparison-table tbody th{width:23%;font-weight:700}.comparison-table td{min-width:190px}.comparison-table th:first-child{padding-left:0}.comparison-table thead th:first-child{padding-left:18px}
.verification-levels{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:25px;margin:34px 0}.verification-levels>div{border-top:2px solid #7a98a9;padding-top:20px}.verification-levels p{font:15px/1.75 Tahoma,sans-serif;margin:0}
.prv-page>.receipt-lab,.prv-page>.counter{margin:20px 28px;padding:36px 30px;border:1px solid #ffffffa6;border-radius:9px;background:linear-gradient(135deg,#f2f7f9dd,#d8e5ed);box-shadow:inset 0 1px #fff,0 10px 25px #27495b13}
.receipt-lab>header p,.counter>header p{font:16px/1.65 Tahoma,sans-serif;max-width:83ch;margin:0 0 23px}.lab-limit{padding:15px 18px;background:#e0eaf0;color:#3e5c6d;font:13px/1.7 Tahoma,sans-serif;border-left:3px solid #90aab9}
.receipt-controls,.buttons{display:flex;flex-wrap:wrap;gap:9px;margin-top:20px}.prv-page button{cursor:pointer;min-height:44px;padding:11px 14px;font:700 12px/1.5 Tahoma,sans-serif}
.receipt-artifacts{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:18px;margin-top:28px}.receipt-artifacts>div{padding:19px;border:1px solid #a9c2d1;background:#f1f7fa;min-width:0}.receipt-artifacts h3{font-size:16px}.receipt-artifacts p{font-size:12px;line-height:1.6;min-height:40px;color:#4e6574}.receipt-artifacts code{display:block;white-space:pre-wrap;font-size:11px;line-height:1.8;word-break:break-all;color:#255b7a}
.receipt-status{padding:17px 20px;background:#244f69;color:#f5faff;font:14px/1.7 Tahoma,sans-serif;border-radius:4px;margin:24px 0 0}.receipt-status[data-result=reject]{background:#693e4a}
.inference-plate{display:grid;grid-template-columns:.85fr 1.25fr 1fr;gap:25px;padding:28px 30px;background:#dce7ed;border-block:1px solid #afc6d3}.inference-plate code{font-size:14px;line-height:2}.inference-plate b{color:#236788}.inference-plate figcaption{grid-column:1/-1;margin:0}
.scale-register{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:30px;margin:30px 0;padding:25px 0;border-block:1px solid #a8c0cf}.scale-register strong{display:block;font:normal 46px/1.2 Georgia,serif;color:#235370}.scale-register span{display:block;max-width:25ch;font:13px/1.6 Tahoma,sans-serif;margin-top:8px;color:#4c6575}
.bracket-plate{display:flex;flex-wrap:wrap;gap:14px;align-items:center;margin:28px 0;padding:22px 24px;background:#dae6ed;font:13px/1.7 Tahoma,sans-serif}.bracket-plate strong{color:#1f526f}
.counter>header{margin-bottom:25px}.counter-grid{display:grid;grid-template-columns:minmax(0,.78fr) minmax(0,1.22fr);gap:20px}.inputs,.result{min-width:0;padding:21px;border:1px solid #aabfcf;background:#edf4f8;border-radius:5px}.inputs label{display:grid;gap:8px;margin-bottom:17px;font:700 12px/1.6 Tahoma,sans-serif}.inputs textarea{width:100%;resize:vertical;padding:12px;font:13px/1.6 ui-monospace,SFMono-Regular,Menlo,monospace}.outcome{padding:20px;background:#254f69;color:#f7fbfe;border-radius:4px}.outcome span{display:block;font-size:10px;letter-spacing:.1em}.outcome strong{display:block;margin:10px 0;font-size:29px}.outcome p{margin:0;font-size:13px;line-height:1.65}.outcome--failure{background:#70424c}.result section h3{margin:25px 0 12px;font-size:16px}
.completion,.rounds{max-height:320px;margin:0;padding:0;list-style:none;overflow:auto;background:#f8fbfd;border:1px solid #b2c6d1}.completion li{display:grid;grid-template-columns:24px 1fr 18px 1fr;gap:7px;padding:10px;border-bottom:1px solid #d1dee6;align-items:center}.completion li>span{color:#47768f;font-size:11px}.completion code,.rounds code{font-size:11px}.rounds li{display:grid;grid-template-columns:72px 1fr;padding:10px;border-bottom:1px solid #d1dee6;gap:6px;font-size:12px}.rounds span{color:#47768f;font-size:10px}.rounds code{grid-column:2}.rounds .bracket-event{display:block;background:#e5eef3;font-weight:700}.rounds .bracket-event code{display:block;margin-top:6px;font-weight:400}
.references ol{padding-left:20px;line-height:1.7}.references li{margin:12px 0;font-size:14px}
@media(max-width:980px){.prv-hero{grid-template-columns:1fr;padding:115px 42px 38px;gap:15px}.prv-opening{max-width:780px}.prv-opening h1{font-size:56px}.terminal-plate{max-width:780px}.domain-flow{grid-template-columns:1fr 1fr}.domain-flow li:nth-child(2){border-right:0}.domain-flow li:nth-child(3){border-top:1px solid #b4c5ce;padding-left:0}.domain-flow li:nth-child(4){border-top:1px solid #b4c5ce;padding-right:0}}
@media(max-width:700px){.prv-page>.reading{padding:36px 23px}.prv-hero{padding:120px 23px 30px;gap:10px}.prv-opening h1{font-size:42px}.prv-opening p{font-size:17px}.prv-page .reading>p,.prv-page .section-intro>p{font-size:17px}.section-intro,.paired-notes,.verification-levels,.receipt-artifacts,.counter-grid,.inference-plate{grid-template-columns:1fr;gap:22px}.section-intro{gap:0}.domain-flow{grid-template-columns:1fr}.domain-flow li{border-right:0;padding:22px 0}.domain-flow li+li{border-top:1px solid #b4c5ce}.domain-flow li p{margin-bottom:9px}.domain-flow h3{font-size:18px}.protocol-steps>li,.algorithm-steps>li{padding-left:33px}.protocol-steps>li:before,.algorithm-steps>li:before{font-size:14px;line-height:1.8}.equation{padding:16px;margin-left:-33px}.equation code{font-size:11px}.prv-page>.receipt-lab,.prv-page>.counter{margin:12px;padding:25px 15px}.receipt-artifacts p{min-height:0}.receipt-controls button{flex:1 1 130px}.receipt-artifacts code{font-size:10px}.scale-register{gap:14px}.scale-register strong{font-size:34px}.scale-register span{font-size:11px}.comparison-table table{font-size:12px}.comparison-table th,.comparison-table td{padding:14px 12px}.comparison-table td{min-width:155px}.inputs,.result{padding:14px}.completion li{grid-template-columns:20px 1fr}.completion li>b{display:none}.completion li>code:last-child{grid-column:2}.inference-plate{padding:22px}.prv-page figcaption{font-size:11px}}