- cell(0).draw(pi, x + dw_ + 4, y);
- mathed_draw_deco(pi, x + 4, b, dw_, dim.height(), left_);
- mathed_draw_deco(pi, x + dim.width() - dw_ - 4,
+ int const skip = mathed_thinmuskip(pi.base.font);
+ cell(0).draw(pi, x + dw_ + skip, y);
+ mathed_draw_deco(pi, x + skip / 2, b, dw_, dim.height(), left_);
+ mathed_draw_deco(pi, x + dim.width() - dw_ - skip / 2,