style "gtk-default-zh-tw" {
       fontset =
	"-adobe-helvetica-medium-r-normal--18-*-*-*-*-*-iso8859-*,\
	-*-ming-medium-r-normal--18-*-*-*-c-*-big5-0,\
	-*-big5-0"
}
class "GtkWidget" style "gtk-default-zh-tw"