1 files changed, 5 insertions, 0 deletions
diff --git a/doc/manual/style.css b/doc/manual/style.css
index e992a9a85dd9..57d95c755a8c 100644
--- a/doc/manual/style.css
+++ b/doc/manual/style.css
@@ -46,6 +46,11 @@ h3 /* subsections */
     font-size: 125%;
 }
 
+div.simplesect h2
+{
+    font-size: 110%;
+}
+
 div.appendix h3
 {
     font-size: 150%;