rtfd/readthedocs.org — pull request #386 by andersk (2013-05-05 01:14:37+00:00)
Title: Animate the badge popout, and add a delay before it closes

This makes the popout more usable: you no longer have to carefully move the mouse cursor inside the popout area to select a link within it.