ripple/ripple-client — pull request #1598 by jublo (2014-10-08 12:11:03+00:00)
Title: [FIX] Improve navbar menu items clickability

In the top-right navbar menu, there are dividers between the menu items.
These dividers are not clickable, so not the entire menu height splits
into clickable items. Convert the dividers into menu item padding with
borders to enhance accessibility.