style "gtk-default-az" {
       fontset = "-*-helvetica-medium-r-normal--12-*-*-*-*-*-iso8859-1,\
                  -*-arial-medium-r-normal--12-*-*-*-*-*-iso8859-1,\
		  -*-helvetica-medium-r-normal--12-*-*-*-*-*-iso8859-9e,\
		  -*-arial-medium-r-normal--12-*-*-*-*-*-iso8859-9e,*-r-*"
		  -*-helvetica-medium-r-normal--12-*-*-*-*-*-iso10646-1,\
		  -*-arial-medium-r-normal--12-*-*-*-*-*-iso10646-1,*-r-*"
}
class "GtkWidget" style "gtk-default-az"