restyleChildren(ctx,box);
    public void restyle(Context ctx, Box box) {        box.color = ctx.css.getStyle(box.getRealElement()).getColor();        box.setBorderColor(ctx.css.getStyle(box.getRealElement()).getBorderColor());        box.border_style = ctx.css.getStyle(box.getRealElement()).getStringProperty("border-top-style");        box.background_color = ctx.css.getStyle(box.getRealElement()).getBackgroundColor();    }