style "gtk-default-vi-vn-tcvn" {
fontset = "-adobe-helvetica-medium-r-normal--14-*-*-*-*-*-iso8859-*,\
- -*-arial-medium-r-normal--12-*-*-*-*-*-iso8859-1,\"
- -*-helvetica-medium-r-normal--14-*-*-*-*-*-tcvn-5712,\"
- -*-arial-medium-r-normal--14-*-*-*-*-*-tcvn-5712,\"
+ -*-arial-medium-r-normal--12-*-*-*-*-*-iso8859-1,\
+ -*-helvetica-medium-r-normal--14-*-*-*-*-*-tcvn-5712,\
+ -*-arial-medium-r-normal--14-*-*-*-*-*-tcvn-5712,\
-*-verdana-medium-r-normal--14-*-*-*-*-*-tcvn-5712"
}
class "GtkWidget" style "gtk-default-vi-vn-tcvn"