:root{--ink:#132d3e;--muted:#607482;--navy:#143c56;--blue:#1f6479;--teal:#4d8c8e;--gold:#bb8129;--paper:#f4f6f7;--line:#dce4e8;--white:#fff;--ok:#17734c;--danger:#a23b34;--shadow:0 15px 42px rgba(18,46,65,.08)}
*{box-sizing:border-box}html{scroll-behavior:smooth}body{margin:0;background:var(--paper);color:var(--ink);font-family:"SimSun","宋体",serif;line-height:1.65}button,input,select{font:inherit}a{color:inherit;text-decoration:none}.shell{width:min(1200px,92vw);margin:auto}.topbar{position:sticky;top:0;z-index:20;color:#fff;background:rgba(15,43,61,.96);border-bottom:1px solid rgba(255,255,255,.13);backdrop-filter:blur(12px)}.nav-shell{min-height:68px;display:flex;align-items:center;gap:34px}.brand{display:flex;align-items:center;gap:11px;font-weight:700}.brand-mark{width:35px;height:35px;border:1px solid rgba(255,255,255,.4);border-radius:9px;display:grid;place-items:center;color:#f0c97e;font:700 21px Georgia,serif}nav{display:flex;gap:26px;margin-left:auto;font-size:14px;color:#cddbe2}nav a{padding:22px 0 18px;border-bottom:3px solid transparent}nav a:hover,nav a.active{color:#fff;border-color:#d4a14a}.nav-cta{padding:8px 14px;border:1px solid rgba(255,255,255,.35);border-radius:7px;font-size:13px}.hero{padding:80px 0 102px;color:#fff;background:radial-gradient(circle at 80% 10%,rgba(77,140,142,.36),transparent 30%),linear-gradient(125deg,#102d42,#1a526c 64%,#28727a)}.hero-grid{display:grid;grid-template-columns:1.35fr .65fr;gap:64px;align-items:center}.eyebrow{display:inline-flex;align-items:center;gap:9px;padding:6px 12px;border:1px solid rgba(255,255,255,.25);border-radius:99px;color:#dbe9ed;font-size:13px}.live-dot{width:8px;height:8px;border-radius:50%;background:#70d3a4;box-shadow:0 0 0 5px rgba(112,211,164,.12)}.hero h1{font-size:clamp(36px,5vw,58px);line-height:1.2;margin:20px 0 17px;letter-spacing:-.03em}.hero p{max-width:720px;margin:0;color:#d5e4e9;font-size:17px}.hero-actions{display:flex;gap:12px;margin-top:28px}.button{display:inline-flex;align-items:center;justify-content:center;min-height:42px;padding:8px 17px;border:1px solid transparent;border-radius:8px;cursor:pointer;font-weight:700}.button.primary{background:#d39b3e;color:#152d3e}.button.ghost{border-color:rgba(255,255,255,.38);color:#fff;background:transparent}.button.subtle{border-color:#ccd8dd;background:#fff;color:var(--navy)}button:disabled{opacity:.48;cursor:not-allowed}.hero-proof{padding:26px;border:1px solid rgba(255,255,255,.2);border-radius:18px;background:rgba(255,255,255,.08);box-shadow:0 24px 65px rgba(0,0,0,.14)}.hero-proof>span{color:#bdd1d9;font-size:13px}.hero-proof>strong{display:block;margin:4px 0 18px;font:700 42px Georgia,serif}.hero-proof>div{display:flex;justify-content:space-between;padding:10px 0;border-top:1px solid rgba(255,255,255,.13);color:#dae7eb;font-size:13px}.hero-proof b{font-family:"Times New Roman",serif}.raised{margin-top:-43px;padding-bottom:70px}.metric-grid{display:grid;grid-template-columns:repeat(4,1fr);gap:15px}.metric-card,.architecture-card,.chart-card,.verify-grid article,.search-panel,.result-column,.analysis-card,.export-panel{background:#fff;border:1px solid var(--line);border-radius:15px;box-shadow:var(--shadow)}.metric-card{padding:20px 22px}.metric-card span{font-size:13px;color:var(--muted)}.metric-card strong{display:block;font:700 30px "Times New Roman",serif;color:var(--navy)}.metric-card small{color:#85959f}.content-section{padding-top:70px}.section-heading{display:flex;justify-content:space-between;align-items:end;gap:26px;margin-bottom:20px}.section-heading h2{margin:4px 0 0;font-size:29px}.section-heading p{max-width:460px;margin:0;color:var(--muted)}.kicker{color:var(--blue);font:700 12px Consolas,monospace;letter-spacing:.09em}.architecture-card{padding:16px}.architecture-card img{display:block;width:100%;border-radius:8px}.filter-bar{display:grid;grid-template-columns:1fr 1fr 1fr auto auto;gap:12px;align-items:end;margin-bottom:15px;padding:17px;background:#eaf0f2;border:1px solid #d5e0e4;border-radius:12px}.filter-bar label,.search-panel label,.graph-tools label,.similarity-tools label{font-size:12px;color:var(--muted)}input,select{width:100%;min-height:42px;margin-top:5px;padding:8px 11px;border:1px solid #cbd7dc;border-radius:7px;background:#fff;color:var(--ink)}.status-line{margin:10px 0 15px;color:var(--muted);font-size:13px}.chart-grid{display:grid;grid-template-columns:repeat(2,1fr);gap:16px}.chart-card{padding:20px}.chart-card h3{margin:0;font-size:18px}.chart-card p{margin:2px 0 14px;color:var(--muted);font-size:12px}.chart{height:260px;display:flex;align-items:flex-end;gap:7px;padding:16px 4px 28px;border-bottom:1px solid #bfcbd1;position:relative}.bar-item{position:relative;flex:1;min-width:4px;max-width:38px;height:var(--height);background:linear-gradient(#1f6479,#183f5a);border-radius:4px 4px 0 0;cursor:pointer}.bar-item:hover{background:#bb8129}.bar-item span{position:absolute;left:50%;bottom:-24px;transform:translateX(-50%);width:74px;overflow:hidden;text-overflow:ellipsis;white-space:nowrap;text-align:center;font:10px "Times New Roman",serif;color:#526875}.bar-item i{display:none;position:absolute;z-index:4;left:50%;bottom:calc(100% + 7px);transform:translateX(-50%);padding:5px 7px;background:#102d42;color:#fff;border-radius:5px;font:normal 11px "Times New Roman",serif;white-space:nowrap}.bar-item:hover i{display:block}.evidence-box{margin-top:15px;border:1px solid #d9e2e6;border-radius:9px;background:#fafcfc}.evidence-box summary{padding:10px 13px;cursor:pointer;color:var(--blue);font-size:13px}.evidence-box pre{margin:0;padding:12px 14px;border-top:1px solid #e3e9ec;white-space:pre-wrap;word-break:break-word;font:12px/1.55 Consolas,monospace;color:#314d5e}.verify-grid{display:grid;grid-template-columns:repeat(3,1fr);gap:15px}.verify-grid article{padding:23px}.db-badge{width:41px;height:41px;display:grid;place-items:center;border-radius:10px;background:var(--navy);color:#fff;font:700 20px Georgia,serif}.verify-grid h3{margin:13px 0 2px}.verify-grid strong{font:700 29px "Times New Roman",serif;color:var(--blue)}.verify-grid p{margin:0;color:var(--muted);font-size:13px}footer{padding:36px 0;background:#102b3d;color:#aec0c9}.footer-grid{display:flex;justify-content:space-between}.footer-grid b{display:block;color:#fff}.footer-grid small{font-family:"Times New Roman",serif}.footer-note{align-self:center}.workspace{padding:55px 0 75px}.workspace-head{display:flex;align-items:end;justify-content:space-between;gap:25px;margin-bottom:22px}.workspace-head h1{margin:4px 0 1px;font-size:37px}.workspace-head p{margin:0;color:var(--muted)}.step-strip{display:flex;gap:4px}.step-strip span{padding:6px 10px;border-radius:5px;background:#e2e8eb;color:#6b7c86;font-size:12px}.step-strip span.on{background:var(--navy);color:#fff}.search-panel{padding:18px}.search-panel form{display:grid;grid-template-columns:145px 1fr auto;gap:11px;align-items:end}.search-panel form label{grid-row:1}.search-panel form select,.search-panel form input{grid-row:2}.search-panel form button{grid-row:2}.search-panel .grow{grid-column:2}.example-line{margin-top:12px;color:var(--muted);font-size:12px}.example-line button,.text-button{border:0;background:none;color:var(--blue);cursor:pointer;text-decoration:underline}.message{margin:14px 0;padding:11px 14px;border:1px solid #ebc9c4;border-radius:8px;background:#fff2f0;color:var(--danger)}.workspace-grid{display:grid;grid-template-columns:340px 1fr;gap:18px;margin-top:18px;align-items:start}.result-column{position:sticky;top:86px;max-height:calc(100vh - 106px);padding:17px;overflow:auto}.column-head{display:flex;justify-content:space-between;align-items:center;margin-bottom:12px}.column-head strong{margin-left:6px;color:var(--blue);font-family:"Times New Roman",serif}.search-results{display:grid;gap:9px}.result-item{width:100%;padding:12px;border:1px solid #dce4e8;border-radius:9px;background:#fff;text-align:left;cursor:pointer}.result-item:hover,.result-item.active{border-color:#498298;background:#f0f6f7}.result-item strong{display:block;margin-bottom:4px;font-size:14px}.result-item span{display:block;color:var(--muted);font-size:11px}.empty-state{display:grid;place-items:center;min-height:150px;padding:22px;border:1px dashed #cbd7dc;border-radius:9px;color:#7d8e97;text-align:center}.empty-state.large{min-height:220px}.analysis-column{display:grid;gap:18px}.analysis-card{padding:22px}.analysis-head{display:flex;justify-content:space-between;align-items:center;gap:20px}.analysis-head>div{display:flex;align-items:center;gap:10px}.analysis-head h2{margin:0;font-size:21px}.step-number{display:grid;place-items:center;width:34px;height:34px;border-radius:8px;background:#e8eff1;color:var(--blue);font:700 12px Consolas,monospace}.source-pill{padding:4px 9px;border-radius:99px;background:#eef4ef;color:var(--ok);font-size:11px}.paper-title{font-size:23px;line-height:1.4;margin:0 0 12px}.paper-meta{display:flex;flex-wrap:wrap;gap:7px;margin-bottom:14px}.paper-meta span{padding:4px 8px;border-radius:5px;background:#edf2f4;color:#526975;font-size:12px}.paper-detail-grid{display:grid;grid-template-columns:1fr 1fr;gap:12px}.paper-field{padding:12px;border-left:3px solid #bfcdd3;background:#f8fafb}.paper-field b{display:block;font-size:12px;color:var(--muted)}.paper-field span{font-size:13px}.abstract{margin-top:13px;color:#3d5361}.section-help{margin:8px 0 12px;color:var(--muted);font-size:12px}.graph-tools,.similarity-tools{display:flex!important;align-items:end!important;gap:9px!important}.graph-tools select{min-width:82px}.graph-stage{min-height:460px;overflow:hidden;background:radial-gradient(circle,#fff,#f7fafb);position:relative}.graph-stage svg{width:100%;height:460px}.graph-edge{stroke:#9dafb8;stroke-opacity:.58}.graph-edge-label{font:9px "Times New Roman",serif;fill:#687b85}.graph-node{cursor:pointer}.graph-node circle{stroke:#fff;stroke-width:2}.graph-node text{font:11px "Times New Roman",serif;fill:#193345;pointer-events:none}.node-inspector{margin-top:10px;padding:10px 12px;border-left:3px solid var(--gold);background:#fff9ee;font-size:12px}.similarity-tools input{width:80px}.similarity-list{display:grid;gap:9px;margin-top:15px}.similarity-row{display:grid;grid-template-columns:55px 1fr 80px;gap:12px;align-items:center;padding:12px;border:1px solid #e0e7ea;border-radius:9px}.rank{font:700 22px Georgia,serif;color:#9a6c25}.similarity-row strong{display:block}.similarity-row small{color:var(--muted)}.score{text-align:right;font:700 18px "Times New Roman",serif;color:var(--blue)}.export-panel{display:flex;justify-content:space-between;align-items:center;gap:25px;padding:20px 22px;background:#153d55;color:#fff}.export-panel h2{margin:0}.export-panel p{margin:2px 0;color:#ccdae0;font-size:12px}.export-panel>div:last-child{display:flex;gap:9px}.compact{box-shadow:none}
@media(max-width:900px){nav{display:none}.hero-grid,.workspace-grid{grid-template-columns:1fr}.hero-proof{display:none}.metric-grid{grid-template-columns:repeat(2,1fr)}.filter-bar{grid-template-columns:1fr 1fr}.chart-grid{grid-template-columns:1fr}.result-column{position:static;max-height:none}.workspace-head{align-items:start;flex-direction:column}.step-strip{display:none}.analysis-head{align-items:start;flex-direction:column}.export-panel{align-items:start;flex-direction:column}}
@media(max-width:600px){.nav-cta{margin-left:auto}.hero{padding:55px 0 78px}.raised{margin-top:-28px}.metric-grid,.verify-grid{grid-template-columns:1fr}.section-heading{align-items:start;flex-direction:column}.filter-bar,.search-panel form{grid-template-columns:1fr}.search-panel form label,.search-panel form select,.search-panel form input,.search-panel form button{grid-column:1;grid-row:auto}.search-panel .grow{grid-column:1}.paper-detail-grid{grid-template-columns:1fr}.graph-tools,.similarity-tools{flex-wrap:wrap}.similarity-row{grid-template-columns:38px 1fr}.score{grid-column:2}.footer-grid{flex-direction:column;gap:10px}}
.graph-edge{stroke-opacity:.42}.graph-node:hover circle{stroke:#d39b3e;stroke-width:3}.graph-legend text{font:9px "Times New Roman",serif;fill:#607482}