Doc: Tweaking header font sizes