Tweaking font size again to proportion the comment font in relation to headers.