}
}*/
    private void restyle(InlineBox ib) {        // if moved out of the old block then unstyle it        if(prev != null && prev != ib) {            Layout lt = LayoutFactory.getLayout(prev.getRealElement());            if(lt instanceof InlineLayout) {                ((InlineLayout)lt).restyleNormal(panel.getContext(), prev);                panel.repaint();            }        }                if(prev == ib) {            return;        }        prev = ib;        // return if no new hovered block;        if(ib == null) { return; }                u.p("ib = " + ib);        CalculatedStyle style = panel.getContext().css.getStyle(ib.getRealElement());        u.p("calc style = " + style);        u.p("color = " + style.getColor());                //panel.hovered_element = ib.getRealElement();        boolean b = panel.getContext().css.wasHoverRestyled(ib.getRealElement());        u.p("was styled = " + b);                style = panel.getContext().css.getStyle(ib.getRealElement());        u.p("calc style = " + style);        u.p("color = " + style.getColor());        // if the block has a hover style then restyle it        /*        if(ib.hasHoverStyle()) {            prev = ib;            Layout lt = LayoutFactory.getLayout(ib.getRealElement());            if(lt instanceof InlineLayout) {                ((InlineLayout)lt).restyleHover(panel.getContext(), ib);                panel.repaint();            }        }        */    }