style "default"
{
  font = "-*-helvetica-medium-r-normal--10-*-*-*-*-*-*-*"
}
widget_class "*" style "default"