Sorry,
.navbar .nav > li > a {
padding: 3px 5px 3px;
.
.
Basically, open Browser Developer tools, point selector to an item and look for padding. For TWO items we changing css,
one is a Menu itself, which we need to modify a min-height, and second is a stuff inside Menu, which is padding.
As visible in the bottom circle, the css is ".navbar .nav > li > a", we find this in CSS file, and adjust.
The padding is now 3,5,3 and very small Menu.