external get_font : style -> Gdk.font = "ml_gtk_style_get_font"