style "default" {
       fontset = "-adobe-helvetica-medium-r-normal--14-100-100-100-p-76-iso8859-2,\
                  -*-*-medium-*-*--14-*-*-*-*-*-*-2"
}
class "GtkWidget" style "default"