style "gtk-default-ja-utf8" {
       fontset = "-misc-fixed-medium-r-normal--14-*-*-*-*-*-jisx0208.1983-0,\
		  -adobe-helvetica-medium-r-normal--14-100-100-100-p-76-iso8859-1,\
		  *-r-*"
}
class "GtkWidget" style "gtk-default-ja-utf8"