/* Zcash Labs "Sealed" identity: monochrome UI, Zcash gold only inside the mark. */
/* scripts/render-benchmarks.py reads these tokens for the plots: keep one declaration each. */
:root{
  color-scheme:dark;
  --bg:#171415;--panel:#211d1e;--rule:#363132;--chart-axis:#4a4445;
  --ink:#f4f4f4;--dim:#a3a3a3;--faint:#6f6a6b;--text-emphasis:var(--ink);
  /* One fixed colour per benchmarked system. Dark categorical slots, validated all-pairs on --bg
     for colour-vision deficiency, normal vision and 3:1 contrast. Gold stays reserved for the mark. */
  --series-v010:#3987e5;--series-v001:#d95926;--series-zaino:#199e70;--series-zinder:#9085e9;
  --display:"Sora",ui-sans-serif,system-ui,sans-serif;
  --sans:"Manrope",ui-sans-serif,system-ui,sans-serif;
  --mono:"JetBrains Mono",ui-monospace,SFMono-Regular,monospace;
  --radius:.25rem;
}
*{box-sizing:border-box;margin:0}
html{background:var(--bg);color:var(--ink);font:400 16px/1.65 var(--sans);-webkit-font-smoothing:antialiased;scroll-behavior:smooth}
body{min-height:100svh;display:flex;flex-direction:column;background:var(--bg)}
a{color:inherit;text-decoration:none;text-underline-offset:.25em}
a:hover{text-decoration:underline}
a:focus-visible,button:focus-visible,input:focus-visible,summary:focus-visible{outline:2px solid var(--ink);outline-offset:4px;border-radius:var(--radius)}
::selection{background:var(--ink);color:var(--bg)}
.wrap{width:min(100% - 3rem,1152px);margin-inline:auto}
.label{font:500 .6875rem/1.6 var(--mono);letter-spacing:.22em;text-transform:uppercase;color:var(--dim)}

header{position:sticky;top:0;z-index:10;background:color-mix(in srgb,var(--bg) 85%,transparent);backdrop-filter:blur(16px);-webkit-backdrop-filter:blur(16px);border-bottom:1px solid var(--rule)}
header .wrap{height:4.5rem;display:flex;justify-content:space-between;align-items:center;gap:1.5rem}
.brand{display:flex;align-items:center;gap:.8rem;color:var(--ink)}
.brand:hover{text-decoration:none}
.brand img{width:40px;height:40px;display:block}
.brand b{font:700 1.15rem/1 var(--display);letter-spacing:-.01em}
.brand span{font:500 .625rem/1 var(--mono);letter-spacing:.22em;text-transform:uppercase;color:var(--dim);padding-left:.8rem;border-left:1px solid var(--rule)}
header nav{display:flex;flex-wrap:wrap;gap:1.75rem;font:500 .6875rem/1.6 var(--mono);letter-spacing:.22em;text-transform:uppercase;color:var(--dim)}
header nav a:hover,header nav [aria-current]{color:var(--ink);text-decoration:none}

main{flex:1}
.hero{padding:clamp(4rem,12vh,7.5rem) 0 4rem}
h1{font:800 clamp(3.25rem,10vw,7.5rem)/1 var(--display);letter-spacing:-.035em}
.hero h1{margin-top:1.25rem}
.tag{margin:1.75rem 0 0;font-size:clamp(1.05rem,2vw,1.3rem);line-height:1.6;max-width:52ch;color:var(--dim)}
.tag a{color:var(--ink);text-decoration:underline;text-decoration-color:var(--faint);text-underline-offset:.22em}
.tag a:hover{text-decoration-color:var(--ink)}
.cmd{margin:2.5rem 0 0;text-align:left;display:flex;align-items:center;justify-content:space-between;gap:1.25rem;width:100%;border:1px solid var(--rule);border-radius:var(--radius);padding:1.1rem 1.25rem;font:.85rem/1.7 var(--mono);cursor:pointer;background:var(--panel);color:var(--ink);transition:border-color .2s}
.cmd:hover{border-color:var(--faint)}
.cmd>span:first-child{min-width:0;overflow-wrap:anywhere}
.cmd .p{color:var(--faint)}
.cmd .c{color:var(--dim);font-size:.6875rem;letter-spacing:.22em;text-transform:uppercase;flex-shrink:0}

