User blog comment:Rupert Giles/Introducing Updated Global Navigation/@comment-25027816-20140925010715/@comment-5413643-20140925013529

You can probably make it smaller with CSS.