external get_dark : style -> state_type -> Gdk.color
      = "ml_gtk_style_get_dark"