/* Minimal additions for terminal + diff; safe to overwrite */
.terminal {
  background:#0b0e10;
  color:#e8ffe8;
  border:1px solid #2b3036;
  border-radius:8px;
  padding:12px 14px;
  font-family: ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace;
  font-size:.9rem; line-height:1.35; white-space:pre; overflow-x:auto;
}
.diff-note { color:#9cc3ff; }
.diff-changed { color:#ffd970; }   /* yellow-ish */
.diff-added   { color:#9cff9c; }   /* green */
.diff-removed { color:#ff9c9c; }   /* red */
.small-muted { color:#aeb7c2; font-size:.85rem; }
.card.bg-panel{ background:#171b20; border-color:#2b3036; }
.nav-tabs .nav-link.active { background:#171b20; color:#e9eef4; border-color:#2b3036; }