:root{color-scheme:light;--ink:#182a30;--muted:#586a70;--line:#d6e1df;--paper:#f4f6f2;--panel:#fff;--accent:#146f63;--soft:#e7f1ec;--warn:#916221;--warnbg:#faf0df;--code:#eff3f1;font-family:Inter,"Microsoft YaHei",system-ui,sans-serif;font-size:15px;line-height:1.65}
*{box-sizing:border-box}body{margin:0;background:var(--paper);color:var(--ink)}button,input,select{font:inherit}button,a{touch-action:manipulation}button{border:1px solid var(--line);background:var(--panel);border-radius:7px;padding:7px 12px;color:var(--ink);cursor:pointer}button:hover{background:var(--soft)}button:disabled{opacity:.45;cursor:default}button[aria-pressed=true],button.primary{background:var(--accent);border-color:var(--accent);color:white}button:focus-visible,a:focus-visible,input:focus-visible,select:focus-visible,summary:focus-visible{outline:3px solid #b77822;outline-offset:3px}a{color:var(--accent);text-underline-offset:4px}h1,h2,h3,p{margin:0 0 12px}h1{font-size:clamp(26px,3.3vw,38px);font-weight:600;letter-spacing:-1px;line-height:1.3}h2{font-size:22px;font-weight:600}h3{font-size:16px;font-weight:600}p{overflow-wrap:anywhere}.top{max-width:1580px;margin:auto;padding:36px 40px 22px;display:flex;justify-content:space-between;gap:24px;align-items:center}.top p{margin:12px 0 0;color:var(--muted)}.eyebrow{font-size:11px;font-weight:600;letter-spacing:2px;color:var(--accent);display:block;margin-bottom:10px}.external{white-space:nowrap;font-size:14px}main{max-width:1580px;padding:0 40px;margin:auto}.boundary{padding:13px 18px;background:var(--soft);border-left:3px solid var(--accent);display:flex;gap:18px;flex-wrap:wrap;font-size:13px}.boundary span{color:var(--muted)}.mainnav{display:flex;gap:8px;flex-wrap:wrap;padding:24px 0;border-bottom:1px solid var(--line);margin-bottom:26px}.mainnav button{border-color:transparent;padding:10px 18px}.replay-layout{display:grid;grid-template-columns:210px minmax(0,1fr);gap:30px}aside{border-right:1px solid var(--line);padding-right:20px}aside h2{font-size:15px}.group-label{font-size:12px;color:var(--muted);margin:19px 0 8px}.step-btn{display:block;text-align:left;width:100%;border:0;background:transparent;padding:9px 10px;margin:3px 0;font-size:13px}.step-btn small{display:block;opacity:.8;margin-top:3px}.hint{font-size:12px;color:var(--muted);margin:12px 0;overflow-wrap:anywhere}.stephead{display:flex;align-items:center;justify-content:space-between;gap:16px;flex-wrap:wrap}.tag{font-size:11px;font-weight:600;color:var(--accent);letter-spacing:.4px;display:inline-block;margin-bottom:5px}.tag.demo{color:var(--warn)}.pager{display:flex;gap:6px}.interpretation{font-size:14px;line-height:1.8;margin:10px 0 19px;min-height:50px}.phasebar{display:flex;flex-wrap:wrap;gap:6px;padding:0 0 20px}.phasebar button{font-size:13px;padding:7px 11px}.two-columns{display:grid;grid-template-columns:minmax(0,1fr) minmax(0,1fr);gap:26px;align-items:start}.page-pane,.detail-pane{min-width:0}.panehead{display:flex;align-items:center;justify-content:space-between;gap:8px;flex-wrap:wrap;margin-bottom:10px}.panehead h3{margin:0}.panehead button{font-size:12px;padding:4px 8px}.address{border:1px solid var(--line);background:var(--panel);padding:9px 12px;font-family:ui-monospace,monospace;font-size:12px;overflow-wrap:anywhere;border-radius:9px 9px 0 0}.page-schematic{display:block;width:100%;height:auto;background:var(--panel);border:1px solid var(--line);border-top:0;border-radius:0 0 9px 9px;min-height:140px}.page-schematic rect.node{fill:var(--soft);stroke:#a8beb6;stroke-width:1.5}.page-schematic rect.chosen{fill:#cee4d9;stroke:var(--accent);stroke-width:4}.page-schematic text{fill:var(--muted);font-family:ui-monospace,monospace;font-size:16px}.page-schematic text.chosen{font-size:23px;fill:var(--accent);font-weight:700}.page-text{background:var(--panel);padding:16px;border:1px solid var(--line);white-space:pre-wrap;font-size:13px;max-height:520px;overflow:auto}.selected-detail{padding:12px 0;font-size:13px;min-height:38px;border-top:1px solid var(--line)}.selected-detail code{color:var(--accent)}.demo-browser{background:var(--panel);padding:32px 22px 22px;border:1px solid var(--line);border-top:0;border-radius:0 0 9px 9px;min-height:280px}.demo-brand{font-size:37px;font-weight:500;letter-spacing:-2px;text-align:center;color:var(--muted);margin:10px 0 26px}.demo-field{border:2px solid var(--accent);border-radius:25px;padding:11px 16px;background:var(--soft);font-size:16px;margin-bottom:20px}.demo-search{text-align:center;color:var(--muted);font-size:13px}.demo-link{color:var(--accent);border-bottom:2px solid var(--accent);font-size:20px;display:inline-block;margin:12px 0}.badge-number{font-family:ui-monospace,monospace;color:var(--accent);font-size:12px;font-weight:700}.detail-pane h3{margin-bottom:10px}.facts{margin:0;display:grid;grid-template-columns:100px minmax(0,1fr);gap:8px 14px;font-size:13px}.facts dt{color:var(--muted)}.facts dd{margin:0;overflow-wrap:anywhere}.notice{background:var(--soft);padding:13px 16px;margin:12px 0;font-size:13px;border-radius:7px}.notice.warn{background:var(--warnbg);color:#775321}.flow{display:flex;align-items:center;gap:9px;flex-wrap:wrap;margin:12px 0;font-size:13px}.flow span{padding:7px 10px;background:var(--soft);border-radius:5px}.number-big{font-size:32px;font-family:ui-monospace,monospace;font-weight:500;color:var(--accent)}pre{font-family:ui-monospace,Consolas,monospace;white-space:pre-wrap;overflow-wrap:anywhere;font-size:12px;background:var(--code);border-radius:7px;padding:15px;line-height:1.65;margin:12px 0;max-height:500px;overflow:auto}code{font-family:ui-monospace,Consolas,monospace;font-size:.95em}details{margin:14px 0;border-top:1px solid var(--line);padding-top:12px}summary{cursor:pointer;font-size:13px;color:var(--accent);padding:3px 0}.raw{margin-top:25px}.raw pre{max-height:420px}.question-select{width:100%;min-width:0;padding:10px;border:1px solid var(--line);border-radius:6px;background:white;color:var(--ink);font-size:13px;margin:8px 0 13px}.q-description{font-size:13px;color:var(--muted);margin:10px 0}.answer-head{display:flex;gap:18px;align-items:center;flex-wrap:wrap}.answer-head strong{font-size:22px;font-family:ui-monospace,monospace;color:var(--accent)}.answer-head span{font-size:12px;color:var(--muted)}.option-row{display:grid;grid-template-columns:38px minmax(0,1fr) 58px;gap:7px;padding:9px 0;border-bottom:1px solid var(--line);font-size:12px;align-items:center}.option-row.selected{font-weight:600;color:var(--accent)}.option-row p{margin:0}.option-row .pval{text-align:right;font-variant-numeric:tabular-nums}.prob-track{height:4px;background:var(--line);margin-top:5px}.prob-fill{height:4px;background:var(--accent)}.option-row button{padding:4px;font-family:ui-monospace,monospace;font-size:12px}.options-list{max-height:360px;overflow:auto;padding-right:8px}.element-table{border-collapse:collapse;width:100%;font-size:12px;table-layout:fixed}.element-table th,.element-table td{text-align:left;border-bottom:1px solid var(--line);padding:8px 5px;word-break:break-word}.element-table th:first-child{width:44px}.element-table th:last-child{width:95px}.element-table tr.picked{background:var(--soft)}.table-wrap{max-height:350px;overflow:auto}.elements-count{font-size:13px;margin-bottom:10px}.phase-number{color:var(--accent);font-size:12px;letter-spacing:1px}.proof-image{display:block;width:100%;border:1px solid var(--line);margin:12px 0}.event-list{font-size:12px}.event-list div{display:flex;justify-content:space-between;gap:20px;border-bottom:1px solid var(--line);padding:8px 0}.section-title{max-width:900px;margin:15px 0 26px}.section-title p{color:var(--muted)}.lab-controls{display:flex;gap:16px;align-items:center;flex-wrap:wrap;margin:20px 0;font-size:14px}.lab-controls label{display:flex;align-items:center;gap:8px}.lab-controls input{width:18px;height:18px}#fixture{width:100%;height:420px;border:1px solid var(--line);border-radius:10px;background:white}.explain-grid{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:25px 40px;margin-bottom:30px}.explain-grid article{padding-bottom:18px;border-bottom:1px solid var(--line)}.explain-grid p,#about>p,.sources{font-size:14px;line-height:1.9}.source-links{display:flex;gap:16px;flex-wrap:wrap;font-size:13px;margin:20px 0 30px}footer{padding:40px;text-align:center;color:var(--muted);font-size:12px}[hidden]{display:none!important}
.option-row.op-row{grid-template-columns:95px minmax(0,1fr) 50px}.operation-key{overflow-wrap:anywhere;font-size:12px}.operation-key code{font-size:11px}.option-row>div{min-width:0}
@media(min-width:1450px){.two-columns{grid-template-columns:minmax(0,1.04fr) minmax(0,1fr)}}
@media(max-width:1080px){.top{padding:25px 24px}main{padding:0 24px}.replay-layout{grid-template-columns:170px minmax(0,1fr);gap:20px}.two-columns{grid-template-columns:1fr}.page-schematic{max-height:370px}.explain-grid{gap:20px}.detail-pane{border-top:1px solid var(--line);padding-top:18px}}
@media(max-width:650px){.top{display:block;padding:23px 16px}.external{display:inline-block;margin-top:15px}main{padding:0 16px}.boundary{gap:5px}.mainnav{gap:5px;padding:16px 0}.mainnav button{font-size:12px;padding:8px 10px}.replay-layout{display:block}aside{border:0;padding:0;margin-bottom:22px}aside h2,aside>.hint{display:none}#steps{display:flex;gap:5px;overflow:auto;padding:5px 0 10px}.group-label{display:none}.step-btn{flex:0 0 135px;margin:0;background:var(--panel);font-size:12px}.stephead{align-items:flex-start}.stephead h2{font-size:20px}.pager button{font-size:12px;padding:6px 9px}.interpretation{font-size:13px}.phasebar{gap:4px}.phasebar button{padding:6px 8px;font-size:12px}.explain-grid{grid-template-columns:1fr}.facts{grid-template-columns:80px 1fr}footer{padding:25px 16px}.option-row{grid-template-columns:34px minmax(0,1fr) 50px}#fixture{height:360px}}
.brandline{display:flex;align-items:center;gap:13px;margin-bottom:12px}.brand-logo{display:block;width:76px;height:auto;background:#fff;border-radius:6px}.brandline .eyebrow{margin:0}@media(max-width:650px){.brand-logo{width:66px}}