.about[data-v-6fc55e01]{margin-top:1rem}.toggle[data-v-6fc55e01]{color:var(--accent);cursor:pointer;font:inherit;background:0 0;border:none;padding:0}.body[data-v-6fc55e01]{margin-top:.5rem}.row[data-v-f636373a]{flex-wrap:wrap;align-items:center;gap:1rem;display:flex}.diff[data-v-40cc0c36]{margin-top:1rem}.big[data-v-40cc0c36]{font-size:1.15em;font-weight:600}.proof[data-v-40cc0c36]{word-break:break-all}.delta[data-v-40cc0c36]{border-collapse:collapse;margin-top:.5rem;font-size:.85em}.delta th[data-v-40cc0c36],.delta td[data-v-40cc0c36]{border:1px solid var(--panel);text-align:left;padding:.25rem .5rem}.copy[data-v-40cc0c36]{margin-top:.75rem}.report[data-v-dbc913ed]{white-space:pre;max-height:22rem;font-size:.85em;overflow:auto}.grid[data-v-417df0f4]{grid-template-columns:repeat(auto-fit,minmax(300px,1fr));gap:1rem;display:grid}.row[data-v-2141b125]{align-items:center;gap:1rem;margin-bottom:.75rem;display:flex}:root{--bg:#0b0f17;--panel:#131a26;--panel-2:#0f1520;--border:#26303f;--text:#e6edf3;--muted:#8b97a7;--accent:#3b82f6;--ok:#22c55e;--bad:#ef4444;--mono:ui-monospace, SFMono-Regular, "SF Mono", Menlo, Consolas, monospace;color-scheme:dark;color:var(--text);background:var(--bg);font-family:system-ui,-apple-system,Segoe UI,Roboto,Helvetica,Arial,sans-serif;font-size:15px;line-height:1.5}*{box-sizing:border-box}body{min-height:100vh;margin:0}#app{max-width:1200px;margin:0 auto;padding:1.5rem}a{color:var(--accent);text-decoration:none}a:hover{text-decoration:underline}h1,h2,h3{line-height:1.25}code,pre,.mono{font-family:var(--mono)}button{font:inherit;color:var(--text);background:var(--panel);border:1px solid var(--border);cursor:pointer;border-radius:6px;padding:.4rem .8rem}button:hover:not(:disabled){border-color:var(--accent)}button:disabled{opacity:.5;cursor:default}textarea,input,select{font:inherit;color:var(--text);background:var(--panel-2);border:1px solid var(--border);border-radius:6px;padding:.4rem .6rem}textarea{font-family:var(--mono);width:100%}.panel{background:var(--panel);border:1px solid var(--border);border-radius:8px;padding:1rem}.muted{color:var(--muted)}.status-ok{color:var(--ok)}.status-bad{color:var(--bad)}