Shell|GUI|Mac OS X: Better menu layout, smaller status bar font