There’s a bit of code in src/ui.bar.js to adapt the Mavo toolbar to different sizing conditions. We should simply use container queries for it, since these days they’re supported everywhere (Baseline 2023!).
This may be a good issue for someone who has been looking for an excuse to try container queries 😄