pioneerspacesim/pioneer — pull request #1789 by robn (2012-12-06 22:30:54+00:00)
Title: New UI: Nicer dropdown

* Brings the button inside the border, and makes it a down-arrow icon.
* Hover effects
* Most importantly, some fixes to `Box` to do the right thing with non-contributing widgets that preserve aspect (that is, icons).

![](http://i.imgur.com/kXHSD.png)

#1766.