slightly smaller subsections

diff --git a/doc/style.css b/doc/style.css
index 4287fc6..5d14a1c 100644 (file)
--- a/doc/style.css
+++ b/doc/style.css
@@ -27,6 +27,9 @@ div.chapter {
 .section .title {
     font-size: 1.3em;
 }
+.section .section .title {
+    font-size: 1.2em;
+}
 p {
     margin-top: 0;
 }