.lede.svelte-k82qkc{margin-top:2.6rem}.explorer-wrap.svelte-k82qkc{margin-top:1.6rem}.explorer-placeholder.svelte-k82qkc,.explorer-load-error.svelte-k82qkc{min-height:34rem}.explorer-placeholder.svelte-k82qkc{display:grid;grid-template-rows:5.5rem minmax(0,1fr);gap:1.25rem}.explorer-placeholder-picker.svelte-k82qkc,.explorer-placeholder-body.svelte-k82qkc>div:where(.svelte-k82qkc){border:1px solid oklch(.4 .04 270 / .16);border-radius:16px;background:#0a0d1573}.explorer-placeholder-body.svelte-k82qkc{display:grid;grid-template-columns:minmax(0,1.1fr) minmax(0,.9fr);gap:1.75rem}.explorer-load-error.svelte-k82qkc{display:grid;place-content:center;justify-items:center;gap:.85rem;padding:2rem;color:#d1d7e9;text-align:center;border:1px solid oklch(.4 .04 270 / .16);border-radius:16px;background:#0a0d1573}.explorer-load-error.svelte-k82qkc button:where(.svelte-k82qkc){min-height:var(--min-touch-target, 44px);padding-inline:1rem;color:#e6ebf9;font:inherit;font-weight:650;cursor:pointer;border:1px solid oklch(.62 .1 270 / .55);border-radius:10px;background:#2d3a6780}@media(max-width:767px){.explorer-placeholder.svelte-k82qkc{min-height:46rem}.explorer-placeholder-body.svelte-k82qkc{grid-template-columns:1fr;grid-template-rows:repeat(2,minmax(0,1fr));gap:1.25rem}}.inline-tok.svelte-k82qkc{font-family:SFMono-Regular,ui-monospace,Cascadia Code,Menlo,monospace;font-size:.92em;color:#34dde5;padding:0 .15em}.table-scroll.svelte-k82qkc{overflow-x:auto;margin:1.6rem 0;border-radius:12px;border:1px solid oklch(.4 .04 270 / .16)}.theorem-table.svelte-k82qkc{width:100%;min-width:32rem;border-collapse:collapse;font-size:clamp(.85rem,.8rem + .14vw,.98rem)}.theorem-table.svelte-k82qkc caption:where(.svelte-k82qkc){caption-side:top;text-align:left;padding:.8rem 1rem .6rem;font-size:.82rem;color:#7b808d;background:#0a0d1599}.theorem-table.svelte-k82qkc th:where(.svelte-k82qkc),.theorem-table.svelte-k82qkc td:where(.svelte-k82qkc){padding:.65rem 1rem;text-align:left;border-top:1px solid oklch(.4 .04 270 / .14);color:#c1c4cc}.theorem-table.svelte-k82qkc thead:where(.svelte-k82qkc) th:where(.svelte-k82qkc){color:#999eab;font-size:.78rem;text-transform:uppercase;letter-spacing:.06em;border-top:none}.theorem-table.svelte-k82qkc tbody:where(.svelte-k82qkc) th[scope=row]:where(.svelte-k82qkc){font-weight:600;color:#dfe4f2;white-space:nowrap}.theorem-table.svelte-k82qkc td.result-blocked:where(.svelte-k82qkc){color:#ea6a64}.icon-legend.svelte-k82qkc{list-style:none;margin:1.4rem 0;padding:0;display:flex;flex-direction:column;gap:.7rem}.legend-row.svelte-k82qkc{display:flex;align-items:center;gap:.9rem;padding:.6rem .9rem;background:#0a0d1573;border:1px solid oklch(.4 .04 270 / .14);border-radius:10px}.legend-icon.svelte-k82qkc{flex:0 0 auto;display:grid;place-items:center;width:32px}.legend-text.svelte-k82qkc{font-size:clamp(.88rem,.84rem + .12vw,1rem);color:#b4b7bf}.legend-text.svelte-k82qkc strong:where(.svelte-k82qkc){color:#dfe4f2}.deck-cta.svelte-k82qkc{margin-top:.6rem}