1style "default" { 2 fontset = "8x16,kc15f,-*-16-*-big5-0" 3} 4widget_class "*" style "default" 5 6style "gtk-default-zh-tw" { 7 fontset = "-DynaLab-MingLiU-medium-r-normal--16-*-*-*-c-*-big5-0,\ 8 -AR PL Mingti2L Big5-medium-r-normal-*-*-120-*-*-p-*-big5-0,\ 9 -adobe-helvetica-medium-r-normal--16-*-*-*-*-*-iso8859-1,\ 10 -*-medium-r-normal--16-*-*-*-*-*-big5-0,-*-big5-0" 11} 12class "GtkWidget" style "gtk-default-zh-tw" 13