If there's no leading widget, we just want 8.0 pixels of padding instead of all
the padding to get over to the 72.0 pixel key line.

Fixes #2912