User blog comment:Pugpo/How do I change the font/size of the text on my wiki's navigation bar???/@comment-188432-20121203033138

You'll find your answer by looking at tardis:MediaWiki:NewNav.css.