publish: Better responsive design of the top-bar.

generated from commit 332c3043d01d915ad7378e064e2ee71b226a0139