/* Terminal styling */
.terminal-header {
  background-color: #f5f5f5 !important;
  border-bottom: 1px solid #e0e0e0 !important;
  padding: 8px 15px;
}

.terminal-title {
  color: #333 !important;
}

.terminal-container {
  background-color: white !important;
}

.terminal-content {
  background-color: white !important;
  color: #333 !important;
  padding: 15px;
  font-family: 'Courier New', monospace;
}

.terminal-line {
  color: #333 !important;
  font-family: 'Courier New', monospace !important;
  margin-bottom: 8px;
}