Incorrect padding in menu bar below sections with no pages

[pluehne]

If a section in the menu has no visible pages in it, the padding below the menu entry is too big:

Note that the padding is correct when a section is completely empty, that is, it doesn’t even contain hidden pages.