style "default"
{
  fontset="-adobe-helvetica-medium-r-normal-*-12-*-*-*-p-*-*,-*-*-medium-r-*--12-*-*-*-p-*-*"
}

class "GtkWidget" style "default"