“line box padding” is another name for Half-leading.