9f88a355

By: Michael Lynch <git@mtlynch.io>

Replace mobile hamburger menu with More dropdown

Keep Home and Lists visible at every viewport size. Move secondary navigation
and logout into a right-aligned More dropdown so it remains within the mobile
viewport.

Testing: nix flake check; ./dev-scripts/git-hooks/pre-commit

Suite timing

Time to Start Worker time Duration Time to finish Idle
Config 2s 11s 11s 13s 2s
Eval 10s 44s 44s 55s 0s
Build 38s 8m14s 2m02s 2m41s 0s
Suite 2s 9m10s 2m39s 2m41s 2s

Timeline

0s20s40s1m1m20s1m40s2m2m20s2m40s