theme: tune navigation menu size