style "default-font" 
{
  fontset = "-*-*-medium-r-normal-*-12-*-*-*-*-*-iso8859-15"
}

style "small-font"
{
  fontset = "-*-*-medium-r-normal-*-8-*-*-*-*-*-iso8859-15"
}

style "logo" = "background"
{
  # no background image
  engine "pixmap" { image { function = FLAT_BOX } }
}

widget "*" style "default-font"
widget "Steps" style "steps"
widget "*Steps*" style "small-font"
widget "*logo*" style "logo"