.rp{--bg:#fbf7f0;--card:#ffffff;--ink:#12261f;--dim:#5f7168;--mut:#93a29a;--navy:#0a1628;--navy-deep:#071324;--green:#059669;--green-bright:#10b981;--rule:#ece4d7;--line2:#e2d9c9;--card-alt:#faf6ee;--amber:#c98a2b;--mint:#ecfdf5}.rp,.rp *{box-sizing:border-box}.rp{margin:0;padding:0}.rp{font-family:Inter,system-ui,-apple-system,Segoe UI,Roboto,Helvetica,Arial,sans-serif;color:var(--ink);background:var(--bg);font-size:16.5px;line-height:1.7;-webkit-font-smoothing:antialiased}.rp a{color:var(--green);text-decoration:none}.rp a:hover{text-decoration:underline}.rp .sitebar{background:var(--navy);color:#fff}.rp .sitebar .inner{max-width:900px;margin:0 auto;padding:13px 22px;display:flex;align-items:center;justify-content:space-between;gap:16px}.rp .sitebar .wm{font-weight:800;letter-spacing:-.01em;color:#fff;font-size:1.05rem}.rp .sitebar .wm span{color:var(--green-bright)}.rp .sitebar nav a{color:#c7d6d0;font-size:.86rem;font-weight:600;margin-left:18px}.rp .sitebar nav a:hover{color:#fff;text-decoration:none}.rp .paperwrap{max-width:760px;margin:0 auto;padding:0 22px 70px}.rp .crumb{font-size:.8rem;color:var(--dim);margin:20px 0 0}.rp .crumb a{color:var(--dim);font-weight:600}.rp .crumb a:hover{color:var(--green)}.rp .crumb .sep{color:var(--mut);padding:0 7px}.rp .crumb .here{color:var(--ink)}.rp .hero{background:linear-gradient(155deg,var(--navy) 0%,var(--navy-deep) 100%);color:#fff;border-radius:18px;padding:34px 34px 30px;margin:18px 0 8px}.rp .hero .brand{text-transform:uppercase;letter-spacing:.24em;font-size:.68rem;font-weight:700;color:var(--green-bright);margin-bottom:6px}.rp .hero .doctype{font-size:.72rem;letter-spacing:.14em;text-transform:uppercase;color:#9fb8d2;font-weight:700;margin-bottom:14px}.rp .hero h1{font-size:2.05rem;line-height:1.12;font-weight:800;margin:0 0 16px;letter-spacing:-.02em}.rp .hero .deck{font-size:1.02rem;color:#cbd9ea;line-height:1.55;margin:0 0 22px}.rp .hero .byline{font-size:.82rem;color:#a9bdd4;border-top:1px solid rgba(255,255,255,.16);padding-top:16px;line-height:1.7}.rp .hero .byline b{color:#eef4fb}.rp .hero .pending{color:#e9b949;font-weight:700}.rp .hero .pdfbtn{display:inline-flex;align-items:center;gap:8px;margin-top:16px;background:var(--green);color:#fff;font-weight:700;font-size:.86rem;padding:11px 18px;border-radius:11px}.rp .hero .pdfbtn:hover{background:var(--green-bright);text-decoration:none}.rp .relatedbox{background:var(--mint);border:1px solid #a7e8cf;border-left:4px solid var(--green);border-radius:11px;padding:14px 18px;margin:24px 0 6px;font-size:.9rem;color:#134e40}.rp .relatedbox b{color:#0a4636}.rp .page{margin:0}.rp .abstract{margin:30px 0 6px}.rp .abstract h2:not(:where([data-hl="3"])),.rp .toc h2:not(:where([data-hl="3"])){font-size:.95rem;color:var(--navy);text-transform:uppercase;letter-spacing:.1em;margin:0 0 12px;padding-bottom:9px;border-bottom:1px solid var(--rule)}.rp .abstract p{margin:0 0 13px}.rp .abstract .abs-lead{font-weight:700;color:var(--navy);font-size:1.05rem}.rp .keyfindings{background:var(--card);border:1px solid var(--rule);border-left:4px solid var(--green);border-radius:12px;padding:22px 26px;margin:26px 0 8px;box-shadow:0 2px 14px #78643c0d}.rp .keyfindings h2:not(:where([data-hl="3"])){margin:0 0 14px;font-size:1.15rem;color:var(--navy)}.rp .keyfindings ol{margin:0;padding-left:22px}.rp .keyfindings li{margin-bottom:11px}.rp .keyfindings strong{color:var(--navy)}.rp .toc{margin:30px 0 8px}.rp .toc ol{margin:0;padding-left:0;list-style:none;counter-reset:toc}.rp .toc>ol>li{counter-increment:toc;margin-bottom:9px;display:flex}.rp .toc>ol>li:before{content:counter(toc) ".";color:var(--green);font-weight:800;width:28px;flex:none}.rp .toc .toc-title{font-weight:700;color:var(--navy)}.rp .toc .toc-desc{color:var(--dim);font-weight:400}.rp h2:not(:where([data-hl="3"])).sec{font-size:1.5rem;color:var(--navy);margin:52px 0 6px;padding-bottom:10px;border-bottom:2px solid var(--green);letter-spacing:-.01em;font-weight:800}.rp h2:not(:where([data-hl="3"])).sec .n{color:var(--green-bright);font-weight:800;margin-right:12px}.rp .sec-lead{font-size:.98rem;color:var(--dim);margin:6px 0 18px;font-style:italic}.rp h3:not(:where([data-hl="4"])).sub,.rp h2:where([data-hl="3"]).sub{font-size:1.18rem;color:var(--navy);margin:28px 0 8px;font-weight:700}.rp h4:not(:where([data-hl="5"])).subsub,.rp h3:where([data-hl="4"]).subsub{font-size:1.02rem;color:var(--green);margin:20px 0 6px;font-weight:700}.rp p{margin:0 0 13px}.rp ul,.rp ol{margin:8px 0 16px;padding-left:22px}.rp li{margin-bottom:8px}.rp em{color:var(--ink);font-style:italic}.rp strong{color:var(--navy)}.rp code{background:var(--card-alt);border:1px solid var(--rule);border-radius:5px;padding:1px 5px;font-family:SF Mono,Menlo,Consolas,monospace;font-size:.86em;color:#134e40}.rp .dist{background:#eef5f3;border:1px solid #cfe3de;border-radius:11px;padding:18px 24px;margin:18px 0 8px}.rp .dist h3:not(:where([data-hl="4"])),.rp .dist h2:where([data-hl="3"]){margin:0 0 10px;font-size:1.02rem;color:var(--green)}.rp .dist p{margin-bottom:9px}.rp .dist p:last-child{margin-bottom:0}.rp .pullquote{border-left:3px solid var(--green-bright);padding:6px 0 6px 20px;margin:22px 0 22px 4px;font-size:1.22rem;color:var(--navy);font-weight:600;font-style:italic;line-height:1.5}.rp table{width:100%;border-collapse:collapse;margin:16px 0 8px;font-size:.9rem;display:block;overflow-x:auto}.rp caption{caption-side:bottom;text-align:left;font-size:.8rem;color:var(--dim);padding-top:9px;line-height:1.5}.rp th{background:var(--navy);color:#fff;text-align:left;padding:9px 11px;font-weight:600;font-size:.82rem}.rp td{padding:8px 11px;border-bottom:1px solid var(--rule);vertical-align:top}.rp tr:nth-child(2n) td{background:var(--card-alt)}.rp td.rank{font-weight:800;color:var(--green);text-align:center;width:30px}.rp td.num{text-align:right;font-variant-numeric:tabular-nums}.rp td.win{font-weight:800;color:var(--green)}.rp .figure{margin:26px 0 8px}.rp .figure .frame{border:1px solid var(--rule);border-radius:12px;overflow:hidden;background:#0e1828;box-shadow:0 2px 14px #78643c0f}.rp .figure img{width:100%;display:block}.rp .figcaption{font-size:.82rem;color:var(--dim);margin:10px 4px 22px;line-height:1.55}.rp .figcaption b{color:var(--navy)}.rp .anchor-box{display:flex;gap:14px;margin:20px 0 8px;flex-wrap:wrap}.rp .anchor{flex:1;min-width:170px;background:linear-gradient(160deg,var(--navy) 0%,var(--navy-deep) 100%);color:#fff;border-radius:12px;padding:18px 20px}.rp .anchor .big{font-size:1.9rem;font-weight:800;color:var(--green-bright);line-height:1}.rp .anchor .lbl{font-size:.78rem;color:#bcd0e4;margin-top:8px;line-height:1.45}.rp .anchor .src-line{font-size:.66rem;color:#7f97b0;margin-top:9px}.rp .rec{border:1px solid var(--rule);border-radius:12px;padding:18px 22px;margin:16px 0;background:var(--card);box-shadow:0 2px 14px #78643c0d}.rp .rec h3:not(:where([data-hl="4"])),.rp .rec h2:where([data-hl="3"]){margin:0 0 10px;font-size:1.02rem;color:var(--navy);display:flex;align-items:center;gap:10px;flex-wrap:wrap}.rp .rec h3:not(:where([data-hl="4"])) .badge,.rp .rec h2:where([data-hl="3"]) .badge{background:var(--green);color:#fff;font-size:.66rem;font-weight:800;padding:3px 10px;border-radius:20px;letter-spacing:.04em;white-space:nowrap}.rp .rec p,.rp .rec li{font-size:.92rem}.rp .freecost{display:flex;gap:16px;margin:20px 0;flex-wrap:wrap}.rp .freecost .col{flex:1;min-width:230px;border-radius:12px;padding:16px 20px}.rp .freecost .free{background:#eef5f3;border:1px solid #cfe3de}.rp .freecost .lic{background:#fbf3e6;border:1px solid #ecdcc0}.rp .freecost h4:not(:where([data-hl="5"])),.rp .freecost h3:where([data-hl="4"]){margin:0 0 10px;font-size:.94rem}.rp .freecost .free h4:not(:where([data-hl="5"])),.rp .freecost .free h3:where([data-hl="4"]){color:var(--green)}.rp .freecost .lic h4:not(:where([data-hl="5"])),.rp .freecost .lic h3:where([data-hl="4"]){color:var(--amber)}.rp .freecost ul{margin:0;padding-left:18px}.rp .freecost li{font-size:.85rem;margin-bottom:6px}.rp .tag{display:inline-block;font-size:.62rem;font-weight:800;letter-spacing:.06em;padding:2px 7px;border-radius:4px;vertical-align:middle;text-transform:uppercase}.rp .tag.src{background:#dff0ec;color:#186557}.rp .tag.est{background:#fbf0d8;color:#8a6416}.rp .tag.tv{background:#fbe3e0;color:#9c3b30}.rp .tag.own{background:#e2e9f5;color:#2b4a7a}.rp .keybox{background:var(--card);border:1px solid var(--rule);border-radius:11px;padding:16px 22px;margin:14px 0 8px;font-size:.88rem}.rp .keybox div{margin-bottom:7px}.rp .keybox div:last-child{margin-bottom:0}.rp .formula{background:var(--navy-deep);color:#dbe8f5;border-radius:10px;padding:14px 18px;margin:12px 0;font-family:SF Mono,Menlo,Consolas,monospace;font-size:.86rem;line-height:1.7;overflow-x:auto}.rp .formula .c{color:var(--green-bright)}.rp sup.fn{font-size:.62rem;color:var(--green);font-weight:700;vertical-align:super;line-height:0;padding-left:1px}.rp .refs{margin-top:10px}.rp .refs h3:not(:where([data-hl="4"])),.rp .refs h2:where([data-hl="3"]){font-size:1rem;color:var(--navy);margin:22px 0 8px}.rp .refs ol{font-size:.82rem;padding-left:28px;margin:6px 0 12px}.rp .refs li{margin-bottom:6px;color:var(--dim);line-height:1.55}.rp .refs li a{font-size:.82rem}.rp .refs li b{color:var(--ink)}.rp .pfoot{border-top:1px solid var(--rule);margin-top:44px;padding-top:20px;font-size:.82rem;color:var(--dim)}.rp .pfoot .flinks{margin-bottom:12px}.rp .pfoot .flinks a{font-weight:700;margin-right:18px}.rp .pfoot .meta{line-height:1.6}@media(max-width:640px){.rp .hero{padding:26px 22px 24px;border-radius:14px}.rp .hero h1{font-size:1.6rem}.rp .anchor{min-width:100%}}.rp .statusbox p{margin:0 0 8px}.rp blockquote{background:var(--navy-deep);color:#dbe8f5;border-radius:10px;padding:14px 18px;margin:12px 0;font-family:SF Mono,Menlo,Consolas,monospace;font-size:.86rem;line-height:1.7;overflow-x:auto}.rp blockquote p{margin:0;white-space:pre-line}.rp blockquote strong{color:var(--green-bright)}.rp .refs ul{font-size:.82rem;padding-left:22px;margin:6px 0 12px}.rp .refs em{color:var(--dim)}.rp .tag.direct{background:#dff0ec;color:#186557}.rp .tag.interp{background:#e2e9f5;color:#2b4a7a}.rp .tag.infer{background:#fbf0d8;color:#8a6416}.rp .tag.hyp{background:#f3e8ff;color:#6b3fa0}.rp .tag.assume{background:#f1ede6;color:#5f5344}.rp .tag.anec{background:#fbe3e0;color:#9c3b30}.rp .hero .ver{display:inline-block;background:#10b98129;color:#a7f3d0;font-weight:700;font-size:.72rem;letter-spacing:.06em;padding:3px 10px;border-radius:20px;margin-bottom:12px}.rp .hero .byline a{color:#eef4fb;text-decoration:underline;text-decoration-color:#ffffff59}.rp .scope{display:flex;gap:16px;margin:18px 0 8px;flex-wrap:wrap}.rp .scope .col{flex:1;min-width:240px;border-radius:12px;padding:16px 20px}.rp .scope .does{background:#eef5f3;border:1px solid #cfe3de}.rp .scope .doesnt{background:#fbf3e6;border:1px solid #ecdcc0}.rp .scope h3:not(:where([data-hl="4"])),.rp .scope h2:where([data-hl="3"]){margin:0 0 8px;font-size:.95rem}.rp .scope .does h3:not(:where([data-hl="4"])),.rp .scope .does h2:where([data-hl="3"]){color:var(--green)}.rp .scope .doesnt h3:not(:where([data-hl="4"])),.rp .scope .doesnt h2:where([data-hl="3"]){color:var(--amber)}.rp .scope ul{margin:0;padding-left:18px}.rp .scope li{font-size:.9rem;margin-bottom:6px}.rp .cta{background:linear-gradient(155deg,var(--navy) 0%,var(--navy-deep) 100%);color:#fff;border-radius:14px;padding:24px 26px;margin:28px 0 8px}.rp .cta h3:not(:where([data-hl="4"])),.rp .cta h2:where([data-hl="3"]){margin:0 0 10px;font-size:1.15rem;color:#fff}.rp .cta p,.rp .cta li{color:#cbd9ea;font-size:.95rem}.rp .cta p{margin:0 0 10px}.rp .cta ul{margin:6px 0 12px}.rp .cta strong,.rp .cta em{color:#fff}.rp .cta a.btn{display:inline-block;background:var(--green);color:#fff;font-weight:700;font-size:.9rem;padding:10px 18px;border-radius:10px;margin-top:4px}.rp .cta a.btn:hover{background:var(--green-bright);text-decoration:none}.rp .cta .soon{color:#e9b949;font-weight:700;font-size:.82rem;letter-spacing:.04em;text-transform:uppercase;margin-bottom:6px}.rp .checklist{background:var(--card);border:1px solid var(--rule);border-radius:12px;padding:18px 22px 8px;margin:16px 0}.rp .checklist ol{margin:0 0 8px;padding-left:22px}.rp .checklist li{margin-bottom:10px}.rp .note{background:var(--card-alt);border:1px solid var(--rule);border-radius:10px;padding:12px 16px;margin:12px 0;font-size:.88rem;color:#3d4d45}.rp .note b{color:var(--navy)}.rp .disclose{background:#f4f6fb;border:1px solid #d5dcea;border-left:4px solid var(--navy);border-radius:12px;padding:20px 24px;margin:22px 0}.rp .disclose h2:not(:where([data-hl="3"])){margin:0 0 10px;font-size:1.1rem;color:var(--navy)}.rp .disclose p,.rp .disclose li{font-size:.92rem}.rp .pending{background:#fff4d6;color:#7a5a00;border:1px dashed #d9a92b;border-radius:4px;padding:0 4px;font-weight:600;font-size:.92em}.rp .faq details{border:1px solid var(--rule);border-radius:10px;background:var(--card);padding:12px 18px;margin:10px 0}.rp .faq summary{font-weight:700;color:var(--navy);cursor:pointer}.rp .faq details p{margin:10px 0 2px;font-size:.94rem}.rp .citebox{background:var(--navy-deep);color:#dbe8f5;border-radius:10px;padding:14px 18px;margin:12px 0;font-family:SF Mono,Menlo,Consolas,monospace;font-size:.84rem;line-height:1.6;word-break:break-word}.rp .changelog td:first-child{white-space:nowrap;font-weight:700}.rp .refs ol{font-size:.84rem;padding-left:26px}.rp .refs li{word-break:break-word}.rp .refs .ret{color:var(--mut);font-size:.78rem}.rp h2:not(:where([data-hl="3"])).sec{scroll-margin-top:12px}@media(max-width:640px){.rp .paperwrap{padding:0 16px 60px}.rp .sitebar .inner{padding:12px 16px}.rp .sitebar nav a{margin-left:12px;font-size:.8rem}.rp .keyfindings{padding:18px}.rp .cta{padding:20px 18px}.rp .disclose{padding:18px}}.rp .legalgate{background:#fdecea;border:2px solid #c0392b;border-radius:12px;padding:18px 22px;margin:0 0 22px;color:#5b1a13}.rp .legalgate h2:not(:where([data-hl="3"])){margin:0 0 6px;font-size:1.05rem;color:#a93226;letter-spacing:.02em;text-transform:uppercase}.rp .legalgate p{margin:0 0 8px;font-size:.9rem}.rp .legalgate ol{margin:0;padding-left:22px}.rp .legalgate li{font-size:.9rem;margin-bottom:6px}.rp .legalgate .st{display:inline-block;background:#c0392b;color:#fff;font-weight:700;font-size:.72rem;border-radius:4px;padding:0 6px;margin-left:4px}.rp .flag{background:#fff4d6;color:#7a5a00;font-weight:600;font-size:.85em;border-radius:4px;padding:0 4px}.rp .lvl td:first-child{font-weight:800;color:var(--navy);text-align:center}.rp .rule td:first-child{font-weight:700;white-space:nowrap;color:var(--navy)}.rp .appx{border-top:3px solid var(--navy);margin-top:40px;padding-top:6px}.rp .prop{display:inline-block;background:#f3e8ff;color:#6b3fa0;font-weight:700;font-size:.72rem;border-radius:4px;padding:0 5px}.rp .tblwrap{overflow-x:auto}.rp .figure .frame{background:#fff}.rp .figure img{height:auto}