double deflatePaddingBorderHeight(double borderBoxHeight) { return borderBoxHeight - paddingTop.computedValue - paddingBottom.computedValue - border.top - border.bottom; }