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