[hidden]{display:none!important}
:root{--acc:#a4161a;--acc-soft:#a4161a14;--ok:#1f7a4d;--bad:#b42318;--r:10px;
 --sans:Inter,"Noto Sans SC","PingFang SC","Microsoft YaHei",system-ui,sans-serif;--mono:"JetBrains Mono",ui-monospace,SFMono-Regular,Menlo,monospace}
[data-theme=light]{--bg:#ffffff;--bg2:#f7f7f5;--card:#ffffff;--line:#e7e5e0;--line2:#d6d3cc;--fg:#1a1a1a;--fg2:#3d3d3d;--mut:#6b6b6b;--bar:#a4161a;--bar2:#c9c4ba}
[data-theme=dark]{--bg:#111214;--bg2:#17181b;--card:#17181b;--line:#2a2b30;--line2:#3a3b41;--fg:#ececec;--fg2:#cfcfcf;--mut:#9a9a9a;--acc:#e5675f;--acc-soft:#e5675f1f;--bar:#e5675f;--bar2:#55565c}
*{box-sizing:border-box}html{scroll-behavior:smooth;overflow-x:hidden}
body{margin:0;background:var(--bg);color:var(--fg);font:15px/1.65 var(--sans);-webkit-font-smoothing:antialiased;overflow-x:hidden}
a{color:var(--acc);text-decoration:none}a:hover{text-decoration:underline}
.wrap{max-width:1160px;margin:0 auto;padding:0 24px}.narrowc{max-width:820px;margin-left:auto;margin-right:auto}
.mono{font-family:var(--mono);font-size:12.5px}
/* nav */
.top{position:sticky;top:0;z-index:20;background:color-mix(in srgb,var(--bg) 92%,transparent);backdrop-filter:saturate(1.4) blur(8px);border-bottom:1px solid var(--line)}
.nav{display:flex;align-items:center;gap:28px;height:54px}
.brand{font-weight:700;color:var(--fg);letter-spacing:-.01em;font-size:16px}.brand:hover{text-decoration:none}
.links{display:flex;gap:22px;flex:1}.links a{color:var(--mut);font-size:13.5px;font-weight:500}.links a:hover{color:var(--fg);text-decoration:none}
.tools{display:flex;gap:8px;align-items:center}
.tbtn{height:28px;min-width:32px;padding:0 9px;border:1px solid var(--line);background:var(--card);color:var(--fg2);border-radius:6px;cursor:pointer;font:500 12px var(--sans);display:inline-grid;place-items:center}
.tbtn:hover{border-color:var(--line2)}
.pill{font-size:11.5px;color:var(--mut);display:inline-flex;align-items:center;gap:6px;white-space:nowrap}.pill::before{content:"";width:7px;height:7px;border-radius:50%;background:var(--line2)}.pill.on::before{background:#2e9d62}
/* paper header */
.paper{padding:72px 0 28px;text-align:center}
.venue{font-size:12px;letter-spacing:.12em;text-transform:uppercase;color:var(--mut);margin:0 0 18px;font-weight:600}
.paper h1{font-size:clamp(28px,4vw,44px);line-height:1.22;font-weight:700;letter-spacing:-.02em;margin:0 0 14px}
.subtitle{font-size:clamp(15px,1.7vw,18px);color:var(--fg2);margin:0 auto 18px;max-width:720px;line-height:1.5}
.authors{font-size:15px;font-weight:600;margin:0 0 22px}
.plinks{display:flex;flex-wrap:wrap;gap:8px;justify-content:center}
.pl{display:inline-flex;align-items:center;gap:7px;height:36px;padding:0 15px;border-radius:999px;background:var(--fg);color:var(--bg);font-size:13.5px;font-weight:500;transition:opacity .15s}
.pl:hover{opacity:.85;text-decoration:none}.pl svg{width:15px;height:15px;fill:none;stroke:currentColor;stroke-width:2;stroke-linecap:round;stroke-linejoin:round}
/* teaser */
.teaser{padding:28px 0 8px}
.teasergrid{display:grid;grid-template-columns:minmax(0,1.5fr) minmax(0,1fr);gap:40px;align-items:start}
.fig{margin:0}.figbody{border:1px solid var(--line);border-radius:var(--r);padding:16px 18px 8px;background:var(--card)}
figcaption,.caption{font-size:13px;color:var(--mut);margin-top:10px;line-height:1.55}figcaption b{color:var(--fg);font-weight:600}
.stats{display:grid;grid-template-columns:1fr 1fr;border:1px solid var(--line);border-radius:var(--r);overflow:hidden}
.stat{padding:18px 18px;border-right:1px solid var(--line);border-bottom:1px solid var(--line)}.stat:nth-child(2n){border-right:0}.stat:nth-last-child(-n+2){border-bottom:0}
.stat b{display:block;font-size:30px;font-weight:600;letter-spacing:-.02em;line-height:1.15}.stat span{color:var(--mut);font-size:12.5px}
.banner{margin-top:14px;font-size:12.5px;color:var(--mut);line-height:1.6;padding-left:12px;border-left:2px solid var(--line2)}
/* sections */
section{padding:56px 0 8px}
.secttl{font-size:24px;font-weight:700;letter-spacing:-.015em;margin:0 0 10px}
.sechead{display:flex;align-items:baseline;gap:14px;flex-wrap:wrap;border-bottom:1px solid var(--line);padding-bottom:10px;margin-bottom:14px}.sechead .secttl{margin:0}
.sub{color:var(--mut);font-size:13px}.sub3{font-size:15px;font-weight:600;margin:26px 0 8px}
.abs{font-size:15.5px;line-height:1.8;color:var(--fg2);text-align:justify;margin:0}
.findings{margin:0;padding-left:22px;color:var(--fg2)}.findings li{margin:6px 0;padding-left:4px}.findings b{color:var(--fg)}
/* controls */
.lbbar{display:flex;justify-content:space-between;align-items:center;gap:12px;flex-wrap:wrap;margin-bottom:6px}
.tabs,.viewtog{display:inline-flex;border:1px solid var(--line);border-radius:8px;padding:3px;gap:2px;background:var(--bg2)}
.tabs button,.viewtog button{border:0;background:none;color:var(--mut);padding:5px 14px;border-radius:6px;cursor:pointer;font:500 13px var(--sans)}
.tabs button.on,.viewtog button.on{background:var(--card);color:var(--fg);box-shadow:0 1px 2px rgba(0,0,0,.08),0 0 0 1px var(--line)}
.ctl{display:flex;flex-wrap:wrap;gap:10px 16px;align-items:center;margin:12px 0;font-size:13px;color:var(--mut)}
.ctl label{display:inline-flex;align-items:center;gap:8px}
select,.search input{height:32px;background:var(--card);color:var(--fg);border:1px solid var(--line);border-radius:6px;padding:0 10px;font:13px var(--sans);max-width:240px}
.search input{width:200px}select:focus,input:focus{outline:2px solid var(--acc-soft);border-color:var(--acc)}
.chk input{accent-color:var(--acc)}
.btn{display:inline-flex;align-items:center;gap:6px;height:34px;padding:0 14px;border-radius:6px;border:1px solid var(--line2);background:var(--card);color:var(--fg);font:500 13.5px var(--sans);cursor:pointer;transition:background .15s,border-color .15s}
.btn:hover{background:var(--bg2)}.btn.pri{background:var(--fg);color:var(--bg);border-color:var(--fg)}.btn.pri:hover{opacity:.88}
.btn.sm{height:30px;padding:0 12px;font-size:12.5px}.btn:disabled{opacity:.4;cursor:not-allowed}
/* tables */
.tablewrap{overflow:auto;border:1px solid var(--line);border-radius:var(--r);background:var(--card);max-height:640px}
table{width:100%;border-collapse:separate;border-spacing:0;font-size:13.5px;min-width:820px}
th,td{padding:11px 12px;text-align:right;border-bottom:1px solid var(--line);white-space:nowrap}
thead th{position:sticky;top:0;z-index:2;background:var(--bg2);font-size:12px;font-weight:600;color:var(--mut);cursor:pointer;user-select:none;letter-spacing:.01em}
th.on{color:var(--fg)}th.on::after{content:" ▾";font-size:10px}th.l,td.l{text-align:left}
tbody tr{cursor:pointer;transition:background .1s}tbody tr:hover td{background:var(--bg2)}tbody tr:last-child td{border-bottom:0}
tbody tr.sel td{background:var(--acc-soft)}
.rk{color:var(--mut);width:40px;text-align:center!important}.mname{font-weight:600}.rt{color:var(--mut);font-size:11.5px;display:block;margin-top:1px}
.tag{display:inline-block;font-size:10.5px;padding:0 6px;line-height:17px;border-radius:4px;margin-left:6px;vertical-align:1px;border:1px solid var(--line2);color:var(--mut);font-weight:500}
.tag.com{color:#2563eb;border-color:#93c5fd}.tag.syn{color:#b45309;border-color:#fcd34d}
.pend{color:var(--mut);font-size:12px}
.cellbar{display:inline-flex;align-items:center;gap:10px;justify-content:flex-end}
.bar{display:inline-block;width:64px;height:6px;border-radius:3px;background:var(--line);position:relative;overflow:hidden;vertical-align:middle}
.bar i{position:absolute;inset:0 auto 0 0;background:var(--bar);border-radius:3px}
.ci{color:var(--mut);font-size:11px;display:block}.bad{color:var(--bad)}
.medal{font-weight:600;color:var(--fg)}
/* detail */
.detail{margin-top:18px;border:1px solid var(--line);border-radius:var(--r);padding:22px;display:grid;grid-template-columns:340px 1fr;gap:28px;background:var(--card)}
.detail h3{margin:0;font-size:18px}.kvh{font-size:12px;font-weight:600;color:var(--mut);text-transform:uppercase;letter-spacing:.06em;margin:16px 0 8px}
.kv{display:grid;grid-template-columns:repeat(auto-fill,minmax(130px,1fr));border-top:1px solid var(--line);border-left:1px solid var(--line)}
.kv div{padding:10px 12px;border-right:1px solid var(--line);border-bottom:1px solid var(--line)}.kv b{display:block;font-size:17px;font-weight:600}.kv span{font-size:11.5px;color:var(--mut)}
.radar text{fill:var(--fg2);font-size:11px}.radar .grid{stroke:var(--line);fill:none}.radar .ar{fill:var(--acc-soft);stroke:var(--acc);stroke-width:1.6}.radar .ref{fill:none;stroke:var(--mut);stroke-dasharray:3 3}
/* charts */
.chartwrap{border:1px solid var(--line);border-radius:var(--r);padding:18px;background:var(--card)}.charthead{font-weight:600;font-size:14px;margin-bottom:8px}
svg text{font-family:var(--sans)}
.bars .gl,.sc .gl{stroke:var(--line)}.bars .ax,.sc .ax{fill:var(--mut);font-size:10.5px}
.bars .lb{fill:var(--fg2);font-size:12px}.bars .vl{fill:var(--fg);font-size:11.5px;font-weight:600}.bars .pd{fill:var(--mut);font-size:11px}
.bars .bm{fill:var(--bar)}.bars .bb{fill:var(--bar2)}.bars .ci,.sc .ci{stroke:var(--fg2);stroke-width:1.2}
.sc .pt{fill:var(--acc)}.sc .pb{fill:var(--card);stroke:var(--mut);stroke-width:1.5}.sc .pl2{fill:var(--fg2);font-size:11px}.sc .at{fill:var(--mut);font-size:11px}
/* task grid */
table.grid{font-size:12.5px;min-width:0}table.grid th.vm{height:116px;vertical-align:bottom;padding:6px 4px}
table.grid th.vm span{writing-mode:vertical-rl;transform:rotate(180deg);display:inline-block;max-height:106px;overflow:hidden;text-overflow:ellipsis;font-weight:500}
td.hc{text-align:center;font-size:11.5px;min-width:46px;cursor:pointer;color:var(--fg);background:color-mix(in srgb,var(--heat) calc(var(--s)*0.42%),transparent);font-variant-numeric:tabular-nums}
td.hc.pass{font-weight:600}td.hc:hover{outline:1.5px solid var(--fg);outline-offset:-2px}td.hc.na{background:none;color:var(--line2);cursor:default}
.dd{font-size:11px;color:var(--mut)}.dd.hard{color:var(--bad)}
.pager{display:flex;gap:4px;justify-content:center;margin:14px 0;color:var(--mut)}
.pager button{min-width:32px;height:30px;border-radius:6px;border:1px solid var(--line);background:var(--card);color:var(--fg);cursor:pointer;font:12.5px var(--sans)}.pager button.on{background:var(--fg);color:var(--bg);border-color:var(--fg)}
/* traces */
.split{display:grid;grid-template-columns:1fr 1fr;gap:14px}
.trace{border:1px solid var(--line);border-radius:var(--r);padding:14px;min-height:280px;max-height:520px;overflow:auto;font-size:12.5px;background:var(--card)}
.trace h3{margin:0 0 4px;font-size:14px}.trace .sub{font-size:12px}
.ev{margin:6px 0;padding:7px 10px;border-radius:6px;background:var(--bg2);white-space:pre-wrap;word-break:break-word;font-family:var(--mono);font-size:11.5px;line-height:1.55;color:var(--fg2)}
.ev .k{display:inline-block;min-width:54px;font-family:var(--sans);font-size:10.5px;font-weight:600;text-transform:uppercase;letter-spacing:.05em;color:var(--mut)}
.ev.prompt{font-family:var(--sans);font-size:12.5px;background:none;border:1px solid var(--line)}
.ev.call{border-left:2px solid var(--fg2)}.ev.blocked{border-left:2px solid var(--bad);color:var(--bad)}.ev.verdict{border:1px solid var(--line2);background:var(--card);font-family:var(--sans)}
.hl{color:var(--acc)}
.votebar{display:flex;gap:8px;justify-content:center;flex-wrap:wrap;margin:16px 0 4px}.votebar .btn{min-width:110px;justify-content:center}
.notice{padding:10px 12px;border-radius:6px;background:var(--bg2);color:var(--mut);font-size:13px;margin:8px 0}
.tablewrap.narrow{max-width:520px;margin-top:12px}.tablewrap.narrow table{min-width:0}.tablewrap.narrow:has(table:empty){display:none}
/* method */
.mgrid{display:grid;grid-template-columns:repeat(4,1fr);gap:28px}.mcol h3{font-size:14.5px;margin:0 0 6px}.mcol p{margin:0;color:var(--fg2);font-size:13.5px;line-height:1.7}
.fig.vid{margin-top:32px;max-width:760px}video{width:100%;max-height:440px;border-radius:var(--r);border:1px solid var(--line);background:#000;display:block}
/* cards/forms */
.cards{display:grid;grid-template-columns:1.2fr 1fr;gap:20px}
.card{border:1px solid var(--line);border-radius:var(--r);padding:20px 22px;background:var(--card)}.card h3{margin:0 0 10px;font-size:15px}.card p{color:var(--fg2);font-size:13.5px;margin:0 0 8px}.mt{margin-top:22px!important}
pre{background:var(--bg2);border:1px solid var(--line);border-radius:6px;padding:12px 14px;overflow-x:auto;font:12px/1.6 var(--mono);margin:8px 0}
.form{display:grid;gap:12px;margin-bottom:10px}.form label{display:grid;gap:5px;font-size:12px;color:var(--mut);font-weight:500}
.form input,.form select{height:36px;background:var(--card);color:var(--fg);border:1px solid var(--line2);border-radius:6px;padding:0 10px;font:13.5px var(--sans);max-width:none}
.row2{display:grid;grid-template-columns:1fr 1fr;gap:12px}.hp{position:absolute;left:-9999px}
details summary{cursor:pointer;color:var(--mut);font-size:13px;margin:8px 0}
.news{list-style:none;padding:0;margin:0}.news li{display:grid;grid-template-columns:96px 1fr;gap:10px;padding:8px 0;border-bottom:1px solid var(--line);font-size:13.5px;color:var(--fg2)}.news time{color:var(--mut);font-size:12.5px}
.bib{position:relative}.bib .btn{position:absolute;right:10px;top:10px}
footer{margin-top:72px;border-top:1px solid var(--line);color:var(--mut);font-size:12.5px;padding:28px 0 44px;background:var(--bg2)}
@media(max-width:980px){.teasergrid,.cards{grid-template-columns:minmax(0,1fr)}.mgrid{grid-template-columns:1fr 1fr}.detail{grid-template-columns:minmax(0,1fr)}}
@media(max-width:720px){.links{display:none}.split,.row2,.mgrid{grid-template-columns:minmax(0,1fr)}.paper{padding:44px 0 16px}.search input{width:150px}.wrap{padding:0 16px}}
@media(prefers-reduced-motion:reduce){*{transition:none!important}}
.wh .wb{stroke:var(--line)}.wh .wl{stroke:var(--fg2);stroke-width:1.3}.wh .wd{fill:var(--acc)}
.paper h1{text-wrap:balance;max-width:860px;margin-left:auto;margin-right:auto}.subtitle{text-wrap:balance}
td,.stat b,.kv b,.ci,.bars,.sc,time,.pager{font-variant-numeric:tabular-nums}
.kv{border:0;gap:8px}.kv div{border:1px solid var(--line);border-radius:8px;background:var(--bg2)}
:root{--heat:#2f6db5}[data-theme=dark]{--heat:#5b9bea}
html[lang=en] .paper h1{font-size:clamp(26px,3.3vw,38px);max-width:900px}
@media(max-width:720px){.pl{height:32px;padding:0 12px;font-size:12.5px}.plinks{gap:6px}.paper h1{font-size:26px}}