BoxRendering.paint( c, body_box, false, false );
c.pushStyle(new CascadedStyle()); BoxRendering.paint(c, body_box, false, false); c.popStyle();
    protected void doRender( Context c ) {        // paint the normal swing background first        // but only if we aren't printing.        Graphics g = c.getGraphics();        if ( !( g instanceof PrinterGraphics ) ) {            g.setColor( getBackground() );            g.fillRect( 0, 0, getWidth(), getHeight() );        }        // start painting the box tree        BoxRendering.paint( c, body_box, false, false );//no restyle demanded on top level    }