[Theme: Twenty thirteen] change menu heigt

hello everyone

i’ve searched and tried for hours now, but i don’t get it…
can someone please help me to change the height of my topmenu?
i tried this in my child theme

div.navbar {
 height: 30px;
}

but this only worked half… the menu links weren’t changed..

hope someone can help me
thank you! ??
vanessa