.proof-intro{max-width:65ch;color:var(--muted)}.proof-built{grid-template-columns:1fr;column-gap:32px;margin:18px 0 0;padding:0;list-style:none;display:grid}.proof-built li{border-top:1px solid var(--line);align-content:start;gap:4px;padding:18px 0;display:grid}.proof-built h3{margin:0;font-size:1.15rem}.proof-built p{max-width:60ch;margin:0}.proof-built a{color:var(--plum);text-underline-offset:3px;justify-self:start;margin-top:4px;font-weight:700}.proof-tag{color:var(--muted);font-size:.85rem}@media (min-width:720px){.proof-built{grid-template-columns:repeat(2,minmax(0,1fr))}}.proof-terms{gap:14px;max-width:70ch;margin:18px 0 0;padding:0;list-style:none;display:grid}.proof-terms li{padding-left:28px;position:relative}.proof-terms li:before{content:"✓";color:var(--plum);font-weight:800;position:absolute;left:0}.proof-terms a{color:var(--plum);text-underline-offset:3px;font-weight:700}.mw-info+.mw-info{margin-top:clamp(32px,5vw,56px)}.mw-info>ul.pf-grid{align-items:stretch}.mw-info>ul.pf-grid>.pf-card{flex-direction:column;display:flex}.mw-info>ul.pf-grid>.pf-card img{aspect-ratio:16/10;object-fit:cover;object-position:top center;height:auto}.mw-info>ul.pf-grid>.pf-card .pf-body{flex-direction:column;flex:1;display:flex}.mw-info>ul.pf-grid>.pf-card .pf-body>a{margin-top:auto}@media (min-width:720px){.mw-info>ul.pf-grid>.pf-card:last-child:nth-child(odd){grid-column:1/-1}}