.set-counts{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:8px;margin:0 0 20px}.set-counts div{padding:10px 12px;border:1px solid var(--color-slate-200);border-radius:8px}.set-counts dt{color:var(--color-slate-600);font-size:.8125rem}.set-counts dd{margin:3px 0 0;color:var(--color-slate-900);font-variant-numeric:tabular-nums;font-size:1.125rem;font-weight:700}.set-counts div:last-child{grid-column:1 / -1}.set-result-count{font-size:.875rem;color:var(--color-slate-600)}.set-example{margin:12px 0;display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:12px}.set-example pre{margin:6px 0 0;padding:12px;border:1px solid var(--color-slate-200);border-radius:8px;background:var(--color-surface-secondary);overflow-wrap:anywhere;white-space:pre-wrap}#resultText{min-height:260px}