style "gtk-default-ja" { fontset = "-adobe-helvetica-medium-r-normal--12-*-*-*-*-*-*-*,\ -ricoh-ms mincho-medium-r-normal--14-*-*-*-*-*-jisx0208.1983-0,\ -misc-fixed-medium-r-normal--14-*-*-*-*-*-jisx0208.1983-0,\ *-r-*" } class "GtkWidget" style "gtk-default-ja"