/* Subsets enumeration page */

.subsets-stage {
  padding: 24px 28px 32px;
  display: flex; flex-direction: column; gap: 18px;
}

/* Bitmask table */
.bitmask-table {
  font-family: 'system-ui', monospace;
  font-size: 12px;
  border-collapse: collapse;
}
.bitmask-table th, .bitmask-table td {
  padding: 3px 8px;
  border: 1px solid var(--line);
  text-align: center;
  background: var(--surface);
}
.bitmask-table th {
  font-family: 'system-ui', sans-serif;
  font-size: 10px;
  text-transform: uppercase;
  letter-spacing: 0.08em;
  color: var(--muted);
  font-weight: 600;
  background: var(--surface-2);
}
.bitmask-table tr.current td { background: var(--accent-soft); font-weight: 600; }
.bitmask-table td.bit-1 { background: var(--cool); color: white; font-weight: 600; }
.bitmask-table tr.current td.bit-1 { background: var(--accent); }

/* Recursion tree */
.rec-tree-wrap {
  background: var(--surface);
  border: 1px solid var(--line);
  border-radius: 10px;
  padding: 12px;
  overflow: auto;
}
.rec-tree-svg { display: block; font-family: 'system-ui', monospace; }

.rec-edge {
  stroke: var(--line-strong);
  stroke-width: 1.5;
  fill: none;
  transition: stroke 0.18s, stroke-width 0.18s;
}
.rec-edge.taken { stroke: var(--cool); stroke-width: 2.5; }
.rec-edge.in { stroke: var(--good); }
.rec-edge.out { stroke: oklch(0.6 0.05 30); stroke-dasharray: 4 4; }

.rec-node circle {
  fill: var(--surface);
  stroke: var(--line-strong);
  stroke-width: 1.5;
  transition: fill 0.18s, stroke 0.18s;
}
.rec-node.current circle {
  fill: var(--accent);
  stroke: var(--accent);
}
.rec-node.visited circle {
  fill: var(--cool-soft);
  stroke: var(--cool);
}
.rec-node.leaf circle {
  fill: var(--good-soft);
  stroke: var(--good);
}
.rec-node text {
  font-size: 10px;
  fill: var(--ink);
  text-anchor: middle;
  dominant-baseline: central;
  pointer-events: none;
}
.rec-node.current text { fill: white; }
.rec-edge-label {
  font-family: 'system-ui', monospace;
  font-size: 9px;
  fill: var(--muted);
  text-anchor: middle;
}
.rec-edge-label.in { fill: var(--good); font-weight: 600; }
.rec-edge-label.out { fill: oklch(0.55 0.1 30); }