Theme Horse

hi not the header.php
you need code customization for header-extension.php which is inside library-> structure -> header-extension.php
We recommend not to change the code because while updating to our new version all your customization code will be lost. So better make child theme and customize your code.
Thank you