style "gtk-default-hy" {
       fontset = "-*-helvetica-medium-r-normal--12-*-*-*-*-*-iso8859-1,\
		  -*-armnet helvetica-medium-r-normal--12-*-*-*-*-*-armscii-8"
}
class "GtkWidget" style "gtk-default-hy"