AppScale/appscale — pull request #1595 by cdonati (2014-08-20 07:03:34+00:00)
Title: Dashboard nav fixes

This addresses the issues I mentioned [on Google Groups](https://groups.google.com/d/msg/appscale_community/w71miD0i1_s/FIg_hl7NGikJ). I'm not thrilled with the JavaScript I added to navigation.html, but it seemed like the only way to accomplish that effect (given that the height of the sidebar isn't known until the page loads).