use the default font size for manual headings

The third-level subsection headings were almost indistinguishable
from the second-level ones.  Fix this by just using the default
styling.
1 file changed