.ProofPage-module__2FXnCq__container{text-align:start;flex-direction:column;gap:1.5rem;max-width:900px;margin:0 auto;padding:2rem 1rem 3rem;display:flex}.ProofPage-module__2FXnCq__section{text-align:start;max-width:none;padding:1rem 0}.ProofPage-module__2FXnCq__section h2{text-align:start;margin:0;padding-top:0;font-size:1.5rem}.ProofPage-module__2FXnCq__sectionHead{flex-wrap:wrap;justify-content:space-between;align-items:center;gap:.75rem;margin-bottom:.85rem;display:flex}.ProofPage-module__2FXnCq__section p{margin-inline:0}.ProofPage-module__2FXnCq__title{text-align:center;margin:0;font-size:1.6rem;line-height:1.3}.ProofPage-module__2FXnCq__intro{color:var(--foreground-secondary);margin:0;line-height:1.6}.ProofPage-module__2FXnCq__countermodels{flex-direction:column;gap:.35rem;margin:0;padding-left:1.25rem;display:flex}.ProofPage-module__2FXnCq__countermodels code{background:var(--background-secondary);border-radius:6px;padding:.15rem .4rem;font-family:monospace}.ProofPage-module__2FXnCq__cta{background:var(--accent-primary);color:var(--accent-contrast);border-radius:.5rem;align-self:flex-start;padding:.6rem 1rem;font-weight:600;text-decoration:none}.ProofPage-module__2FXnCq__cta:hover{background:var(--accent-primary-hover)}.ProofPage-module__2FXnCq__linkList ul{flex-wrap:wrap;gap:.5rem;margin:0;padding:0;list-style:none;display:flex}.ProofPage-module__2FXnCq__linkList a{border:1px solid var(--border-primary);background:var(--background-secondary);border-radius:.5rem;padding:.4rem .8rem;font-size:.95rem;text-decoration:none;display:inline-block}.ProofPage-module__2FXnCq__linkList a:hover{border-color:var(--accent-primary)}.ProofPage-module__2FXnCq__linkList li{padding:0}.ProofPage-module__2FXnCq__linkName{margin-bottom:.15rem;font-weight:600;display:block}.ProofPage-module__2FXnCq__linkList code{color:var(--foreground-secondary);background:0 0;padding:0;font-size:.85rem;display:block}.ProofPage-module__2FXnCq__breadcrumb{color:var(--foreground-tertiary);flex-wrap:wrap;align-items:center;gap:.5rem;font-size:.85rem;display:flex}.ProofPage-module__2FXnCq__breadcrumb a{color:var(--accent-primary)}.ProofPage-module__2FXnCq__description{max-width:46rem;color:var(--foreground-secondary);margin:0;line-height:1.7}.ProofPage-module__2FXnCq__answer{border:1px solid var(--border-primary);background:var(--background-secondary);border-radius:.75rem;flex-direction:column;gap:.75rem;padding:1rem 1.25rem;display:flex}.ProofPage-module__2FXnCq__answerHead{flex-wrap:wrap;align-items:center;gap:.75rem;display:flex}.ProofPage-module__2FXnCq__badge{white-space:nowrap;color:var(--white);border-radius:1rem;align-items:center;gap:.4rem;padding:.3rem .85rem;font-size:.85rem;font-weight:700;display:inline-flex}.ProofPage-module__2FXnCq__badge:before{content:"";background:currentColor;border-radius:50%;flex-shrink:0;width:.5rem;height:.5rem}.ProofPage-module__2FXnCq__badgeValid{background:var(--success-primary)}.ProofPage-module__2FXnCq__badgeInvalid{background:var(--danger700)}.ProofPage-module__2FXnCq__argument{color:var(--foreground-primary);font-family:monospace;font-size:1.1rem}.ProofPage-module__2FXnCq__verdict{color:var(--foreground-secondary);margin:0;line-height:1.6}.ProofPage-module__2FXnCq__cardGrid{grid-template-columns:repeat(auto-fill,minmax(20rem,1fr));gap:.75rem;margin:0;padding:0;list-style:none;display:grid}.ProofPage-module__2FXnCq__cardGrid li{padding:0}.ProofPage-module__2FXnCq__card{text-align:start;border:1px solid var(--border-primary);background:var(--background-secondary);border-radius:10px;flex-direction:column;align-items:stretch;gap:.35rem;height:100%;padding:.9rem 1rem;text-decoration:none;transition:border-color .2s;display:flex}.ProofPage-module__2FXnCq__card:hover,.ProofPage-module__2FXnCq__card:focus-visible{border-color:var(--accent-primary)}.ProofPage-module__2FXnCq__cardName{color:var(--accent-primary);font-weight:600}.ProofPage-module__2FXnCq__cardArgument{color:var(--foreground-primary);font-family:monospace;font-size:.85rem}.ProofPage-module__2FXnCq__cardDescription{color:var(--foreground-secondary);font-size:.85rem;line-height:1.55}.ProofPage-module__2FXnCq__learnLink{color:var(--accent-primary);white-space:nowrap;font-size:.9rem}