.costa-repl {
  margin: 1.5rem 0;
  border: 1px solid var(--pst-color-border, #ccc);
  border-radius: 0.25rem;
  padding: 1rem;
}

.costa-repl-status {
  color: var(--pst-color-text-muted, #666);
  margin-bottom: 0.75rem;
}

.costa-repl-input {
  display: block;
  width: 100%;
  box-sizing: border-box;
  font-family: ui-monospace, "Cascadia Code", "Source Code Pro", Menlo, monospace;
  font-size: 0.9rem;
  padding: 0.75rem;
  margin-bottom: 0.75rem;
  border: 1px solid var(--pst-color-border, #ccc);
  border-radius: 0.25rem;
  resize: vertical;
}

.costa-repl-run {
  margin-bottom: 0.75rem;
  padding: 0.4rem 0.8rem;
}

.costa-repl-run:disabled {
  opacity: 0.6;
  cursor: not-allowed;
}

.costa-repl-output {
  background: #111;
  color: #0f0;
  padding: 1rem;
  min-height: 3rem;
  overflow-x: auto;
  margin: 0;
  border-radius: 0.25rem;
  font-family: ui-monospace, "Cascadia Code", "Source Code Pro", Menlo, monospace;
  font-size: 0.85rem;
}