I have some preliminary knowledge of CSS and managed to increase the bar’s height by adding the following to my custom stylesheet (not sure if I followed the best practice though):
I found that my above style setting also scales the font size in the drop-down menu (which does not look good, as it breaks the visual balance). More tuning is needed for the stylesheet…
You are probably right. Zooming in the wiki is a more straightforward solution.
The “Sites” and “Contents” drop downs show the normal font size… but the search results drop down shows the larger font size.
This is because the search results .tc-block-dropdown element is a direct decendent of the .tc-menubar-item that renders the search input controls, while the other dropdowns use $reveal widgets that are rendered after all the .tc-menubar-item elements.