.stats{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:1px;background:var(--rule);border:1px solid var(--rule);border-radius:var(--radius);overflow:hidden}
.stats div{padding:1.75rem;background:var(--panel)}
.stats .label{display:block;margin-bottom:1.1rem}
.stats b{display:block;font:700 clamp(2rem,4vw,3.25rem)/1.1 var(--display);letter-spacing:-.03em;font-variant-numeric:tabular-nums}
.stats b small{font:500 .3em/1 var(--mono);letter-spacing:.1em;text-transform:uppercase;color:var(--dim);margin-left:.5em}

.bars{padding:4.5rem 0}
.bars .label{margin-bottom:1.5rem}
.bar{display:grid;grid-template-columns:8ch 1fr;padding-right:9ch;align-items:center;gap:1.25rem;font:.8rem/1.4 var(--mono);color:var(--dim)}
.bar+.bar{margin-top:.85rem}
.bars .g{margin-top:3rem;padding-top:2rem;border-top:1px solid var(--rule)}
.bars .n{margin:2rem 0 0;color:var(--dim);font-size:.8rem;line-height:1.8}
.bars .n a{color:var(--ink);text-decoration:underline;text-decoration-color:var(--faint)}
.bar i{display:block;font-style:normal;height:2.1rem;min-width:3px;background:var(--series-zinder);border-radius:2px;position:relative}
.bar i::after{content:attr(data-v);position:absolute;left:calc(100% + .8rem);top:50%;translate:0 -50%;white-space:nowrap;color:var(--ink)}
.bar.k{color:var(--ink)}
.bar.k i{background:var(--series-v001)}
.bar.zaino i{background:var(--series-zaino)}

footer{border-top:1px solid var(--rule)}
footer .wrap{padding:2rem 0 2.5rem;display:flex;justify-content:space-between;align-items:center;gap:1.5rem;flex-wrap:wrap;font:500 .6875rem/1.6 var(--mono);letter-spacing:.22em;text-transform:uppercase;color:var(--dim)}
footer nav{display:flex;flex-wrap:wrap;gap:1.75rem}
footer a:hover{color:var(--ink);text-decoration:none}
footer .by{display:flex;align-items:center;gap:.75rem;color:var(--ink)}
footer .by img{width:40px;height:40px}

.r{animation:appear .5s ease both}
@keyframes appear{from{opacity:0;translate:0 6px}to{opacity:1;translate:0 0}}

.doc{padding:4rem 0 5rem;max-width:54rem}
.doc h1{font-size:clamp(2.75rem,7vw,4.5rem);margin:1rem 0 .5em}
.doc h2{display:flex;gap:.6em;font:500 .6875rem/1.6 var(--mono);letter-spacing:.22em;text-transform:uppercase;color:var(--dim);margin:3.5rem 0 1.25rem;padding-top:1.5rem;border-top:1px solid var(--rule)}
.doc h2::before{content:"//";color:var(--faint)}
.doc p{font-size:.95rem;max-width:65ch;margin:.9rem 0;color:var(--dim)}
.doc pre{border:1px solid var(--rule);border-radius:var(--radius);padding:1rem 1.25rem;font:.85rem/1.7 var(--mono);overflow-x:auto;margin:1rem 0;background:var(--panel)}
.doc pre .p{color:var(--faint)}
.doc pre .c{color:var(--dim)}
.doc code{font:.88em/1 var(--mono);color:var(--ink)}
.doc table{width:100%;border-collapse:collapse;font-size:.85rem}
.doc td{padding:.8rem 0;border-bottom:1px solid var(--rule);vertical-align:top}
.doc td:first-child{white-space:nowrap;padding-right:1.5rem;font:.8rem/1.6 var(--mono);color:var(--ink)}
.doc td:last-child{color:var(--dim)}
.doc td:last-child s{text-decoration:none;font:.8rem/1 var(--mono);color:var(--ink)}

@media(max-width:760px){
 header .wrap{height:auto;padding:1rem 0;flex-direction:column;align-items:flex-start;gap:.9rem}
 header nav{gap:1.1rem}
 .brand span{display:none}
 .stats{grid-template-columns:1fr}
 .bar{grid-template-columns:7ch 1fr;gap:.7rem;padding-right:8.5ch;font-size:.72rem}
 footer .wrap{flex-direction:column;align-items:flex-start}
 .cmd{font-size:.75rem;padding:1rem;gap:.75rem}
 .doc td{display:block;padding:.4rem 0}
 .doc td:first-child{padding-top:1rem;white-space:normal;border-bottom:0}
 .doc td:last-child{padding-bottom:1rem}
}
@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}.r{animation:none}.cmd{transition:none}}