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.

diff --git a/doc/style.css b/doc/style.css
index 5d14a1c..9976c03 100644 (file)
--- a/doc/style.css
+++ b/doc/style.css
@@ -24,12 +24,6 @@ div.chapter {
     margin-top: 4em;
     border-top: solid 2px black;
 }
-.section .title {
-    font-size: 1.3em;
-}
-.section .section .title {
-    font-size: 1.2em;
-}
 p {
     margin-top: 0;
 }