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