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