Gtk_compat.Pango
val set_small_font : GObj.widget -> unit
makes the font smaller.
val set_bold_font : GObj.widget -> unit
makes the font bold.