Turns out that the fourth post had one </div> too much at the end of the post. And something (wordpress? browser?) nicely closed the children tags of that <div>. I removed the last </div> from the fourth post, and now everything is cool.
James, thanks for your prompt response! You’re great!
Oh. Cool. Now I just have to figure out how to turn on the captions in our videos… Thanks for your fast answer!
Well, yes. The point is that simply moving wp_nav_menu() gives me horizontal menu wrapped in several lines instead of vertical menu. So, yes, I could just write my own CSS from scratch for this particular menu.
But I figured that I should be able to somehow tell wp_nav_menu() to use the same CSS that wp_list_pages() uses. Is that possible? Is there a way to make a function wp_list_only_pages_which_are_in_primary_menu() which produces the same results as wp_list_pages()?