.proof-bench{border:1px solid var(--alk-rule);background:var(--alk-paper);min-width:0;display:block}.proof-bench [hidden]{display:none!important}.proof-bench-tabs{border-bottom:1px solid var(--alk-rule);background:var(--alk-field);align-items:stretch;gap:.1rem;padding-inline:.65rem;display:flex}.proof-bench-tabs>button{color:var(--alk-muted);font:.8rem/1.4 var(--alk-mono);cursor:pointer;background:0 0;border:0;padding:.85rem .8rem;position:relative}.proof-bench-tabs>button[aria-selected=true]{color:var(--alk-ink)}.proof-bench-tabs>button[aria-selected=true]:after{background:var(--alk-ink-cobalt);content:"";height:3px;position:absolute;inset:auto .8rem -1px}.proof-bench-tabs>button:hover{color:var(--alk-ink)}.proof-bench-live{color:var(--alk-ink-teal);white-space:nowrap;font:1.25rem/1 var(--alk-hand);align-self:center;margin-left:auto;padding-left:.5rem}.proof-bench [role=tabpanel]{min-width:0}.proof-bench .alk-chart figure{border:0;border-radius:0;padding:1.1rem 1.2rem .8rem}.proof-bench .alk-chart-caption{margin-bottom:.75rem}.proof-bench .alk-chart-caption h3{margin-bottom:.35rem;font-size:1.2rem}.proof-bench .alk-chart-caption p:not(.alk-chart-kicker){font-size:.77rem}.proof-bench .alk-chart-tools{padding-bottom:.7rem}.proof-bench .alk-model{border:0;margin:0}.proof-bench .alk-model-heading{padding:1rem 1.2rem .8rem}.proof-bench .alk-model-viewport{height:255px}.proof-bench--compact .alk-model-viewport{height:220px}.proof-bench .alk-model-description{color:var(--alk-muted);font-size:.74rem}.proof-bench-source{border-top:1px solid var(--alk-rule)}.proof-bench-source>summary{cursor:pointer;font:.74rem/1.5 var(--alk-mono);padding:.7rem 1.2rem}.proof-bench-source>summary code{float:right;color:var(--alk-muted);font-size:inherit;border:0;margin-left:.5rem;padding:0}.proof-bench-source .alk-code{margin:0 .65rem .8rem}.proof-bench-source .alk-code-pre{max-height:20rem;font-size:.75rem}.proof-bench-source-note,.proof-bench-noscript{color:var(--alk-muted);margin:0;padding:0 1.2rem 1rem;font-size:.73rem}.proof-math{padding:1.1rem 1.2rem .8rem}.proof-math-heading>p{color:var(--alk-muted);text-transform:uppercase;letter-spacing:.12em;font:.64rem/1.4 var(--alk-mono);margin:0 0 .35rem}.proof-math-heading h3{margin-bottom:0;font-size:1.2rem;font-weight:500}.proof-math .alk-math{border:0;margin:.8rem 0 0;padding:.35rem 0 .7rem}.proof-math .alk-math figcaption{margin-top:.15rem;font-size:.69rem}.proof-math .katex-display{margin:.35rem 0}.proof-math-plot{width:100%;height:175px;display:block}.proof-math-grid{stroke:var(--alk-rule);stroke-width:1px}.proof-math-axis{fill:none;stroke:var(--alk-muted);stroke-width:1px}.proof-math-signal{fill:none;stroke:var(--alk-ink-violet);stroke-width:2.5px}.proof-math-labels{fill:var(--alk-muted);font:14px var(--alk-mono)}.proof-math-control{font:.74rem/1.4 var(--alk-mono);grid-template-columns:1fr auto;align-items:center;gap:.25rem 1rem;display:grid}.proof-math-control output{color:var(--alk-ink)}.proof-math-control input{width:100%;min-height:34px;accent-color:var(--alk-ink-violet);cursor:pointer;grid-column:1/-1;margin:0}.proof-math-caption{color:var(--alk-muted);margin:.65rem 0 0;font-size:.69rem}@media (width<=650px){.proof-bench-tabs{padding-inline:.35rem}.proof-bench-tabs>button{padding-inline:.65rem;font-size:.75rem}.proof-bench-live{font-size:1.05rem}.proof-bench .alk-chart figure,.proof-math,.proof-bench-source>summary{padding-inline:.75rem}.proof-bench .alk-model-viewport{height:230px}.proof-math-plot{height:auto}}@media (width<=360px){.proof-bench-live{display:none}.proof-bench-source>summary code{float:none;margin:.2rem 0 0 1rem;display:block}}