:root{color-scheme:light;--ink:#253046;--muted:#566176;--blue:#285cad;--teal:#117d78;--line:#dce2eb;--surface:#f6f8fb}
*{box-sizing:border-box}html{scroll-behavior:smooth}body{margin:0;color:var(--ink);background:#fff;font-family:-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,Helvetica,Arial,sans-serif;font-size:17px;line-height:1.75;-webkit-font-smoothing:antialiased}a{color:var(--blue);text-underline-offset:4px}a:hover{text-decoration:underline}a:focus-visible,button:focus-visible,select:focus-visible,[tabindex]:focus-visible{outline:3px solid var(--blue);outline-offset:5px}button,select{font:inherit}button{cursor:pointer}[hidden]{display:none!important}svg{display:block}img{display:block;max-width:100%;height:auto}p{margin:0 0 18px}h1,h2,h3{line-height:1.3}h2{margin:0 0 26px;font-size:29px;letter-spacing:-.025em;text-align:center}h3{font-size:20px;margin:0 0 12px}figure{margin:0}code{font-size:.88em;background:#eef1f7;padding:2px 5px;border-radius:3px}.sr-only{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap;border:0}
.navigation{max-width:1120px;margin:auto;padding:20px 28px;display:flex;align-items:center;justify-content:space-between;gap:20px;font-size:14px}.navigation a{text-decoration:none}.wordmark{font-weight:750;letter-spacing:.025em}.nav-links{display:flex;gap:24px}.nav-links a{color:var(--muted)}.skip-link{position:absolute;left:16px;top:-100px;padding:8px 16px;background:white;z-index:2}.skip-link:focus{top:12px}
.hero{max-width:1100px;margin:auto;padding:48px 24px 44px;text-align:center}h1{margin:0;font-size:clamp(32px,4.4vw,48px);font-weight:750;line-height:1.2;letter-spacing:-.035em}h1 span{color:var(--blue)}.tagline{margin:20px 0 0;color:var(--muted);font-size:20px}.authors{margin:30px auto 0;color:var(--blue);font-size:19px;max-width:950px}.author-row{display:flex;flex-wrap:wrap;justify-content:center;gap:6px 28px;margin:0 0 4px}.author-row span{white-space:nowrap}.affiliation{font-size:16px;color:var(--muted);margin:16px 0 28px}.resource-links{display:flex;justify-content:center;flex-wrap:wrap;gap:12px}.resource-button{display:inline-flex;align-items:center;justify-content:center;gap:9px;padding:8px 18px;border:1px solid #363636;border-radius:24px;background:#363636;color:#fff;font-size:15px;font-weight:550;line-height:1.6;text-decoration:none}.resource-button:hover{background:#202b3d;text-decoration:none}.resource-button svg{width:18px;height:18px;fill:none;stroke:currentColor;stroke-width:1.7;stroke-linecap:round;stroke-linejoin:round}
.wide{max-width:1120px;margin-left:auto;margin-right:auto}.teaser{padding:8px 24px 48px}.teaser img{width:100%}.teaser a,.method-figure a{display:block}figcaption{max-width:850px;margin:20px auto 0;color:var(--muted);text-align:center;font-size:14px;line-height:1.65}figcaption strong{color:var(--ink)}.section{padding:58px 24px;scroll-margin-top:20px}.band{background:var(--surface)}.prose{max-width:800px;margin:auto}.eyebrow{margin:0 0 12px;text-align:center;text-transform:uppercase;letter-spacing:.12em;font-size:11px;font-weight:700;color:var(--teal)}.highlights{display:grid;grid-template-columns:repeat(2,1fr);margin-top:36px;border-top:1px solid var(--line);padding-top:28px;text-align:center}.highlights>div+div{border-left:1px solid var(--line)}.highlights strong{font-size:38px;line-height:1.2;color:var(--blue);letter-spacing:-.045em}.highlights strong span{font-size:20px;font-weight:500;letter-spacing:0}.highlights p{font-size:14px;line-height:1.6;margin:10px 12px 0}.highlights small{font-size:12px;color:var(--muted)}
.method-figure{margin-top:30px;max-width:1000px}.method-figure img{width:100%}.method-steps{list-style:none;display:grid;grid-template-columns:repeat(3,1fr);gap:32px;padding:0;margin-top:40px}.step-number{display:block;font-size:13px;letter-spacing:.08em;color:var(--teal);font-weight:700;margin-bottom:10px}.method-steps h3{font-size:18px}.method-steps p{font-size:15px;color:var(--muted);margin:0}.loop-note{margin-top:38px;border-top:1px solid var(--line);padding-top:26px}.loop-note p{font-size:16px}
.results-gallery{max-width:1040px}.results-tabs{display:flex;gap:8px;margin:30px 0 30px;border-bottom:2px solid var(--blue)}.results-tabs button{flex:1;min-height:48px;border:1px solid #bccbdf;border-bottom:0;border-radius:6px 6px 0 0;padding:10px 12px;background:#eaf0f7;color:var(--ink);font-size:15px;font-weight:600}.results-tabs button[aria-selected=true]{background:var(--blue);color:white;border-color:var(--blue)}[role=tabpanel]>p{font-size:16px}.table-wrap{overflow-x:auto;margin:26px 0 20px;background:#fff;border:1px solid var(--line);border-radius:6px}table{border-collapse:collapse;width:100%;font-size:14px;font-variant-numeric:tabular-nums;line-height:1.55;text-align:right;white-space:nowrap}caption{text-align:left;white-space:normal;padding:16px 18px;font-size:13px;font-weight:600;color:var(--muted);background:#fff;border-bottom:1px solid var(--line)}th,td{padding:12px 14px;border-bottom:1px solid #e8ecf2}thead{background:#f0f3f8}thead th{font-size:12px;font-weight:650}th:first-child{text-align:left}tbody th{font-weight:500}th small{display:block;font-size:11px;color:var(--muted);font-weight:400}.ours{background:#edf5fc}.ours th,.ours td{color:#214f91}.ours th{font-weight:700}tr:last-child>*{border-bottom:0}.result-note{color:var(--muted);font-size:13px!important;line-height:1.7}.controls{display:flex;flex-wrap:wrap;gap:18px;margin:24px 0}.controls label{font-size:12px;font-weight:600;color:var(--muted);display:flex;flex-direction:column;gap:6px}select{max-width:100%;font-size:14px;color:var(--ink);padding:9px 34px 9px 12px;border:1px solid #bccbdf;border-radius:5px;background:white;min-height:44px}.cost-figure{padding:20px;background:white;border:1px solid var(--line);border-radius:6px;margin:24px 0}.cost-figure img{width:100%}.cost-figure figcaption{margin-top:10px}.text-links{display:flex;flex-wrap:wrap;gap:18px 28px;font-size:15px;font-weight:600;margin-top:26px}.text-links a{text-decoration:none}.text-links a:hover{text-decoration:underline}footer{text-align:center;border-top:1px solid var(--line);padding:32px 24px;color:var(--muted);font-size:12px}footer p{margin:0 0 8px}footer a{text-decoration:none}.design-credit{font-size:11px}
@media(max-width:700px){.navigation{padding:17px 20px;gap:12px;font-size:12px}.nav-links{gap:14px}.hero{padding:35px 20px 32px}h1{font-size:clamp(29px,6.5vw,42px)}.tagline{font-size:17px}.authors{font-size:18px;margin-top:23px}.teaser{padding:6px 14px 34px}.section{padding:42px 20px}h2{font-size:25px}.eyebrow{font-size:10px}.highlights{grid-template-columns:1fr;max-width:400px;padding-top:0;margin-top:28px}.highlights>div{padding:22px 0}.highlights>div+div{border-left:0;border-top:1px solid var(--line)}.highlights strong{font-size:35px}.method-steps{grid-template-columns:1fr;gap:24px;margin-top:30px}.method-steps li{padding-left:42px;position:relative}.step-number{position:absolute;left:0;top:2px}.results-tabs{gap:4px}.results-tabs button{font-size:12px;padding:10px 5px}.controls{gap:14px}.controls label:first-child{flex-basis:100%}.cost-figure{padding:8px}figcaption{font-size:12px}.text-links{flex-direction:column;gap:14px}.wordmark{letter-spacing:0}}
.results-gallery{max-width:1400px}
.results-tabs,#panel-retrieval,#panel-cost{max-width:1040px;margin-left:auto;margin-right:auto}
.proving-intro{max-width:880px;margin:0 auto;text-align:center}
.proving-intro h3{font-size:25px;letter-spacing:-.025em}
.proving-intro p{font-size:16px;color:var(--muted)}
.proving-legend{display:flex;align-items:center;justify-content:center;flex-wrap:wrap;gap:5px 9px;font-size:12px!important;color:var(--muted);margin:24px 0 14px}
.legend-swatch{width:15px;height:15px;display:inline-block;background:#eaf3fc;border:1px solid #adc5e3;border-radius:3px}
.legend-best{font-weight:750;color:var(--ink);margin-left:12px}
.proving-legend>span:last-child{margin-left:12px}
.proving-table-wrap{margin-top:0;border-color:#c5d0df;box-shadow:0 10px 28px #25304608;overflow:visible}
.proving-master{table-layout:fixed;font-size:13px;text-align:center}
.proving-master td{font-weight:650}
.proving-master caption{font-size:12px;letter-spacing:.03em;padding:14px 18px}
.proving-master th,.proving-master td{padding:12px 7px}
.proving-master thead{background:#f0f4f9}
.proving-master thead th{font-size:11px}
.proving-master .benchmark-group{font-size:13px;color:var(--ink);border-left:1px solid #d5deea;padding-top:18px;padding-bottom:12px}
.proving-master .benchmark-group small{font-size:11px;margin-top:5px}
.proving-master .method-column{width:180px;text-align:left;padding-left:18px}
.proving-master thead .method-column{font-size:13px}
.proving-master .group-start{border-left:1px solid #d5deea}
.proving-master .cost-column{font-size:11px;font-weight:650;color:var(--muted)}
.proving-master .overall-column{width:88px;background:#e9f0fb;border-left:2px solid #becfe7;font-size:18px;font-weight:700;color:var(--blue)}
.proving-master thead .overall-column{font-size:13px}
.proving-master .overall-column small{margin-top:5px}
.proving-master .memory-band th{background:#253b5c;color:white;text-align:left;padding:10px 18px;font-size:11px;letter-spacing:.09em;text-transform:uppercase;font-weight:650}
.proving-master .memory-on .memory-band th{background:#254f5c}
.proving-master .ours{background:#edf5fc}
.proving-master .ours .overall-column{background:#dfeafa}
.proving-master .ours th{color:#214f91}
.proving-master .ours th small{color:#4c6587}
.proving-master td strong{font-weight:800;color:#0e6965}
.proving-master .overall-column strong{font-size:22px;color:#154d9b}
.proving-master tbody tr:not(.memory-band):hover>*{background:#eef0f6}
.proving-master tbody .ours:hover>*{background:#e0edfb}
.proving-master tbody tr:last-child>*{border-bottom:0}
.proving-compact-wrap{display:none}
@media(max-width:1100px){.proving-master{font-size:12px}.proving-master .method-column{width:145px;padding-left:10px}.proving-master .overall-column{width:70px}.proving-master th,.proving-master td{padding-left:4px;padding-right:4px}.proving-master .benchmark-group{font-size:11px}.proving-master thead th{font-size:10px}.proving-master .cost-column{font-size:10px}}
@media(max-width:850px){
  .proving-table-wrap{display:none}
  .proving-compact-wrap{display:block;border:1px solid #c5d0df;border-radius:6px;overflow:hidden;background:white}
  .proving-compact{width:100%;table-layout:fixed;white-space:normal;text-align:center;font-size:13px}
  .proving-compact caption{font-size:12px}
  .proving-compact th,.proving-compact td{padding:11px 5px;overflow-wrap:anywhere}
  .proving-compact thead th{font-size:11px}
  .proving-compact thead th:first-child{width:40%;padding-left:12px}
  .proving-compact tbody th[scope="row"]{padding-left:12px;font-size:12px}
  .proving-compact td{font-weight:650}
  .proving-compact td strong{font-weight:850;color:#0e6965}
  .proving-compact .cost-column{font-size:11px;font-weight:650;color:var(--muted);white-space:nowrap}
  .proving-compact .memory-band th{padding:12px;background:#253b5c;color:white;font-weight:650;text-align:left;letter-spacing:.07em;text-transform:uppercase;font-size:11px}
  .proving-compact .memory-on th{background:#254f5c}
  .proving-compact .compact-benchmark th{padding:12px;background:#f0f4f9;color:var(--ink);font-weight:700;text-align:left;font-size:12px}
  .proving-compact .compact-benchmark th:last-child:not(:first-child){font-size:10px;text-align:center;padding-left:3px;padding-right:3px;overflow-wrap:normal}
  .proving-compact .ours th{font-weight:700}
  .proving-compact .overall-column{background:#e9f0fb;font-size:17px;font-weight:700;color:var(--blue)}
  .proving-compact .overall-column strong{color:#154d9b;font-size:19px}
  .proving-compact tbody tr:last-child>*{border-bottom:0}
}
.table-hint{display:none}@media(max-width:1250px){.table-hint{display:block;text-align:center;font-size:12px;color:var(--muted)}}
@media(max-width:700px){.proving-intro h3{font-size:22px}.proving-legend{justify-content:flex-start}.proving-legend>span:last-child{margin-left:0}.proving-master .method-column{position:sticky;left:0;z-index:1;width:145px;background:white;padding-left:12px;box-shadow:1px 0 #d5deea}.proving-master .ours .method-column{background:#edf5fc}.proving-master thead .method-column{background:#f0f4f9}.proving-master th,.proving-master td{padding-top:10px;padding-bottom:10px}.proving-master th small{font-size:10px}.proving-master .method-column{font-size:12px}.proving-master .memory-band th{padding-left:12px}.proving-master .memory-band span{display:inline-block;position:sticky;left:12px}}
@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}}
@media print{.navigation,.resource-links,.results-tabs,.controls,footer{display:none}[role=tabpanel][hidden]{display:block!important}.section{padding:24px 0;break-inside:avoid}.hero{padding:20px 0}.band{background:white}body{font-size:11pt}.highlights strong{font-size:24px}}