method set_margin_right (m : int) : unit =
    self#set_style_property "marginRight" (string_of_px m)