double deflatePaddingBorderWidth(double borderBoxWidth) { return borderBoxWidth - paddingLeft.computedValue - paddingRight.computedValue - border.left - border.right; }