If we made this 20px we could use the default vertical margin variable, which I think is preferable.