.smc-tool[data-astro-cid-6ymvistv]{max-width:1180px;margin:0 auto;padding:52px 28px 90px}.smc-tool__kicker[data-astro-cid-6ymvistv]{font-family:var(--font-mono);letter-spacing:.08em;color:var(--muted);margin:0 0 16px;font-size:11px}.smc-tool__title[data-astro-cid-6ymvistv]{font-family:var(--font-display);font-size:var(--fs-8);margin:0 0 18px;font-weight:400;line-height:1.06}.smc-tool__intro[data-astro-cid-6ymvistv]{color:var(--ink-2);max-width:64ch;margin:0 0 18px;font-size:19px;line-height:1.6}.smc-tool__states[data-astro-cid-6ymvistv]{color:var(--ink-2);text-wrap:pretty;max-width:74ch;margin:0 0 34px;font-size:19px;line-height:1.62}.smc-tool__state[data-astro-cid-6ymvistv]{color:var(--ink);white-space:nowrap;font-weight:600}.smc-tool__glyph[data-astro-cid-6ymvistv]{font-size:.86em}.smc-tool__glyph--settled[data-astro-cid-6ymvistv]{color:var(--state-done)}.smc-tool__glyph--frontier[data-astro-cid-6ymvistv]{color:var(--flow-write)}.smc-tool__glyph--unreached[data-astro-cid-6ymvistv]{color:var(--muted)}.smc-tool__controls[data-astro-cid-6ymvistv]{flex-wrap:wrap;align-items:center;gap:10px;padding:16px 0 26px;display:flex}@media (width<=1119px),(pointer:coarse){.smc-tool__select[data-astro-cid-6ymvistv]{min-height:44px}}.smc-tool__btn[data-astro-cid-6ymvistv]{border:1px solid var(--stroke-ui);cursor:pointer;background:0 0;border-radius:3px;min-height:44px;padding:10px 16px;font-size:15px}.smc-tool__btn--solid[data-astro-cid-6ymvistv]{border:1px solid var(--stroke-structure);background:var(--ink);color:var(--ink-inverse);padding:10px 18px}.smc-tool__btn--text[data-astro-cid-6ymvistv]{color:var(--muted);background:0 0;border:0;text-decoration:underline}.smc-tool__stats[data-astro-cid-6ymvistv]{border-top:1px solid var(--rule);border-bottom:1px solid var(--rule);grid-template-columns:repeat(2,minmax(0,1fr));gap:28px;margin:0 0 30px;padding:20px 0;display:grid}.smc-tool__stat-label[data-astro-cid-6ymvistv]{font-family:var(--font-mono);letter-spacing:.08em;color:var(--muted);margin:0 0 5px;font-size:11px}.smc-tool__stat-value[data-astro-cid-6ymvistv]{font-family:var(--font-display);font-variant-numeric:tabular-nums;margin:0;font-size:30px}.smc-tool__verdict[data-astro-cid-6ymvistv]{color:var(--ink);text-wrap:pretty;max-width:74ch;margin:0 0 18px;font-size:19px;line-height:1.62}.smc-tool__note[data-astro-cid-6ymvistv]{color:var(--ink-2);text-wrap:pretty;max-width:74ch;margin:0;font-size:19px;line-height:1.62}.smc-tool__explanation[data-astro-cid-6ymvistv]{max-width:78ch;margin:56px 0 0}.smc-tool__explanation[data-astro-cid-6ymvistv] h2[data-astro-cid-6ymvistv]{font-family:var(--font-display);font-size:var(--fs-6);margin:0 0 16px;font-weight:400;line-height:1.15}.smc-tool__explanation[data-astro-cid-6ymvistv] p[data-astro-cid-6ymvistv]{color:var(--ink-2);font-size:18px;line-height:1.7}.smc-tool__code[data-astro-cid-6ymvistv]{border:1px solid var(--rule);background:var(--surface-sunk);border-radius:4px;padding:20px;font-size:14px;line-height:1.55;overflow-x:auto}.smc-tool__table-wrap[data-astro-cid-6ymvistv]{margin:24px 0;overflow-x:auto}.smc-tool__table-wrap[data-astro-cid-6ymvistv] table[data-astro-cid-6ymvistv]{border-collapse:collapse;width:100%;min-width:620px}.smc-tool__table-wrap[data-astro-cid-6ymvistv] th[data-astro-cid-6ymvistv],.smc-tool__table-wrap[data-astro-cid-6ymvistv] td[data-astro-cid-6ymvistv]{border-bottom:1px solid var(--rule);text-align:left;vertical-align:top;padding:12px 14px}.smc-tool__explanation[data-astro-cid-6ymvistv] .smc-tool__source-note[data-astro-cid-6ymvistv]{font-size:14px}@media (width<=640px){.smc-tool[data-astro-cid-6ymvistv]{padding-left:20px;padding-right:20px}.smc-tool__stats[data-astro-cid-6ymvistv]{grid-template-columns:repeat(2,minmax(0,1fr));gap:18px 14px}.smc-tool__controls[data-astro-cid-6ymvistv]{gap:8px}}.smc-tool__back[data-astro-cid-6ymvistv]{font-size:var(--fs-2);margin:0}.smc-tool__back[data-astro-cid-6ymvistv] a[data-astro-cid-6ymvistv]{align-items:center;min-height:44px;text-decoration:none;display:inline-flex}.smc-tool__back[data-astro-cid-6ymvistv] a[data-astro-cid-6ymvistv]:hover,.smc-tool__back[data-astro-cid-6ymvistv] a[data-astro-cid-6ymvistv]:focus-visible{text-decoration:underline}