about summary refs log tree commit diff
path: root/doc/manual
diff options
context:
space:
mode:
Diffstat (limited to 'doc/manual')
-rw-r--r--doc/manual/style.css5
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%;