textGUI: better line spacing for minimini elements.