This was annoying a bit.
navbar compact style; see settings.js