Default styling mobile menuGithubGithubOctober 31, 2022dashboardThis release adds better default styling for the mobile menu