I have done two alternative fixes:

https://github.com/timhunt/moodle/compare/master...MDL-30498a is a 'better' fix, in that it removes what seems to me to be an unnecessary div.

https://github.com/timhunt/moodle/compare/master...MDL-30498b is a safer fix, in that it only changes the CSS. This is less likely to break people's themes.

Please could you take a look, and let me know which change you think we should go for. Thanks.

Adding some other grade-y people as watchers.

Quick screen-grab to show the problem

Just to repeat, this problem happens in Firefox.

There is no problem in Chrome/Safari.

There is a different layout problem in IE (9) and either of my patches fixes that too.

Ping! Andrew, or someone. I would really appreciate some feedback on this.

Sorry for the delay Tim. Having a look now

I'd like to go with option A (removing the apparently unnecessary div) if at all possible. It's always nice to strip some of the unnecessary bits out of our html and css. We're right out a leaf of the html tree (if that makes sense) so any theme breakages should be relatively minor.

Make sure you add testing instructions. You can just say "see the description" but specify that this fix should be tested in FF, IE, Chrome and probably Safari as well even though the original bug didn't necessarily appear in those browsers.

Thanks Andrew. Submitting for integration now.

The main moodle.git repository has just been updated with latest weekly modifications. You may wish to rebase your PULL branches to simplify history and avoid any possible merge conflicts. This would also make integrator's life easier next week.

TIA and ciao

Thanks Tim - this has been integrated now

This looks good.

Test passed.

Whoever decided one week was worth 14 days had really one bad idea. Anyway, the nightmare is over, so thanks for your, once again, amazing contributions. Many, many thanks!

Now... disconnect, relax and enjoy the next days, yay!

Closing...ciao