.rerank-hero{--reference-hero-padding-bottom: 8rem;--reference-hero-columns: minmax(0, .76fr) minmax(41rem, 1.24fr);--reference-hero-gap: clamp(2.5rem, 3.5vw, 3.5rem)}.rerank-hero h1 span{color:var(--brand-accent)}.rerank-hero-graphic{width:min(100%,49rem);margin:0 0 0 auto;border:1px solid var(--brand-hairline-strong);background:var(--cl-code-bg);box-shadow:0 1.5rem 3.2rem #00000057}.rerank-hero-query{display:grid;grid-template-columns:5.4rem minmax(0,1fr);gap:var(--sp-3);align-items:start;padding:var(--sp-4);border-bottom:1px solid var(--brand-hairline-strong)}.rerank-hero-query>span,.rerank-hero-rule>span,.rerank-hero-result header>span,.rerank-proof-card>header>span,.rerank-proof-rule>span{font-family:var(--cl-mono);font-size:var(--brand-fs-nano);font-weight:600;letter-spacing:.06em;line-height:1.35;text-transform:uppercase}.rerank-hero-query>span,.rerank-hero-rule>span,.rerank-proof-card>header>span,.rerank-proof-rule>span{color:var(--brand-accent)}.rerank-hero-query>p{margin:0;color:var(--brand-text-bright);font-size:.82rem;line-height:1.45}.rerank-hero-query>small{grid-column:2;color:var(--brand-text-muted);font-family:var(--cl-mono);font-size:var(--brand-fs-nano)}.rerank-hero-lanes{display:grid;grid-template-columns:repeat(2,minmax(0,1fr))}.rerank-hero-lane{display:grid;min-width:0;grid-template-rows:auto 1fr}.rerank-hero-lane+.rerank-hero-lane{border-left:1px solid var(--brand-hairline-strong)}.rerank-hero-rule{display:grid;gap:var(--sp-2);padding:var(--sp-4);border-bottom:1px solid var(--brand-hairline);background:#f3441d12}.rerank-hero-result strong[data-kind]{padding:.15rem .4rem;border:1px solid var(--brand-hairline-strong);color:var(--brand-text-bright)}.rerank-hero-rule>p,.rerank-proof-rule>strong{margin:0;color:var(--brand-text-bright);font-family:var(--cl-mono);font-size:var(--brand-fs-sm);font-weight:500;line-height:1.5}.rerank-hero-result{display:grid;align-content:start;gap:var(--sp-3);padding:var(--sp-4);background:var(--cl-panel)}.rerank-hero-result header{display:flex;align-items:baseline;justify-content:space-between;gap:var(--sp-3)}.rerank-hero-result header>span{color:var(--brand-text-muted)}.rerank-hero-result strong,.rerank-proof-lane footer{color:var(--brand-text-muted);font-family:var(--cl-mono);font-size:var(--brand-fs-sm);font-weight:500}.rerank-hero-result p,.rerank-proof-lane p{margin:0;color:var(--brand-text);font-size:var(--brand-fs-sm);line-height:1.7}.rerank-hero-result mark,.rerank-proof-lane mark{padding:.04rem .1rem;background:#f3441d24;box-shadow:inset 0 -2px 0 var(--brand-accent);color:var(--brand-text-bright)}.rerank-proof{padding:var(--cl-section-gap) 0 0}.rerank-proof .cl-section-head p{max-width:54rem;margin:var(--sp-3) 0 0;color:var(--brand-text);font-size:var(--brand-fs-base);line-height:1.7}.rerank-proof .cl-section-head strong{color:var(--brand-text-bright);font-variant-numeric:tabular-nums;font-weight:600}.rerank-proof-grid{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));align-items:stretch;gap:var(--sp-4)}.rerank-proof-card{display:flex;min-width:0;flex-direction:column;border:1px solid var(--brand-hairline-strong);background:var(--cl-code-bg)}.rerank-proof-card>header{display:grid;align-content:start;gap:var(--sp-2);padding:var(--sp-4);border-bottom:1px solid var(--brand-hairline);background:var(--cl-panel)}.rerank-proof-card>header p{margin:0;color:var(--brand-text-bright);font-size:.82rem;line-height:1.5}.rerank-proof-card>header small,.rerank-proof-totals{color:var(--brand-text-muted);font-family:var(--cl-mono);font-size:var(--brand-fs-nano);line-height:1.5}.rerank-proof-lanes{display:grid;grid-template-rows:auto auto;align-content:start}@media(min-width:1021px){.rerank-proof-lanes{flex:1;grid-template-rows:1fr 1fr}}.rerank-proof-lane{display:grid;align-content:start;gap:var(--sp-3);padding:var(--sp-4)}.rerank-proof-lane+.rerank-proof-lane{border-top:1px solid var(--brand-hairline)}.rerank-proof-lane[data-won=false]{background:color-mix(in srgb,var(--cl-code-bg) 90%,black)}.rerank-proof-lane[data-won=false] .rerank-proof-rule>span,.rerank-proof-lane[data-won=false] .rerank-proof-rule>strong{color:var(--brand-text-muted)}.rerank-proof-lane[data-won=false] mark{background:#ffffff0e;box-shadow:inset 0 -1px 0 var(--brand-text-dim);color:var(--brand-text-muted)}.rerank-proof-rule{display:grid;grid-template-columns:minmax(0,1fr) auto;gap:.3rem var(--sp-3);align-items:baseline}.rerank-proof-rule>span{grid-column:1}.rerank-proof-rule>strong{grid-column:1}.rerank-proof-rule>em{grid-row:1 / span 2;grid-column:2;align-self:center;padding:.15rem .4rem;border:1px solid var(--brand-hairline-strong);color:var(--brand-text-bright);font-family:var(--cl-mono);font-size:var(--brand-fs-nano);font-style:normal;white-space:nowrap}.rerank-proof-lane[data-won=false] .rerank-proof-rule>em{color:var(--brand-text-muted)}.rerank-proof-lane footer{margin-top:auto;padding-top:var(--sp-3);border-top:1px solid var(--brand-hairline);font-size:var(--brand-fs-nano);line-height:1.45}.rerank-proof-lane[data-won=true] footer{color:var(--brand-accent)}.rerank-proof-note{margin:auto 0 0;padding:var(--sp-4);border-top:1px solid var(--brand-hairline);color:var(--brand-text-muted);font-size:var(--brand-fs-sm);line-height:1.6}.rerank-proof-totals{margin:var(--sp-5) 0 0}.rerank-proof-card>.reference-source-link{display:flex}.rerank-playground{padding:var(--cl-section-gap) 0}.rerank-playground .cl-section-head{margin-bottom:var(--sp-6)}.rerank-playground .cl-play{padding-top:0}@media(max-width:1120px){.rerank-hero{--reference-hero-columns: minmax(0, .68fr) minmax(40rem, 1.32fr)}}@media(max-width:1020px){.rerank-hero-graphic{width:min(100%,52rem);margin-inline:auto}.rerank-proof-grid{grid-template-columns:1fr}.rerank-proof-card{display:grid;grid-template-columns:minmax(16rem,.7fr) minmax(0,1.3fr)}.rerank-proof-card>header{min-height:0;border-right:1px solid var(--brand-hairline);border-bottom:0}.rerank-proof-note,.rerank-proof-card>.reference-source-link{grid-column:1 / -1}}@media(max-width:700px){.rerank-hero{padding:7.5rem 0 6rem}.rerank-hero h1{font-size:clamp(2.25rem,10.5vw,3rem)}.rerank-hero-query{grid-template-columns:1fr}.rerank-hero-query>small{grid-column:1}.rerank-hero-lanes{grid-template-columns:1fr}.rerank-hero-lane+.rerank-hero-lane{border-top:1px solid var(--brand-hairline-strong);border-left:0}.rerank-hero-result{min-height:0}.rerank-proof{padding-top:4rem}.rerank-proof-card{display:flex}.rerank-proof-card>header{border-right:0;border-bottom:1px solid var(--brand-hairline)}}
