.fsm-controls {
  display: flex;
  flex-wrap: wrap;
  gap: 0.65rem 1rem;
  align-items: end;
  margin-bottom: 0.85rem;
}

.fsm-field {
  display: flex;
  flex-direction: column;
  gap: 0.25rem;
}
.fsm-field label {
  font-size: 0.78rem;
  font-weight: 600;
  color: var(--muted);
  text-transform: uppercase;
  letter-spacing: 0.04em;
}
.fsm-field select,
.fsm-field input {
  font-family: var(--mono);
  font-size: 0.9rem;
  padding: 0.4rem 0.55rem;
  border: 1px solid var(--line);
  border-radius: 8px;
  background: var(--surface);
  color: var(--ink);
  min-width: 5.5rem;
}

.state-graph {
  display: flex;
  flex-wrap: wrap;
  gap: 0.75rem;
  justify-content: center;
  margin: 0.75rem 0 1rem;
  padding: 1rem 0.5rem;
  border: 1px solid var(--line);
  border-radius: 12px;
  background: var(--surface2);
}
.state-node {
  font-family: var(--mono);
  min-width: 5.5rem;
  padding: 0.65rem 0.75rem;
  border: 2px solid var(--line);
  border-radius: 999px;
  text-align: center;
  background: var(--surface);
  cursor: default;
}
.state-node.active {
  border-color: var(--accent);
  background: color-mix(in srgb, var(--accent) 18%, var(--surface));
  font-weight: 700;
  box-shadow: 0 0 0 3px color-mix(in srgb, var(--accent) 25%, transparent);
}
.state-node .out {
  display: block;
  margin-top: 0.25rem;
  font-size: 0.75rem;
  color: var(--muted);
}
.state-node .out.on {
  color: var(--ok, #1b7a3d);
  font-weight: 700;
}

.arc-list {
  list-style: none;
  margin: 0 0 0.85rem;
  padding: 0;
  font-family: var(--mono);
  font-size: 0.82rem;
  display: grid;
  gap: 0.3rem;
}
.arc-list li {
  padding: 0.35rem 0.55rem;
  border: 1px solid var(--line);
  border-radius: 8px;
  background: var(--surface);
}
.arc-list li.fire {
  border-color: var(--accent);
  background: color-mix(in srgb, var(--accent) 12%, var(--surface));
}

.ttable {
  width: 100%;
  border-collapse: collapse;
  font-family: var(--mono);
  font-size: 0.82rem;
  margin: 0.5rem 0 0.85rem;
}
.ttable th,
.ttable td {
  border: 1px solid var(--line);
  padding: 0.35rem 0.45rem;
  text-align: left;
  vertical-align: middle;
}
.ttable th {
  background: var(--surface2);
  font-size: 0.72rem;
  text-transform: uppercase;
  color: var(--muted);
}
.ttable select,
.ttable input {
  font-family: var(--mono);
  font-size: 0.8rem;
  padding: 0.2rem 0.3rem;
  max-width: 5.5rem;
  border: 1px solid var(--line);
  border-radius: 4px;
  background: var(--surface);
  color: var(--ink);
}
.ttable tr.cur {
  background: color-mix(in srgb, var(--accent) 10%, var(--surface));
}

.stream-row {
  display: flex;
  flex-wrap: wrap;
  gap: 0.3rem;
  margin: 0.5rem 0 0.75rem;
}
.stream-row .bit {
  font-family: var(--mono);
  min-width: 1.7rem;
  text-align: center;
  padding: 0.35rem 0.25rem;
  border: 1px solid var(--line);
  border-radius: 6px;
  background: var(--surface);
}
.stream-row .bit.done {
  opacity: 0.5;
}
.stream-row .bit.cur {
  border-color: var(--accent);
  font-weight: 700;
  background: color-mix(in srgb, var(--accent) 18%, var(--surface));
}

.status-strip {
  display: flex;
  flex-wrap: wrap;
  gap: 0.75rem 1.25rem;
  font-family: var(--mono);
  font-size: 0.9rem;
  margin-bottom: 0.75rem;
  padding: 0.55rem 0.75rem;
  border: 1px solid var(--line);
  border-radius: 10px;
  background: var(--surface2);
}

.wave-z {
  font-family: var(--mono);
  font-size: 0.85rem;
  letter-spacing: 0.06em;
  margin: 0.25rem 0 0.75rem;
}

.fsm-meta {
  margin: 0.35rem 0 0.65rem;
  font-size: 0.88rem;
  color: var(--muted);
}

.log-list {
  list-style: none;
  margin: 0;
  padding: 0;
  max-height: 9rem;
  overflow: auto;
  border: 1px solid var(--line);
  border-radius: 10px;
  font-family: var(--mono);
  font-size: 0.8rem;
}
.log-list li {
  padding: 0.3rem 0.6rem;
  border-bottom: 1px solid var(--line);
}
.log-list li:last-child {
  border-bottom: none;
}