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