method set_width  (w : int) : unit =
    self#set_style_property "width" (string_of_px w)