Board Thread:New Features/@comment-5211495-20160927110715/@comment-24757753-20160927145812

If you're looking to make the global navigation bar thinner (down to 32px) without any other changes whatsoever, MiniGlobalNav does just that.