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

