[sidebar view] Set sidebar header metrics in a simpler and better way

This is more correct, simpler, fixes a few small visual glitches and
preserves the right header height.