external set_light : style -> state_type -> Gdk.color -> unit
      = "ml_gtk_style_set_light"