document.getElementById("filter-button").addEventListener("click", function() {
    document.getElementById("mobile-menu").classList.toggle("hidden");
});
document.getElementById("hide-filter-button").addEventListener("click", function() {
    document.getElementById("mobile-menu").classList.toggle("hidden");
});