Can't find padding option for header

Hi there,

I found an article with someone who struggled with the same issue as I but I can't seem to find the solution that was given as on the link below...

My issue is the space between the header and the first section of the page.

https://docs.generatepress.com/article/header-padding/

It doesn't give me the option of header padding. I can only choose options for the 'Header width', 'Inner header width', & 'Header alignment'. I'm using Elementor Pro for this. Where can I change the padding?