[mobile] Autohide editor header

[Fern (they/them)]

To maximize content space on mobile devices, we could hide the header when the user scrolls. We could use Headroom.js for this.