.proof-example-content{max-width:900px}.proof-summary-grid{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:12px;margin:20px 0 24px}.proof-summary-grid.compact{grid-template-columns:repeat(3,minmax(0,1fr))}.proof-summary-item{min-width:0;padding:16px;background:var(--card-color);border:1px solid var(--card-border-color);border-radius:8px}.proof-artifact span,.proof-summary-item span{display:block;font-family:var(--font-mono);font-size:.78rem;color:var(--muted-text-color);overflow-wrap:anywhere}.proof-summary-item strong{display:block;margin-top:6px;font-family:var(--font-mono);font-size:1rem;color:var(--text-color);overflow-wrap:anywhere}.proof-status.pass{color:#047857}.proof-status.fail{color:#b91c1c}.proof-artifact-list{display:grid;gap:10px;margin:20px 0 28px}.proof-artifact{display:grid;grid-template-columns:minmax(180px,2fr) minmax(120px,1fr) minmax(140px,1fr) minmax(70px,.5fr);gap:12px;align-items:center;min-width:0;padding:14px 16px;background:var(--card-color);border:1px solid var(--card-border-color);border-radius:8px;text-decoration:none}.proof-artifact:hover{border-color:var(--accent-primary);background:var(--card-hover-color);text-decoration:none}.proof-artifact-name{color:var(--accent-primary)!important}.proof-console{margin-top:32px}@media (prefers-color-scheme:dark){.proof-status.pass{color:#34d399}.proof-status.fail{color:#f87171}}@media (max-width:768px){.proof-summary-grid,.proof-summary-grid.compact{grid-template-columns:repeat(2,minmax(0,1fr))}.proof-artifact{grid-template-columns:1fr}}@media (max-width:480px){.proof-summary-grid,.proof-summary-grid.compact{grid-template-columns:1fr}}