# style "font-style" { font = "-adobe-helvetica-bold-r-*-*-*-100-100-100-*-*-iso8859-*" fontset = "-adobe-helvetica-medium-r-*-*-*-100-*-*-*-*-iso8859-*" } class "GtkWidget" style "font-style" #class "GtkMenuItem" style "font-style" #widget_class "*" style "font-style"