/* Header kompakter machen (global, ohne dein bestehendes Design zu zerstören) */
header .nav {
  padding: 0.45rem 0 !important; /* vorher oft 0.9rem */
}

header .brand-logo {
  height: 120px !important;      /* vorher oft 200px */
  width: auto !important;
  display: block !important;
}

/* Optional: wenn du irgendwo nochmal extra Abstand im Header hast */
header .container {
  padding-top: 0 !important;
  padding-bottom: 0 !important;
}

/* Mobile etwas kleiner */
@media (max-width: 640px) {
  header .brand-logo { height: 70px !important; }
  header .nav { padding: 0.35rem 0 !important; }
}