1 style "gtk-default-iso-8859-14" {
2 fontset = "-*-helvetica-medium-r-normal--12-*-*-*-*-*-iso8859-1,\
3 -*-arial-medium-r-normal--12-*-*-*-*-*-iso8859-1,\
4 -*-helvetica-medium-r-normal--12-*-*-*-*-*-iso8859-14,\
5 -*-arial-medium-r-normal--12-*-*-*-*-*-iso8859-14"
7 class "GtkWidget" style "gtk-default-iso-8859-14"