inline.width,
inline.width + 1,
    public static void paintBackground(Context c, LineBox line, InlineBox inline, int padX) {        //Uu.p("painting border: " + inline.border);        // paint the background        //int padding_xoff = inline.totalLeftPadding(c.getCurrentStyle());        int padding_yoff = inline.totalTopPadding(c.getCurrentStyle());        int ty = line.getBaseline() - inline.y - inline.height - padding_yoff + line.y;        LineMetrics lm = FontUtil.getLineMetrics(c, inline);        ty += (int) lm.getDescent();        // adjust because padding isn't used for position on inlines        // JMM: This isn't correct!!        //c.translate(-padding_xoff, ty);        // just doing adjustments for vertical insets now        c.translate(0, ty);        int old_width = inline.width;        int old_height = inline.height;        inline.width = inline.width - padX - inline.rightPadding;        inline.height += inline.totalVerticalPadding(c.getCurrentStyle());        // paint the actual background        //BoxRendering.paintBackground(c, inline);        //Border margin = c.getCurrentStyle().getMarginWidth(c.getBlockFormattingContext().getWidth(), c.getBlockFormattingContext().getHeight());        Rectangle box = new Rectangle(inline.x,                inline.y + inline.margin.top + inline.border.top,                inline.width,                inline.height - inline.margin.top - inline.border.top - inline.border.bottom - inline.margin.bottom);        // paint the background        Color background_color = BoxRendering.getBackgroundColor(c);        if (background_color != null) {            // skip transparent background            if (!background_color.equals(BackgroundPainter.transparent)) {                //TODO. make conf controlled Uu.p("filling a background");                c.getGraphics().setColor(background_color);                c.getGraphics().fillRect(box.x, box.y, box.width, box.height);            }        }        Rectangle bounds = new Rectangle(inline.x,                inline.y + inline.margin.top,                inline.width,                inline.height - inline.margin.top - inline.margin.bottom);        BorderPainter.paint(c, bounds, BorderPainter.TOP + BorderPainter.BOTTOM);        inline.width = old_width;        inline.height = old_height;        //c.translate(+padding_xoff, -ty);        c.translate(0, -ty);    }