Docs update
Fix animation behaviour of reveal widget
Animation dropdown menus

I don't know whether this is a good idea; the menus feel too slow and
puffy to me.