}
if (! ignoreAutoMargins || ! getStyle().isAutoRightMargin()) {
result += (int)margin.right();
}
BorderPropertySet border = getBorder(c);
result += (int)border.left() + (int)border.right();
if (! getStyle().isCollapseBorders()) {
RectPropertySet padding = getPadding(c);
int hSpacing = getStyle().getBorderHSpacing(c);
result += padding.left() + padding.right() + (numEffCols()+1) * hSpacing;
}