[Gallery Theme] changing menu style

Hi !

I’m using gallery theme, and I need to customize it.

I would like to change the menu font, and I didn’t find the menu/navigation style in layout.css … Which style is use for the menu ?

Thanks for your help