Olivier Escarfail

Hi,

I’m trying to edit the default menu actually in the header, but the option ‘Header’ doesn’t appear in the Theme Settings in WP. It’s annoying, as the ‘Theme section’ in the ‘Theme setup’ of the documentation do exists, but the button is inactive when clicking on it.
Actually, I have ALL pages in a menu inside the header, but this ‘default’ menu has 11 pages with the full name of the pages in capital letters! This must be changed by a way or another. Should I create a new menu in the Menu section in WP, and will it overwrite the one in place? How and where in WP has it to be placed to appear correctly in the header on the website?
Any help is very welcome, thank you for this powerful theme.

Olivier