.header-controls {
  display: flex;
  align-items: center;
  gap: 0.5rem;
}

.header-controls select {
  min-width: 190px;
  margin-bottom: 0;
}

textarea#plan {
  width: 100%;
  font-family: ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, monospace;
  font-size: 0.85rem;
  line-height: 1.35;
}

canvas#visualizer {
  width: 100%;
  height: 220px;
  border-radius: 0.5rem;
  border: 1px solid var(--pico-muted-border-color);
  background: color-mix(in srgb, var(--pico-card-background-color) 88%, transparent);
}

output {
  display: block;
  padding: 0.35rem 0.5rem;
  border-radius: 0.35rem;
  background: color-mix(in srgb, var(--pico-muted-border-color) 18%, transparent);
}

.table-wrap {
  overflow-x: auto;
}

.export-buttons {
  display: flex;
  gap: 0.5rem;
}

.badge {
  display: inline-block;
  padding: 0.15rem 0.55rem;
  border-radius: 999px;
  font-size: 0.8rem;
  font-weight: 700;
}

.badge.pass {
  color: rgb(22 163 74);
  background: color-mix(in srgb, rgb(22 163 74) 15%, transparent);
}

.badge.fail {
  color: rgb(220 38 38);
  background: color-mix(in srgb, rgb(220 38 38) 15%, transparent);
}

article header {
  display: flex;
  justify-content: space-between;
  align-items: center;
  gap: 1rem;
}