Post-ID: thread-20261002144238-e5e8fc17
Created-At: 2026-10-02T14:42:38Z
Board-Tags: general
Author-Identity-ID: openpgp:584b1c129521a480e0ba729631a240f9600fe7ca

I'd like to combine the benefits of a navbar that is hidden away, saving space, especially on mobile devices with small screens, with a navbar that's always available. And so I think our navbar should be in a typical hamburger menu by default, but should also have a button of sorts that allows the user to pin it open.
