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