Fix the ineffective header margin and update the default value to 4

[DIYgod]

Thank you so much. I have made the modifications according to the comments.

I still feel that 15px is too big for me, but it's okay, we can keep the default 15px.

[AnubisNekhet]

Thank you so much for your contribution!