:root{--rc-border:rgba(140,168,215,.18);--rc-glow:rgba(63,140,255,.14)}.panel{border:1px solid var(--rc-border);box-shadow:0 18px 60px rgba(0,0,0,.18)}.case-item,.ledger,.assertion{padding:.8rem 0;border-bottom:1px solid var(--rc-border)}.case-item:last-child,.ledger:last-child,.assertion:last-child{border-bottom:0}.case-item form{float:right}.boundary{font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:.8rem;letter-spacing:.04em;padding:.8rem 1rem;border:1px solid var(--rc-border);border-radius:10px;background:var(--rc-glow);margin-top:1rem}.tablewrap,.table-wrap{overflow:auto}pre{white-space:pre-wrap;overflow-wrap:anywhere;font-size:.78rem;background:rgba(0,0,0,.18);padding:.75rem;border-radius:8px}.hash code{overflow-wrap:anywhere}.cards{display:grid;grid-template-columns:repeat(auto-fit,minmax(260px,1fr));gap:1rem}.card{display:flex;flex-direction:column;gap:.45rem;padding:1rem;border:1px solid var(--rc-border);border-radius:12px;text-decoration:none}.grid.stats{grid-template-columns:repeat(auto-fit,minmax(130px,1fr));gap:1rem;margin:1rem 0}.grid.stats>div{padding:1rem;border:1px solid var(--rc-border);border-radius:12px}.grid.stats b{font-size:1.6rem;display:block}.grid.stats span{font-size:.78rem;opacity:.72}