User blog comment:Rupert Giles/Global Navigation Update/@comment-5873863-20141203143359

I've seen the changes.

I'm suggesting that there's a minimize button on the navigation bar, or at least an option for it, for those who prefer not seeing the bar when they don't need it.