User blog comment:Rupert Giles/Global Navigation Update/@comment-25505604-20141203203622

Pls make it optional in preferences, and make it smaller on mobile devices.