Issue #229: Improve top & bottom padding for bookmark labels.