1.31.0 (2024-10-06)

Bug Fixes

• mobile: improved styling on mobile when the resource's name is too large to fit the screen (bf24d94)

Features

• mobile: replaced the scrolling menu and associated notification with a hamburger + popup menu (b2814b9), closes #17