.header {
  background: #126FA3;
  color: white;
  padding: 2px 10px;         /* smaller height */
  display: flex;
  justify-content: flex-end;
  align-items: center;
}

.navbar-buttons button {
  background: white;
  color: #003366;
  border: none;
  margin-left: 6px;
  padding: 2px 6px;          /* smaller button height */
  font-size: 12px;           /* smaller text */
  cursor: pointer;
  font-weight: bold;
  border-radius: 3px;
  line-height: 1.2;
  transition: background 0.2s ease;
}

.navbar-buttons button:hover {
  background: #e0e0e0;
}