.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-passage header span,.rerank-proof-card>header>span,.rerank-proof-passages>div>div>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-proof-card>header>span{color:var(--brand-accent)}.rerank-hero-query>p{margin:0;color:var(--brand-text-bright);font-size:.8rem;line-height:1.45}.rerank-hero-requirements{display:grid;grid-column:2;grid-template-columns:repeat(2,minmax(0,1fr));gap:var(--sp-2)}.rerank-hero-requirements strong,.rerank-proof-card>header>div strong{padding:.45rem .55rem;border-left:2px solid var(--brand-accent);background:#f3441d14;color:var(--brand-text);font-family:var(--cl-mono);font-size:var(--brand-fs-nano);font-weight:500;line-height:1.35}.rerank-hero-comparison{display:grid;grid-template-columns:repeat(2,minmax(0,1fr))}.rerank-hero-passage{display:grid;min-width:0;min-height:20rem;grid-template-rows:auto 1fr auto;gap:var(--sp-4);padding:var(--sp-4);background:var(--cl-panel)}.rerank-hero-passage+.rerank-hero-passage{border-left:1px solid var(--brand-hairline-strong)}.rerank-hero-passage.is-near{background:color-mix(in srgb,var(--cl-panel) 88%,black)}.rerank-hero-passage header,.rerank-proof-passages>div>div{display:flex;align-items:baseline;justify-content:space-between;gap:var(--sp-3)}.rerank-hero-passage header span,.rerank-proof-passages .is-near>div>span{color:var(--brand-text-muted)}.rerank-hero-passage.is-best header span,.rerank-proof-passages .is-best>div>span{color:var(--brand-accent)}.rerank-hero-passage output,.rerank-proof-passages output{color:var(--brand-text-muted);font-family:var(--cl-mono);font-size:var(--brand-fs-meta)}.rerank-hero-passage.is-best output,.rerank-proof-passages .is-best output{color:var(--brand-accent)}.rerank-hero-passage p,.rerank-proof-passages p{margin:0;color:var(--brand-text);font-size:.75rem;line-height:1.72}.rerank-hero-passage mark,.rerank-proof-passages mark{padding:.04rem .1rem;background:#f3441d1f;box-shadow:inset 0 -2px 0 var(--brand-accent);color:var(--brand-text-bright)}.rerank-hero-passage.is-near mark,.rerank-proof-passages .is-near mark{background:#ffffff0e;box-shadow:inset 0 -1px 0 var(--brand-text-dim);color:var(--brand-text-muted)}.rerank-hero-passage footer,.rerank-proof-passages small{padding-top:var(--sp-3);border-top:1px solid var(--brand-hairline);color:var(--brand-text-muted);font-family:var(--cl-mono);font-size:var(--brand-fs-nano);line-height:1.45}.rerank-hero-passage.is-best footer,.rerank-proof-passages .is-best small{color:var(--brand-accent)}.rerank-proof{padding:var(--cl-section-gap) 0 0}.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;min-height:13rem;align-content:start;gap:var(--sp-3);padding:var(--sp-4);border-bottom:1px solid var(--brand-hairline);background:var(--cl-panel)}.rerank-proof-card>header p{display:-webkit-box;overflow:hidden;margin:0;color:var(--brand-text);font-size:.76rem;line-height:1.5;-webkit-box-orient:vertical;-webkit-line-clamp:4}.rerank-proof-card>header>div{display:grid;gap:.35rem}.rerank-proof-card>header>div strong{padding-block:.32rem}.rerank-proof-passages{display:grid;flex:1;grid-template-rows:repeat(2,minmax(0,1fr))}.rerank-proof-passages>div{display:grid;min-height:11.5rem;align-content:start;gap:var(--sp-3);padding:var(--sp-4)}.rerank-proof-passages>div+div{border-top:1px solid var(--brand-hairline)}.rerank-proof-passages .is-near{background:color-mix(in srgb,var(--cl-code-bg) 90%,black)}.rerank-proof-passages p{display:-webkit-box;overflow:hidden;-webkit-box-orient:vertical;-webkit-line-clamp:5}.rerank-proof-passages small{margin-top:auto}.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,.75fr) minmax(0,1.25fr)}.rerank-proof-card>header{min-height:0;border-right:1px solid var(--brand-hairline);border-bottom:0}.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-requirements{grid-column:1;grid-template-columns:1fr}.rerank-hero-comparison{grid-template-columns:1fr}.rerank-hero-passage{min-height:17rem}.rerank-hero-passage+.rerank-hero-passage{border-top:1px solid var(--brand-hairline-strong);border-left: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)}}