Quem nunca se viu personalizando o menu no WordPress atire a primeira pedra! Se ainda não precisou fazer isso, vai precisar, então é bom saber quem pode ajudar.
Vou colocar apenas os plugins que me salvaram a pele nas vezes que precisei fazer isto.
Max Mega Menu
Tem um editor visual bem poderoso e também um site onde a versão paga pode ser adquirida. Vale o teste pois é uma das opções gratuitas mais poderosas que eu já utilizei.
Page Specific Menu Items
Quem precisou personalizar menus de acordo com a página exibida sabe o que é sofrimento. Pois este plugin trata justamente disso, permite exibir apenas alguns itens de acordo com a página específica. Bem útil, não trata de formatação propriamente mas é um recurso que precisamos eventualmente.
Ubermenu
Não sei porque mas é um dos que eu mais gosto! Realmente tem a maior quantidade de features que você nem imagina que poderia utilizar, recomendo muito que você considere este plugin, pois ele é fantástico, e dependendo do projeto o valor comporta o investimento.
WP Responsive Menu
E por último mas não menos importante, o WP Responsive Menu já me deu diversas alegrias. Acho que é um plugin bem versátil para quem busca uma personalização simples e elegante. Vale o teste.