external set_dark : style -> state_type -> Gdk.color -> unit
      = "ml_gtk_style_set_dark"