standardize header font

And try to make it a tad smaller!