/* Smoothly hide unfiltered properties */
.lotcard.hidden {
  display: none;
}
.filter-btn {
  min-width: 7rem;
}

/* Optional styling for active button */
.filter-btn.active {
  background-color: #0a53be;
  color: white;
  font-weight: bold;
}