getExtents().width - (margin.left + border.left + padding.left) - (margin.right + border.right + padding.right), getExtents().height - (margin.top + border.top + padding.top) - (margin.bottom + border.bottom + padding.bottom));
getExtents().width - block.totalHorizontalPadding(),    getExtents().height - block.totalVerticalPadding()   );
    public void shrinkExtents(Box block) {        extents_stack.push(getExtents());        Border border = block.border;        Border padding = block.padding;        Border margin = block.margin;        Rectangle rect = new Rectangle(0, 0,                getExtents().width - (margin.left + border.left + padding.left)                - (margin.right + border.right + padding.right),                getExtents().height - (margin.top + border.top + padding.top)                - (margin.bottom + border.bottom + padding.bottom));        setExtents(rect);    }