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,\ -*-bpg glaho international-medium-r-normal--12-*-*-*-p-*-iso10646-1,\ -urw-nimbus sans l-medium-r-normal--12-*-*-*-p-*-iso10646-1,\ -*-helvetica-medium-r-normal--12-*-*-*-*-*-iso10646-1,\ -*-arial-medium-r-normal--12-*-*-*-*-*-iso10646-1,*-r-*" } class "GtkWidget" style "gtk-default-az"