Div is not cleared after floated element in /wp-admin/themes.php

Description

Div (div.theme-browser) is not cleared after the floated element h2 ( "Themes" heading ). Because of this it will not take any margin or padding properly, if needs to apply in future.
So div.theme-browser needs to be cleared after floated element by adding class "clear".

Because of this it will not take any margin or padding properly, if needs to apply in future.

As long as everything is currently displayed as expected, I don't see this as an issue. If we decide to add a margin or padding in the future, we can add the clear class at the same time.

That is fine but it is the css concept that whenever there is an floated element, it should clear immediately just before non-floated element; otherwise its parent container would show height and width as 0px. Also floated element does not occupy space, but its neighbor should start next to that element, in current scenario it is also covering over floated h2 element.