/* Greet Playground — minimal overrides; Bootstrap handles layout */

pre {
  font-family: "SF Mono", "Fira Code", "Fira Mono", "Roboto Mono", Menlo, Courier, monospace;
  font-size: 0.875rem;
  white-space: pre-wrap;
  word-break: break-all;
  margin: 0;
  max-height: 480px;
  overflow-y: auto;
}

#result-panel pre {
  min-height: 120px;
}

#console-panel pre {
  min-height: 120px;
}

textarea#options {
  font-family: "SF Mono", "Fira Code", "Fira Mono", "Roboto Mono", Menlo, Courier, monospace;
  font-size: 0.8125rem;
  min-height: 120px;
}

.card-header {
  font-weight: 600;
}

#examples-container .badge {
  cursor: pointer;
  font-size: 0.85rem;
  padding: 0.45em 0.75em;
}

#examples-container .badge:hover {
  opacity: 0.85;
}

.output-card {
  min-height: 200px;
}