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