use the default font size for manual headings
authorEvan Martin <martine@danga.com>
Wed, 16 Dec 2015 16:48:59 +0000 (08:48 -0800)
committerEvan Martin <martine@danga.com>
Wed, 16 Dec 2015 16:48:59 +0000 (08:48 -0800)
commit50a1cc39b731ff144781d7f3020769d7f4c54e28
tree2a594e2ecdc48d2bde9e30a47b9feb4cc5407346
parenta48434493d69085aa6fc0c002180ace555cad592
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.
doc/style.css