Adjust sizes in navbar

Padding slightly decreased on menu links, with the result that the three
options are always kept on the same line.

Search box form always 100% of its allowed space. Now renders the same at least in
Chromium and Firefox.

Search box width adjusted to feel more "the same" across different window widths.