/* Terminal-specific styles beyond layout.css basics */
.terminal-output pre {
  margin: 0;
  font: inherit;
  white-space: pre;
  color: inherit;
}