In a recent issue, we've changes the styling of the list/tree header. That included the introduction of a bottom dark gray border.

Please remove that border again - it's not needed, but ensure that the overall height of the header stays the same.