Header margins

Tidied header typesetting