Use the micro clearfix hack in the CSS framework (see #6203)