style "default-text" {
fontset = "-*-helvetica-medium-r-normal--*-120-*-*-p-*-*-*"
}
class "GtkWidget" style "default-text"
style "default-text" {
fontset = "-*-helvetica-medium-r-normal--*-120-*-*-p-*-*-*"
}
class "GtkWidget" style "default-text"
::
::
::
