style "gtk-default" {
       fontset = "-*-*-medium-r-normal--14-*-*-*-c-*-jisx0208.*-0,\
        -*-tahoma-medium-r-normal--14-*-*-*-p-*-iso10646-1,\
        -*-clearlyu-medium-r-normal--17-*-*-*-p-*-iso10646-1,\
                                          -*-r-*-iso10646-1,*"
}
class "GtkWidget" style "gtk-default"