style "gtk-default-ru" { fontset = "-adobe-helvetica-medium-r-normal--12-*-*-*-*-*-iso8859-*,\ -*-arial-medium-r-normal--12-*-*-*-*-*-iso8859-1,\ -*-helvetica-medium-r-normal--12-*-*-*-*-*-koi8-r,\ -*-arial-medium-r-normal--12-*-*-*-*-*-koi8-r,*-r-*" } class "GtkWidget" style "gtk-default-ru"