User blog comment:Lumoshi/How to improve the navigation bar/@comment-28736347-20141207200102

This would mostly fix it. Plus few things in preferences and the unused space on the ends taken off, and it'd be fine.