2024-07-10: Responsive design for mobile

This release includes improved CSS and a burger menu for smaller viewport sizes, so that the app works better for mobile phones. Please test out and report any issues.

What's Changed

• CSS changes for responsive design by @zedhaque in #1646

New Contributors

• @zedhaque made their first contribution in #1646

Full Changelog: 2024-07-03...2024-07-10