Format Docs: Make Head3 Larger, Add Head4 Style

It looked silly to have heading 3 smaller than the body text.
Heading4 is not often used, but it should be defined to avoid the default setting in browsers.