/* 1) Banner = textarea border color */
.bg-custom {
  background-color: #86B7FE !important;
}

/* 2) Ensure the brand text still shows up dark-on-light */
.navbar-light .navbar-brand {
  color: #000;
}

/* 3) (Optional) If you want the logout hover to match exactly */
#logout-btn:hover {
  background-color: var(--bs-primary-dark);
  border-color: var(--bs-primary-dark);
}

/* Don’t let the editor use full-height; size it via rows instead */
#code-editor.full-height {
  height: auto !important;
}