style "gtk-default" { fontset = "-*-AR PL Mingti2L Big5-medium-r-normal--16-*-*-*-p-*-iso10646-1,\ -*-clearlyu-medium-r-normal--17-*-*-*-p-*-iso10646-1,\ -*-r-*-iso10646-1,*" } class "GtkWidget" style "gtk-default"
style "gtk-default" { fontset = "-*-AR PL Mingti2L Big5-medium-r-normal--16-*-*-*-p-*-iso10646-1,\ -*-clearlyu-medium-r-normal--17-*-*-*-p-*-iso10646-1,\ -*-r-*-iso10646-1,*" } class "GtkWidget" style "gtk-default"