rtfd/readthedocs.org — pull request #969 by jaspeers (2014-10-09 23:23:58+00:00)
Title: Pulldown menu

Change user profile menu so drop-down menu only appears if the button is clicked. Previously the drop-down menu was being invoked when the user would click the gravatar/name link next to the button, so the drop-down would show up as the user was being redirected.