style "gtk-default-tr" { fontset = "-*-helvetica-medium-r-normal--12-*-*-*-*-*-iso8859-1,\ -*-arial-medium-r-normal--12-*-*-*-*-*-iso8859-1,\" -*-helvetica-medium-r-normal--12-*-*-*-*-*-iso8859-9,\" -*-arial-medium-r-normal--12-*-*-*-*-*-iso8859-9" } class "GtkWidget" style "gtk-default-tr"