about summary refs log tree commit diff
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2007-10-24T13·54+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2007-10-24T13·54+0000
commitcd08fb3fdeaeb80f8d980f7ef2ace93cf5194c0e (patch)
tree367c831cb31bfe0ac948f596132b035be62f0c9c
parentd423968ba1d4f13abd469aa5b2e7ee5facac71d5 (diff)
-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%;