public void paintMarginAreas(RenderingContext c, int additionalClearance, short mode) {
for (int i = 0; i < MARGIN_AREA_DEFS.length; i++) {
MarginAreaContainer container = _marginAreas[i];
if (container != null) {
TableBox table = _marginAreas[i].getTable();
Point p = container.getArea().getPaintingPosition(
c, this, additionalClearance, mode);
c.getOutputDevice().translate(p.x, p.y);
table.getLayer().paint(c);
c.getOutputDevice().translate(-p.x, -p.y);
}
}
}