0233: give default globalInfoText more y-margin