.proof-introduction{max-width:72ch;white-space:pre-line;overflow-wrap:anywhere}
.logo-list{list-style:none;margin:2rem 0 0;padding:0;gap:1.25rem;align-items:center}
.logo-layout-grid{display:grid}.logo-columns-2{grid-template-columns:repeat(2,minmax(0,1fr))}.logo-columns-3{grid-template-columns:repeat(3,minmax(0,1fr))}.logo-columns-4{grid-template-columns:repeat(4,minmax(0,1fr))}.logo-columns-5{grid-template-columns:repeat(5,minmax(0,1fr))}.logo-columns-6{grid-template-columns:repeat(6,minmax(0,1fr))}
.logo-layout-strip{display:flex;flex-wrap:wrap;justify-content:center}.logo-layout-strip .logo-item{flex:0 1 180px;max-width:100%}
.logo-item{min-width:0}.logo-content{display:flex;align-items:center;justify-content:center;min-height:104px;padding:1rem;text-align:center;overflow-wrap:anywhere;border:1px solid color-mix(in srgb,currentColor 15%,transparent);border-radius:8px;text-decoration:none}
.logo-content img{display:block;width:100%;max-width:180px;height:72px;object-fit:contain}.logo-size-small .logo-content img{max-width:140px;height:48px}.logo-size-large .logo-content img{max-width:220px;height:96px}.logo-content:focus-visible,.statistic-source:focus-visible{outline:3px solid currentColor;outline-offset:5px}
.statistics-list{display:grid;gap:1.5rem;margin:2rem 0 0}.statistics-columns-2{grid-template-columns:repeat(2,minmax(0,1fr))}.statistics-columns-3{grid-template-columns:repeat(3,minmax(0,1fr))}.statistics-columns-4{grid-template-columns:repeat(4,minmax(0,1fr))}
.statistic-item{display:grid;align-content:start;gap:.65rem;min-width:0;padding:1.5rem;border-top:3px solid currentColor;overflow-wrap:anywhere}.statistic-item dt{font-weight:600;line-height:1.4;grid-row:2}.statistic-item dd{display:contents}.statistic-value{grid-row:1;display:block;font-size:clamp(1.8rem,4vw,3.4rem);font-weight:700;line-height:1.15;letter-spacing:-.03em;overflow-wrap:anywhere}.statistic-explanation{grid-row:3;font-size:.95rem;white-space:pre-line;margin:.5rem 0}.statistic-source{grid-row:4;display:inline-block;font-size:.85rem;margin-top:.5rem}
@media(max-width:900px){.logo-columns-5,.logo-columns-6{grid-template-columns:repeat(3,minmax(0,1fr))}.statistics-columns-3,.statistics-columns-4{grid-template-columns:repeat(2,minmax(0,1fr))}}
@media(max-width:600px){.logo-layout-grid{grid-template-columns:repeat(2,minmax(0,1fr))}.logo-layout-strip .logo-item{flex-basis:calc(50% - .625rem)}.logo-list{gap:1rem}.logo-content{padding:.75rem}.statistics-list{grid-template-columns:minmax(0,1fr)}.statistic-value{font-size:2.5rem}}