if (curr_line.height < curr_line.ascent + curr_line.descent) { curr_line.height = curr_line.ascent + curr_line.descent;
if (curr_line.height < curr_line.inlineTop + curr_line.inlineBottom) { curr_line.height = curr_line.inlineTop + curr_line.inlineBottom;
    static void adjustLineHeight(LayoutContext c, LineBox curr_line, InlineBox new_inline) {        int lineHeight;        int ascent;        int descent;        if (new_inline instanceof InlineTextBox && !((InlineTextBox) new_inline).getSubstring().equals("")) {            // should be the metrics of the font, actually is the metrics of the text            LineMetrics metrics = FontUtil.getLineMetrics(new_inline.getStyle().getFont(c), new_inline, c.getTextRenderer(), c.getGraphics());            lineHeight = (int) Math.round(new_inline.getStyle().getCalculatedStyle().getLineHeight(c));            ascent = (int) metrics.getAscent();            descent = (int) metrics.getDescent();        } else {            lineHeight = new_inline.height;//assume height for empty InlineTextBox is 0            ascent = lineHeight;            descent = 0;        }        if (lineHeight > curr_line.height) {            curr_line.height = lineHeight;        }        int raised = VerticalAlign.getBaselineOffset(c, curr_line, new_inline, c.getTextRenderer(), c.getGraphics(), c.getBlockFormattingContext());        if (ascent + raised > curr_line.ascent) {            curr_line.ascent = ascent + raised;        }        if (descent - raised > curr_line.descent) {            curr_line.descent = descent - raised;        }        if (curr_line.height < curr_line.ascent + curr_line.descent) {            curr_line.height = curr_line.ascent + curr_line.descent;        }    }