Animate modal bar appearance/disappearance.

Squashed version of pull request #4684