method
set_margin_left (m : int) : unit =
self
#
set_style_property
"marginLeft"
(string_of_px m)