Hello Christophe,
I spoke with one of the developers to get an answer to your question. He provided the following code for adjusting the menu size:
@media only screen and (min-width : 992px) {
.col-md-6.header-6 {
width: calc(100% * (1 / 3));
}
.col-md-6.header-7 {
width: calc(100% * (2 / 3));
}
}
You can change the widths as needed. The sizes are proportional so the code above would make the site title/tagline area 1/3 of the space, and the menu 2/3 of the space. That ratio could be changed to 1/4 and 3/4 if you need even more for the menu.
The code above should be applied to the CSS editor in the Customize section. To get there:
- Log in to the WordPress Admin Dashboard
- Click on Customizer
- Click on Advanced
- Click on Custom JS and CSS
- Click on OPEN EDITOR for Theme CSS (blue button)
Then you can paste the code in and save it by clicking on the ‘x’ in the top right-hand corner.
I hope that helps!