.TechHeader-module__68ELoq__meta{color:var(--text-muted);flex-wrap:wrap;align-items:center;gap:.5rem .75rem;margin-top:1.5rem;display:flex}.TechHeader-module__68ELoq__sep{-webkit-user-select:none;user-select:none;color:var(--text-faint)}.TechHeader-module__68ELoq__link{min-height:var(--spacing-hit);align-items:center;display:inline-flex}
.ProofCases-module__CX2QJW__cases{grid-template-columns:repeat(auto-fit,minmax(min(100%,16.25rem),1fr));gap:4rem 2rem;display:grid}.ProofCases-module__CX2QJW__cases[data-count="1"]{max-width:26rem}.ProofCases-module__CX2QJW__cases[data-count="2"]{max-width:56rem}.ProofCases-module__CX2QJW__none{max-width:min(var(--container-lead), 100%);color:var(--text-muted);text-wrap:pretty}
.FeaturesSection-module__Ku3yba__value{color:var(--text);text-wrap:pretty;margin-top:.5rem}.FeaturesSection-module__Ku3yba__plate{margin-top:3rem}@media (min-width:64rem){.FeaturesSection-module__Ku3yba__plate{grid-template-columns:repeat(2,minmax(0,1fr))}}