The images from that post:
It would be pretty easy to submit a PR that adds some margin or padding at the bottom there, if you want.
Submitted a PR.
I thought I was going to only deal with CSS
PR was merged, thanks
urgh not just mobile. The patch is broken due to timing issues
Just fixed this