.labs-proof{margin-top:.85rem}.labs-proof-toggle{display:flex;width:100%;align-items:center;justify-content:space-between;gap:12px;padding:10px 12px;border:1px solid #e5e1f0;border-radius:10px;background:#faf9fc;color:#2a2540;font:inherit;font-size:14px;font-weight:600;cursor:pointer;text-align:left}.labs-proof-toggle:hover{background:#f3f0fa}.labs-proof-meta{font-weight:500;color:#5a5475;font-size:13px;white-space:nowrap}.labs-proof-body{margin-top:10px;padding:12px 4px 4px;border-top:1px solid #ece8f4}.labs-punchline{font-family:Manrope,system-ui,sans-serif;font-size:1.15rem;font-weight:800;line-height:1.35;margin:0 0 .65rem;color:#0f0d1a}.labs-punchline-sm{font-family:Manrope,system-ui,sans-serif;font-size:1rem;font-weight:700;line-height:1.4;margin:0 0 .35rem;color:#0f0d1a}.labs-implication-list{margin:0 0 .75rem;padding-left:1.15rem;font-size:.92rem;line-height:1.45;color:#3d3755}.labs-implication-list>li{margin:0 0 .35rem}.labs-identity-line{margin:0 0 .65rem;font-size:.85rem;color:#5a5475;line-height:1.4}